Ontology Browser

Annotation Property: 'has associated axiom(fol)'

Annotations (2)

rdfs:isDefinedBy http://purl.obolibrary.org/obo/iao.owl
rdfs:label "has associated axiom(fol)" @en

Usage (51)

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 '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' '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' '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' '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' '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' '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 '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 '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' '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' '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 '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' '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 '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' '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' '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' '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' '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 '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
'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 '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' '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' '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' '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' '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' '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' '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' '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' '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' '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' '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