Ontologies Classes Object Properties Data Properties Annotation Properties Individuals Datatypes Clouds

Annotation Property: 'has axiom label'

Annotations (2)

Usage (118)

  • entity 'editor note' "Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000004
    • rdfs:comment "per discussion with Barry Smith"
    • rdfs:seeAlso http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
  • entity elucidation "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/001-001
  • continuant 'editor note' "Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000007
  • continuant elucidation "A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/008-002
  • continuant 'has associated axiom(nl)' "if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/126-001
  • continuant 'has associated axiom(nl)' "if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/009-002
  • continuant 'has associated axiom(nl)' "if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/011-002
  • continuant 'has associated axiom(fol)' "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/009-002
  • continuant 'has associated axiom(fol)' "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/126-001
  • continuant 'has associated axiom(fol)' "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/008-002
  • continuant 'has associated axiom(fol)' "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/011-002
  • occurrent 'editor note' "Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process." @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000006
    • rdfs:comment "per discussion with Barry Smith"
  • occurrent 'editor note' "Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000012
  • occurrent elucidation "An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/077-002
  • occurrent 'has associated axiom(nl)' "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/108-001
  • occurrent 'has associated axiom(nl)' "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/079-001
  • occurrent 'has associated axiom(fol)' "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/108-001
  • occurrent 'has associated axiom(fol)' "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/079-001
  • 'independent continuant' definition "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/017-002
  • 'independent continuant' 'has associated axiom(nl)' "For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/134-001
  • 'independent continuant' 'has associated axiom(nl)' "For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/018-002
  • 'independent continuant' 'has associated axiom(fol)' "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/134-001
  • 'independent continuant' 'has associated axiom(fol)' "(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/018-002
  • 'independent continuant' 'has associated axiom(fol)' "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/017-002
  • 'spatial region' 'editor note' "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional." @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000002
    • rdfs:comment "per discussion with Barry Smith"
  • 'spatial region' elucidation "A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/035-001
  • 'spatial region' 'has associated axiom(nl)' "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/036-001
  • 'spatial region' 'has associated axiom(fol)' "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/036-001
  • 'spatial region' 'has associated axiom(fol)' "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/035-001
  • 'temporal region' 'editor note' "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000003
    • rdfs:comment "per discussion with Barry Smith"
  • 'temporal region' elucidation "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/100-001
  • 'temporal region' 'has associated axiom(nl)' "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/101-001
  • 'temporal region' 'has associated axiom(nl)' "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/119-002
  • 'temporal region' 'has associated axiom(fol)' "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/119-002
  • 'temporal region' 'has associated axiom(fol)' "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/101-001
  • 'temporal region' 'has associated axiom(fol)' "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/100-001
  • 'two-dimensional spatial region' elucidation "A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/039-001
  • 'two-dimensional spatial region' 'has associated axiom(fol)' "(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/039-001
  • 'spatiotemporal region' elucidation "A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/095-001
  • 'spatiotemporal region' 'has associated axiom(nl)' "All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/096-001
  • 'spatiotemporal region' 'has associated axiom(nl)' "Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/099-001
  • 'spatiotemporal region' 'has associated axiom(nl)' "Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/098-001
  • 'spatiotemporal region' 'has associated axiom(nl)' "Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/107-002
  • 'spatiotemporal region' 'has associated axiom(fol)' "(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/107-002
  • 'spatiotemporal region' 'has associated axiom(fol)' "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/099-001
  • 'spatiotemporal region' 'has associated axiom(fol)' "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/096-001
  • 'spatiotemporal region' 'has associated axiom(fol)' "(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/095-001
  • 'spatiotemporal region' 'has associated axiom(fol)' "(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/098-001
  • process definition "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/083-003
  • process 'has associated axiom(fol)' "(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/083-003
  • disposition elucidation "b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/062-002
  • disposition 'has associated axiom(nl)' "If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/063-002
  • disposition 'has associated axiom(fol)' "(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/063-002
  • disposition 'has associated axiom(fol)' "(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/062-002
  • 'realizable entity' elucidation "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/058-002
  • 'realizable entity' 'has associated axiom(nl)' "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/060-002
  • 'realizable entity' 'has associated axiom(fol)' "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/060-002
  • 'realizable entity' 'has associated axiom(fol)' "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/058-002
  • 'zero-dimensional spatial region' elucidation "A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/037-001
  • 'zero-dimensional spatial region' 'has associated axiom(fol)' "(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/037-001
  • quality elucidation "a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/055-001
  • quality 'has associated axiom(nl)' "If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/105-001
  • quality 'has associated axiom(fol)' "(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/055-001
  • quality 'has associated axiom(fol)' "(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/105-001
  • 'specifically dependent continuant' definition "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/050-003
  • 'specifically dependent continuant' 'editor note' "Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc." @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000005
    • rdfs:comment "per discussion with Barry Smith"
  • 'specifically dependent continuant' 'has associated axiom(fol)' "(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/050-003
  • role elucidation "b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/061-001
  • role 'has associated axiom(fol)' "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/061-001
  • 'fiat object part' elucidation "b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/027-004
  • 'fiat object part' 'has associated axiom(fol)' "(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/027-004
  • 'one-dimensional spatial region' elucidation "A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/038-001
  • 'one-dimensional spatial region' 'has associated axiom(fol)' "(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/038-001
  • 'object aggregate' 'editor note' "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000011
  • 'object aggregate' 'editor note' "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000301
  • 'object aggregate' 'definition source' "ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158." 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000300
  • 'object aggregate' elucidation "b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/025-004
  • 'object aggregate' 'has associated axiom(fol)' "(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/025-004
  • 'three-dimensional spatial region' elucidation "A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/040-001
  • 'three-dimensional spatial region' 'has associated axiom(fol)' "(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/040-001
  • site elucidation "b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/034-002
  • site 'has associated axiom(fol)' "(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/034-002
  • object elucidation "b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/024-001
  • 'generically dependent continuant' definition "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/074-001
  • 'generically dependent continuant' 'has associated axiom(fol)' "(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/074-001
  • function elucidation "A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/064-001
  • function 'has associated axiom(fol)' "(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/064-001
  • 'process boundary' definition "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/084-001
  • 'process boundary' 'has associated axiom(nl)' "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/085-002
  • 'process boundary' 'has associated axiom(fol)' "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/085-002
  • 'process boundary' 'has associated axiom(fol)' "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/084-001
  • 'one-dimensional temporal region' elucidation "A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/103-001
  • 'one-dimensional temporal region' 'has associated axiom(fol)' "(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/103-001
  • 'material entity' elucidation "A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/019-002
  • 'material entity' 'has associated axiom(nl)' "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/020-002
  • 'material entity' 'has associated axiom(nl)' "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/021-002
  • 'material entity' 'has associated axiom(fol)' "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/019-002
  • 'material entity' 'has associated axiom(fol)' "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/021-002
  • 'material entity' 'has associated axiom(fol)' "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/020-002
  • 'continuant fiat boundary' definition "b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/029-001
  • 'continuant fiat boundary' 'editor note' "Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions." @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000008
  • 'continuant fiat boundary' 'has associated axiom(fol)' "(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/029-001
  • 'one-dimensional continuant fiat boundary' elucidation "a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/032-001
  • 'one-dimensional continuant fiat boundary' 'has associated axiom(fol)' "(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/032-001
  • 'process profile' definition "b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/093-002
  • 'process profile' elucidation "b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/094-005
  • 'process profile' 'has associated axiom(fol)' "(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/094-005
  • 'process profile' 'has associated axiom(fol)' "(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/093-002
  • 'relational quality' definition "b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/057-001
  • 'relational quality' 'has associated axiom(fol)' "(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/057-001
  • 'two-dimensional continuant fiat boundary' elucidation "a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/033-001
  • 'two-dimensional continuant fiat boundary' 'has associated axiom(fol)' "(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/033-001
  • 'zero-dimensional continuant fiat boundary' 'editor note' "zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona." @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/0000001
    • rdfs:comment "requested by Melanie Courtot"
    • rdfs:seeAlso https://groups.google.com/d/msg/bfo-owl-devel/s9Uug5QmAws/ZDRnpiIi_TUJ
  • 'zero-dimensional continuant fiat boundary' elucidation "a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/031-001
  • 'zero-dimensional continuant fiat boundary' 'has associated axiom(fol)' "(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/031-001
  • 'zero-dimensional temporal region' elucidation "A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/102-001
  • 'zero-dimensional temporal region' 'has associated axiom(fol)' "(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001] " 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/102-001
  • history elucidation "A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001])" @en 
    • 'has axiom label' http://purl.obolibrary.org/obo/bfo/axiom/138-001

OWL HTML inside