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