obo:IAO_0000602 | (forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [009-002] | ||
obo:IAO_0000602 | (forall (x y) (if (and (Contin ...... label in BFO2 CLIF: [126-001] | ||
obo:IAO_0000602 | (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] | ||
obo:IAO_0000602 | (forall (x) (if (Material Enti ...... label in BFO2 CLIF: [011-002] | ||
obo:IAO_0000602 | (forall (x) (if (Occurrent x) ...... label in BFO2 CLIF: [108-001] | ||
obo:IAO_0000602 | (forall (x) (iff (Occurrent x) ...... label in BFO2 CLIF: [079-001] | ||
obo:IAO_0000602 | (forall (x t) (if (Independent ...... label in BFO2 CLIF: [134-001] | ||
obo:IAO_0000602 | (forall (x t) (if (and (Indepe ...... label in BFO2 CLIF: [018-002] | ||
obo:IAO_0000602 | (iff (IndependentContinuant a) ...... label in BFO2 CLIF: [017-002] | ||
obo:IAO_0000602 | (forall (x y t) (if (and (Spat ...... label in BFO2 CLIF: [036-001] | ||
obo:IAO_0000602 | (forall (x) (if (SpatialRegion ...... label in BFO2 CLIF: [035-001] | ||
obo:IAO_0000602 | (forall (r) (if (TemporalRegio ...... label in BFO2 CLIF: [119-002] | ||
obo:IAO_0000602 | (forall (x y) (if (and (Tempor ...... label in BFO2 CLIF: [101-001] | ||
obo:IAO_0000602 | (forall (x) (if (TemporalRegio ...... label in BFO2 CLIF: [100-001] | ||
obo:IAO_0000602 | (forall (x) (if (TwoDimensiona ...... label in BFO2 CLIF: [039-001] | ||
obo:IAO_0000602 | (forall (r) (if (SpatioTempora ...... label in BFO2 CLIF: [107-002] | ||
obo:IAO_0000602 | (forall (x t) (if (SpatioTempo ...... label in BFO2 CLIF: [099-001] | ||
obo:IAO_0000602 | (forall (x y) (if (and (Spatio ...... label in BFO2 CLIF: [096-001] | ||
obo:IAO_0000602 | (forall (x) (if (SpatioTempora ...... label in BFO2 CLIF: [095-001] | ||
obo:IAO_0000602 | (forall (x) (if (SpatioTempora ...... label in BFO2 CLIF: [098-001] | ||
obo:IAO_0000602 | (iff (Process a) (and (Occurre ...... label in BFO2 CLIF: [083-003] | ||
obo:IAO_0000602 | (forall (x t) (if (and (Realiz ...... label in BFO2 CLIF: [063-002] | ||
obo:IAO_0000602 | (forall (x) (if (Disposition x ...... label in BFO2 CLIF: [062-002] | ||
obo:IAO_0000602 | (forall (x t) (if (RealizableE ...... label in BFO2 CLIF: [060-002] | ||
obo:IAO_0000602 | (forall (x) (if (RealizableEnt ...... label in BFO2 CLIF: [058-002] | ||
obo:IAO_0000602 | (forall (x) (if (ZeroDimension ...... label in BFO2 CLIF: [037-001] | ||
obo:IAO_0000602 | (forall (x) (if (Quality x) (S ...... label in BFO2 CLIF: [055-001] | ||
obo:IAO_0000602 | (forall (x) (if (exists (t) (a ...... label in BFO2 CLIF: [105-001] | ||
obo:IAO_0000602 | (iff (SpecificallyDependentCon ...... label in BFO2 CLIF: [050-003] | ||
obo:IAO_0000602 | (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] | ||
obo:IAO_0000602 | (forall (x) (if (FiatObjectPar ...... label in BFO2 CLIF: [027-004] | ||
obo:IAO_0000602 | (forall (x) (if (OneDimensiona ...... label in BFO2 CLIF: [038-001] | ||
obo:IAO_0000602 | (forall (x) (if (ObjectAggrega ...... label in BFO2 CLIF: [025-004] | ||
obo:IAO_0000602 | (forall (x) (if (ThreeDimensio ...... label in BFO2 CLIF: [040-001] | ||
obo:IAO_0000602 | (forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] | ||
obo:IAO_0000602 | (iff (GenericallyDependentCont ...... label in BFO2 CLIF: [074-001] | ||
obo:IAO_0000602 | (forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] | ||
obo:IAO_0000602 | (forall (x) (if (ProcessBounda ...... label in BFO2 CLIF: [085-002] | ||
obo:IAO_0000602 | (iff (ProcessBoundary a) (exis ...... label in BFO2 CLIF: [084-001] | ||
obo:IAO_0000602 | (forall (x) (if (OneDimensiona ...... label in BFO2 CLIF: [103-001] | ||
obo:IAO_0000602 | (forall (x) (if (MaterialEntit ...... label in BFO2 CLIF: [019-002] | ||
obo:IAO_0000602 | (forall (x) (if (and (Entity x ...... label in BFO2 CLIF: [021-002] | ||
obo:IAO_0000602 | (forall (x) (if (and (Entity x ...... label in BFO2 CLIF: [020-002] | ||
obo:IAO_0000602 | (iff (ContinuantFiatBoundary a ...... label in BFO2 CLIF: [029-001] | ||
obo:IAO_0000602 | (iff (OneDimensionalContinuant ...... label in BFO2 CLIF: [032-001] | ||
obo:IAO_0000602 | (forall (x y) (if (processProf ...... label in BFO2 CLIF: [094-005] | ||
obo:IAO_0000602 | (iff (ProcessProfile a) (exist ...... label in BFO2 CLIF: [093-002] | ||
obo:IAO_0000602 | (iff (RelationalQuality a) (ex ...... label in BFO2 CLIF: [057-001] | ||
obo:IAO_0000602 | (iff (TwoDimensionalContinuant ...... label in BFO2 CLIF: [033-001] | ||
obo:IAO_0000602 | (iff (ZeroDimensionalContinuan ...... label in BFO2 CLIF: [031-001] |