| Row |
Level |
Rule Name |
Subject |
Property |
Value |
| 0 |
ERROR |
missing_ontology_description |
http://purl.obolibrary.org/obo/bfo.owl |
dc:description |
|
| 1 |
ERROR |
missing_ontology_title |
http://purl.obolibrary.org/obo/bfo.owl |
dc:title |
|
| 2 |
WARN |
annotation_whitespace |
BFO:0000002 |
IAO:0000602 |
(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] |
| 3 |
WARN |
annotation_whitespace |
BFO:0000002 |
IAO:0000602 |
(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] |
| 4 |
WARN |
annotation_whitespace |
BFO:0000002 |
IAO:0000602 |
(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] |
| 5 |
WARN |
annotation_whitespace |
BFO:0000002 |
IAO:0000602 |
(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] |
| 6 |
WARN |
annotation_whitespace |
BFO:0000003 |
IAO:0000602 |
(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] |
| 7 |
WARN |
annotation_whitespace |
BFO:0000003 |
IAO:0000602 |
(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] |
| 8 |
WARN |
annotation_whitespace |
BFO:0000004 |
IAO:0000602 |
(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] |
| 9 |
WARN |
annotation_whitespace |
BFO:0000004 |
IAO:0000602 |
(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] |
| 10 |
WARN |
annotation_whitespace |
BFO:0000004 |
IAO:0000602 |
(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] |
| 11 |
WARN |
annotation_whitespace |
BFO:0000006 |
IAO:0000602 |
(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] |
| 12 |
WARN |
annotation_whitespace |
BFO:0000006 |
IAO:0000602 |
(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] |
| 13 |
WARN |
annotation_whitespace |
BFO:0000008 |
IAO:0000602 |
(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] |
| 14 |
WARN |
annotation_whitespace |
BFO:0000008 |
IAO:0000602 |
(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] |
| 15 |
WARN |
annotation_whitespace |
BFO:0000008 |
IAO:0000602 |
(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] |
| 16 |
WARN |
annotation_whitespace |
BFO:0000009 |
IAO:0000602 |
(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] |
| 17 |
WARN |
annotation_whitespace |
BFO:0000011 |
IAO:0000602 |
(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] |
| 18 |
WARN |
annotation_whitespace |
BFO:0000011 |
IAO:0000602 |
(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] |
| 19 |
WARN |
annotation_whitespace |
BFO:0000011 |
IAO:0000602 |
(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] |
| 20 |
WARN |
annotation_whitespace |
BFO:0000011 |
IAO:0000602 |
(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] |
| 21 |
WARN |
annotation_whitespace |
BFO:0000011 |
IAO:0000602 |
(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] |
| 22 |
WARN |
annotation_whitespace |
BFO:0000015 |
IAO:0000602 |
(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] |
| 23 |
WARN |
annotation_whitespace |
BFO:0000016 |
IAO:0000602 |
(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] |
| 24 |
WARN |
annotation_whitespace |
BFO:0000016 |
IAO:0000602 |
(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] |
| 25 |
WARN |
annotation_whitespace |
BFO:0000017 |
IAO:0000602 |
(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] |
| 26 |
WARN |
annotation_whitespace |
BFO:0000017 |
IAO:0000602 |
(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] |
| 27 |
WARN |
annotation_whitespace |
BFO:0000018 |
IAO:0000602 |
(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001] |
| 28 |
WARN |
annotation_whitespace |
BFO:0000019 |
IAO:0000602 |
(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] |
| 29 |
WARN |
annotation_whitespace |
BFO:0000019 |
IAO:0000602 |
(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] |
| 30 |
WARN |
annotation_whitespace |
BFO:0000020 |
IAO:0000602 |
(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] |
| 31 |
WARN |
annotation_whitespace |
BFO:0000023 |
IAO:0000602 |
(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] |
| 32 |
WARN |
annotation_whitespace |
BFO:0000024 |
IAO:0000602 |
(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] |
| 33 |
WARN |
annotation_whitespace |
BFO:0000026 |
IAO:0000602 |
(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001] |
| 34 |
WARN |
annotation_whitespace |
BFO:0000027 |
IAO:0000116 |
An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects |
| 35 |
WARN |
annotation_whitespace |
BFO:0000027 |
IAO:0000602 |
(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] |
| 36 |
WARN |
annotation_whitespace |
BFO:0000028 |
IAO:0000602 |
(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] |
| 37 |
WARN |
annotation_whitespace |
BFO:0000029 |
IAO:0000602 |
(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] |
| 38 |
WARN |
annotation_whitespace |
BFO:0000031 |
IAO:0000602 |
(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] |
| 39 |
WARN |
annotation_whitespace |
BFO:0000034 |
IAO:0000602 |
(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] |
| 40 |
WARN |
annotation_whitespace |
BFO:0000035 |
IAO:0000602 |
(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] |
| 41 |
WARN |
annotation_whitespace |
BFO:0000035 |
IAO:0000602 |
(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] |
| 42 |
WARN |
annotation_whitespace |
BFO:0000038 |
IAO:0000602 |
(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] |
| 43 |
WARN |
annotation_whitespace |
BFO:0000040 |
IAO:0000602 |
(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] |
| 44 |
WARN |
annotation_whitespace |
BFO:0000040 |
IAO:0000602 |
(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] |
| 45 |
WARN |
annotation_whitespace |
BFO:0000040 |
IAO:0000602 |
(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] |
| 46 |
WARN |
annotation_whitespace |
BFO:0000140 |
IAO:0000602 |
(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] |
| 47 |
WARN |
annotation_whitespace |
BFO:0000142 |
IAO:0000602 |
(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001] |
| 48 |
WARN |
annotation_whitespace |
BFO:0000144 |
IAO:0000602 |
(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] |
| 49 |
WARN |
annotation_whitespace |
BFO:0000144 |
IAO:0000602 |
(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] |
| 50 |
WARN |
annotation_whitespace |
BFO:0000145 |
IAO:0000602 |
(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] |
| 51 |
WARN |
annotation_whitespace |
BFO:0000146 |
IAO:0000602 |
(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] |
| 52 |
WARN |
annotation_whitespace |
BFO:0000147 |
IAO:0000602 |
(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] |
| 53 |
WARN |
annotation_whitespace |
BFO:0000148 |
IAO:0000602 |
(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001] |
| 54 |
WARN |
missing_definition |
BFO:0000141 |
IAO:0000115 |
|
| 55 |
INFO |
lowercase_definition |
BFO:0000004 |
IAO:0000115 |
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 |
| 56 |
INFO |
lowercase_definition |
BFO:0000015 |
IAO:0000115 |
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 |
| 57 |
INFO |
lowercase_definition |
BFO:0000016 |
IAO:0000600 |
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 |
| 58 |
INFO |
lowercase_definition |
BFO:0000019 |
IAO:0000600 |
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 |
| 59 |
INFO |
lowercase_definition |
BFO:0000020 |
IAO:0000115 |
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 |
| 60 |
INFO |
lowercase_definition |
BFO:0000023 |
IAO:0000600 |
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 |
| 61 |
INFO |
lowercase_definition |
BFO:0000024 |
IAO:0000600 |
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 |
| 62 |
INFO |
lowercase_definition |
BFO:0000027 |
IAO:0000600 |
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 |
| 63 |
INFO |
lowercase_definition |
BFO:0000029 |
IAO:0000600 |
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 |
| 64 |
INFO |
lowercase_definition |
BFO:0000030 |
IAO:0000600 |
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 |
| 65 |
INFO |
lowercase_definition |
BFO:0000031 |
IAO:0000115 |
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 |
| 66 |
INFO |
lowercase_definition |
BFO:0000035 |
IAO:0000115 |
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 |
| 67 |
INFO |
lowercase_definition |
BFO:0000140 |
IAO:0000115 |
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 |
| 68 |
INFO |
lowercase_definition |
BFO:0000142 |
IAO:0000600 |
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 |
| 69 |
INFO |
lowercase_definition |
BFO:0000144 |
IAO:0000115 |
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 |
| 70 |
INFO |
lowercase_definition |
BFO:0000144 |
IAO:0000600 |
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 |
| 71 |
INFO |
lowercase_definition |
BFO:0000145 |
IAO:0000115 |
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 |
| 72 |
INFO |
lowercase_definition |
BFO:0000146 |
IAO:0000600 |
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 |
| 73 |
INFO |
lowercase_definition |
BFO:0000147 |
IAO:0000600 |
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 |