Annotation Property: 'has associated axiom(nl)'
Usage (22)
- 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
- 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
- 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
- occurrent 'has associated axiom(nl)' "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])" @en
- 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
- '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
- '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
- 'spatial region' 'has associated axiom(nl)' "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])" @en
- 'temporal region' 'has associated axiom(nl)' "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])" @en
- '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
- 'spatiotemporal region' 'has associated axiom(nl)' "All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])" @en
- '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
- 'spatiotemporal region' 'has associated axiom(nl)' "Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])" @en
- 'spatiotemporal region' 'has associated axiom(nl)' "Every spatiotemporal region occupies_spatiotemporal_region itself." @en
- '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
- 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
- '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
- 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
- '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
- '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
- '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
- 'continuant fiat boundary' 'has associated axiom(nl)' "Every continuant fiat boundary is located at some spatial region at every time at which it exists" @en
