(=>
(instance ?MIXTURE Mixture)
(exists (?PURE1 ?PURE2)
(and
(instance ?PURE1 PureSubstance)
(instance ?PURE2 PureSubstance)
(not
(equal ?PURE1 ?PURE2))
(piece ?PURE1 ?MIXTURE)
(piece ?PURE2 ?MIXTURE)))) |
Merge.kif 1263-1271 |
If X is an instance of mixture, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of pure substance (3) Z is an instance of pure substance (4) equal Y (5) Z (6) Y is a piece of X (7) Z is a piece of X |
(=>
(and
(instance ?X Substance)
(attribute ?X Insoluble))
(not
(modalAttribute
(exists (?Y ?Z)
(and
(instance ?Y Substance)
(instance ?Z Solution)
(piece ?X ?Z)
(piece ?Y ?Z))) Possibility))) |
Mid-level-ontology.kif 23809-23821 |
If X is an instance of substance and insoluble is an attribute of X, then the statement there don't exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z doesn't have the modal force of possibility |
(=>
(and
(instance ?F Food)
(attribute ?F CaffeinatedAttribute))
(exists (?CAF)
(and
(instance ?CAF Caffeine)
(piece ?CAF ?F)))) |
Food.kif 387-394 |
If X is an instance of food and caffeinated is an attribute of X, then there exists Y such that Y is an instance of caffeine and Y is a piece of X |
(=>
(and
(attribute ?F DecafAttribute)
(instance ?F Food))
(not
(exists (?C)
(and
(instance ?C Caffeine)
(piece ?C ?F))))) |
Food.kif 413-421 |
If decaf is an attribute of X and X is an instance of food, then there doesn't exist Y such that Y is an instance of caffeine and Y is a piece of X |
(=>
(and
(instance ?C Curdling)
(patient ?C ?X)
(instance ?X Colloid))
(exists (?S ?A)
(and
(instance ?S Separating)
(subProcess ?S ?C)
(patient ?S ?X)
(result ?S ?A)
(piece ?A ?X)
(instance ?A Substance)))) |
Food.kif 3229-3241 |
If X is an instance of curdling, Y is a patient of X, and Y is an instance of colloid, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of separating (3) Z is a subprocess of X (4) Y is a patient of Z (5) W is a result of Z (6) W is a piece of Y (7) W is an instance of substance |
(=>
(instance ?Loam Loam)
(exists (?Clay ?Sand ?Gravel ?Silt ?Organic)
(and
(instance ?Clay Clay)
(piece ?Clay ?Loam)
(instance ?Gravel Gravel)
(piece ?Gravel ?Loam)
(instance ?Sand Sand)
(piece ?Sand ?Loam)
(instance ?Silt Silt)
(piece ?Silt ?Loam)
(instance ?Organic BodySubstance)
(piece ?Organic ?Loam)))) |
Geography.kif 5844-5857 |
If X is an instance of loam, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of clay (3) Y is a piece of X (4) W is an instance of gravel (5) W is a piece of X (6) Z is an instance of sand (7) Z is a piece of X (8) V is an instance of silt (9) V is a piece of X (10) U is an instance of body substance (11) U is a piece of X |
(=>
(and
(measure
(FlowFn ?FLUID)
(SpeedFn ?LENGTH ?TIME))
(piece ?PART ?FLUID))
(piece ?PART
(SpeedFn ?LENGTH ?TIME))) |
Geography.kif 6455-6459 |
If the measure of the flow of X is Y per Z and W is a piece of X, then W is a piece of Y per Z |
(=>
(and
(measure
(FlowFn ?FLUID)
(MeasureFn ?NUM KnotUnitOfSpeed))
(piece ?PART ?FLUID))
(piece ?PART
(MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 6461-6465 |
If the measure of the flow of X is Y knot unit of speed(s) and Z is a piece of X, then Z is a piece of Y knot unit of speed(s) |
(=>
(and
(instance ?X Substance)
(attribute ?X Soluble))
(modalAttribute
(exists (?Y ?Z)
(and
(instance ?Y Substance)
(instance ?Z Solution)
(piece ?X ?Z)
(piece ?Y ?Z))) Possibility)) |
Geography.kif 8987-8998 |
If X is an instance of substance and soluble is an attribute of X, then the statement there exist Y, Z such that Y is an instance of substance, Z is an instance of solution, X is a piece of Z, and Y is a piece of Z has the modal force of possibility |
(=>
(bloodVolume ?H ?V)
(exists (?B)
(and
(instance ?B Blood)
(contains ?H ?B)
(instance ?H Human)
(measure ?B ?V)
(not
(exists (?B2)
(and
(instance ?B2 Blood)
(contains ?H ?B2)
(not
(piece ?B2 ?B)))))))) |
Medicine.kif 5929-5943 |
If X has Y of blood, then All of the following hold: (1) there exists Z such that Z is an instance of blood (2) X contains Z (3) X is an instance of human (4) the measure of Z is Y (5) there doesn't exist W such that W is an instance of blood (6) X contains W (7) W is not a piece of Z |
(=>
(instance ?AIR Air)
(piece ?AIR EarthsAtmosphere)) |
Weather.kif 37-39 |
If X is an instance of air, then X is a piece of earths atmosphere |
piece