(=>
(and
(part ?Particle ?Soil)
(instance ?Soil Clay)
(approximateDiameter ?Particle
(MeasureFn ?Size Millimeter)))
(and
(greaterThan 0.004 ?Size)
(greaterThan ?Size 0.001))) |
Mid-level-ontology.kif 19906-19914 |
If X is a part of Y, Y is an instance of clay, and the approximate diameter of X is Z millimeter(s), then 0.004 is greater than Z and Z is greater than 0.001 |
(=>
(and
(instance ?ET EustachianTube)
(part ?ET ?H)
(attribute ?H Healthy)
(diameter ?ET
(MeasureFn ?N Millimeter)))
(approximateValue ?N 3.0)) |
Anatomy.kif 1548-1555 |
If X is an instance of Eustachian tube, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 3.0 |
(=>
(and
(instance ?ET AuditoryCanal)
(part ?ET ?H)
(attribute ?H Healthy)
(diameter ?ET
(MeasureFn ?N Millimeter)))
(approximateValue ?N 0.7)) |
Anatomy.kif 1598-1605 |
If X is an instance of auditory canal, X is a part of Y, healthy is an attribute of Y, and the diameter of X is Z millimeter(s), then the approximate value of Z is 0.7 |
(=>
(and
(instance ?C Cappuccino)
(part ?E ?C)
(part ?M ?C)
(instance ?E Espresso)
(instance ?M MilkFoam)
(mixtureRatio ?E ?M ?V1 ?V2 Liter)
(part ?B ?M)
(instance ?B Bubble)
(top ?B ?M)
(measure ?B
(MeasureFn ?L Millimeter)))
(and
(approximateValue ?V1 0.03)
(approximateValue ?V2 0.15)
(approximateValue ?L 20.0))) |
Food.kif 1264-1280 |
If All of the following hold: (1) X is an instance of cappuccino (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.15, and the approximate value of T is 20.0 |
(=>
(and
(instance ?C FlatWhite)
(part ?E ?C)
(part ?M ?C)
(instance ?E Espresso)
(instance ?M MilkFoam)
(mixtureRatio ?E ?M ?V1 ?V2 Liter)
(part ?B ?M)
(part ?B ?E)
(top ?B ?M)
(instance ?B Bubble)
(measure ?B
(MeasureFn ?L Millimeter)))
(and
(approximateValue ?V1 0.03)
(approximateValue ?V2 0.15)
(greaterThanOrEqualTo ?L 1.0)
(lessThanOrEqualTo ?L 20.0))) |
Food.kif 1346-1364 |
If All of the following hold: (1) X is an instance of flat white (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is a part of Y (9) the top of Z is U (10) U is an instance of bubble (11) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.15, T is greater than or equal to 1.0, and T is less than or equal to 20.0 |
(=>
(and
(instance ?C Latte)
(part ?E ?C)
(part ?M ?C)
(instance ?E Espresso)
(instance ?M MilkFoam)
(mixtureRatio ?E ?M ?V1 ?V2 Liter)
(part ?B ?M)
(instance ?B Bubble)
(top ?B ?M)
(measure ?B
(MeasureFn ?L Millimeter)))
(and
(approximateValue ?V1 0.03)
(approximateValue ?V2 0.21)
(approximateValue ?L 12.0))) |
Food.kif 1378-1394 |
If All of the following hold: (1) X is an instance of latte (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.21, and the approximate value of T is 12.0 |
(=>
(and
(part ?Particle ?Soil)
(instance ?Soil Sand)
(approximateDiameter ?Particle
(MeasureFn ?Size Millimeter)))
(and
(greaterThan 2.0 ?Size)
(greaterThan ?Size 0.062))) |
Geography.kif 5879-5887 |
If X is a part of Y, Y is an instance of sand, and the approximate diameter of X is Z millimeter(s), then 2.0 is greater than Z and Z is greater than 0.062 |
(=>
(and
(part ?Particle ?Soil)
(instance ?Soil Silt)
(approximateDiameter ?Particle
(MeasureFn ?Size Millimeter)))
(and
(greaterThan 0.062 ?Size)
(greaterThan ?Size 0.004))) |
Geography.kif 5924-5932 |
If X is a part of Y, Y is an instance of silt, and the approximate diameter of X is Z millimeter(s), then 0.062 is greater than Z and Z is greater than 0.004 |
(=>
(and
(instance ?Particle Pebble)
(approximateDiameter ?Particle
(MeasureFn ?Size Millimeter)))
(and
(greaterThan 64.0 ?Size)
(greaterThan ?Size 2.0))) |
Geography.kif 8923-8930 |
If X is an instance of pebble and the approximate diameter of X is Y millimeter(s), then 64.0 is greater than Y and Y is greater than 2.0 |
(=>
(and
(instance ?Particle Cobble)
(approximateDiameter ?Particle
(MeasureFn ?Size Millimeter)))
(and
(greaterThan 256.0 ?Size)
(greaterThan ?Size 64.0))) |
Geography.kif 8944-8951 |
If X is an instance of cobble and the approximate diameter of X is Y millimeter(s), then 256.0 is greater than Y and Y is greater than 64.0 |
(=>
(and
(instance ?Particle Boulder)
(approximateDiameter ?Particle
(MeasureFn ?Size Millimeter)))
(greaterThan ?Size 256.0)) |
Geography.kif 8964-8969 |
If X is an instance of boulder and the approximate diameter of X is Y millimeter(s), then Y is greater than 256.0 |
(=>
(and
(instance ?D PupilsDilation)
(patient ?D ?P)
(instance ?P BothEyePupils)
(holdsDuring
(BeginFn
(WhenFn ?D))
(approximateDiameter ?P
(MeasureFn ?X Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?D))
(approximateDiameter ?P
(MeasureFn ?Y Millimeter))))
(greaterThan ?Y ?X)) |
emotion.kif 798-809 |
If X is an instance of dilated pupils, Y is a patient of X, Y is an instance of both eye pupils, the approximate diameter of Y is Z millimeter(s) holds during the beginning of the time of existence of X, and the approximate diameter of Y is W millimeter(s) holds during the end of the time of existence of X, then W is greater than Z |
(=>
(and
(instance ?M Mydriasis)
(patient ?M ?P)
(instance ?P BothEyePupils)
(instance ?L RadiatingVisibleLight)
(patient ?L ?P)
(holdsDuring
(BeginFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?A Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?B Millimeter))))
(not
(lessThan ?B ?A))) |
emotion.kif 838-850 |
If All of the following hold: (1) X is an instance of mydriasis (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is an instance of radiating visible light (5) Y is a patient of Z (6) the approximate diameter of Y is W millimeter(s) holds during the beginning of the time of existence of Z (7) the approximate diameter of Y is V millimeter(s) holds during the end of the time of existence of Z, then V is not less than W |
(=>
(and
(instance ?C PupilsConstriction)
(patient ?C ?P)
(instance ?P BothEyePupils)
(holdsDuring
(BeginFn
(WhenFn ?C))
(approximateDiameter ?P
(MeasureFn ?X Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?C))
(approximateDiameter ?P
(MeasureFn ?Y Millimeter))))
(greaterThan ?X ?Y)) |
emotion.kif 905-916 |
If X is an instance of miosis, Y is a patient of X, Y is an instance of both eye pupils, the approximate diameter of Y is Z millimeter(s) holds during the beginning of the time of existence of X, and the approximate diameter of Y is W millimeter(s) holds during the end of the time of existence of X, then Z is greater than W |
(=>
(and
(instance ?M Miosis)
(patient ?M ?P)
(instance ?P BothEyePupils)
(instance ?L RadiatingVisibleLight)
(patient ?L ?P)
(holdsDuring
(BeginFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?A Millimeter)))
(holdsDuring
(EndFn
(WhenFn ?L))
(approximateDiameter ?P
(MeasureFn ?B Millimeter))))
(not
(greaterThan ?B ?A))) |
emotion.kif 943-955 |
If All of the following hold: (1) X is an instance of miosis (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is an instance of radiating visible light (5) Y is a patient of Z (6) the approximate diameter of Y is W millimeter(s) holds during the beginning of the time of existence of Z (7) the approximate diameter of Y is V millimeter(s) holds during the end of the time of existence of Z, then V is not greater than W |
(=>
(holdsDuring ?T
(and
(attribute ?H ?A)
(instance ?H Human)
(instance ?A Anisocoria)
(part ?P ?H)
(instance ?R PupillaryResponse)
(patient ?R ?P)
(instance ?P BothEyePupils)
(equal
(DiffPupilSizeFn ?P)
(MeasureFn ?Z Millimeter))))
(greaterThan ?Z 0.4)) |
emotion.kif 1022-1035 |
If X is an attribute of Y and Y is an instance of human and X is an instance of anisocoria and Z is a part of Y and W is an instance of pupillary response and Z is a patient of W and Z is an instance of both eye pupils and equal The difference in size of Z is and V millimeter(s) holds during U, then V is greater than 0.4 |
(=>
(and
(attribute ?H PhysiologicalAnisocoria)
(instance ?H Human)
(part ?P ?H)
(instance ?P BothEyePupils)
(equal
(MeasureFn ?Z Millimeter)
(DiffPupilSizeFn ?P)))
(lessThan ?Z 1)) |
emotion.kif 1043-1052 |
If physiological anisocoria is an attribute of X, X is an instance of human, Y is a part of X, Y is an instance of both eye pupils, and equal Z millimeter(s) and The difference in size of Y is, then Z is less than 1 |
(=>
(and
(instance ?P BothEyePupils)
(member ?L ?P)
(member ?R ?P)
(approximateDiameter ?L
(MeasureFn ?X Millimeter))
(approximateDiameter ?R
(MeasureFn ?Y Millimeter))
(equal ?Z
(SubtractionFn ?X ?Y)))
(equal
(MeasureFn ?Z Millimeter)
(DiffPupilSizeFn ?P))) |
emotion.kif 1107-1118 |
If All of the following hold: (1) X is an instance of both eye pupils (2) Y is a member of X (3) Z is a member of X (4) the approximate diameter of Y is W millimeter(s) (5) the approximate diameter of Z is V millimeter(s) (6) equal U and (W and V), then equal U millimeter(s) and The difference in size of X is |
(=>
(equal
(MeasureFn ?Z Millimeter)
(DiffPupilSizeFn ?P))
(exists (?L ?R ?X ?Y)
(and
(member ?L ?P)
(member ?R ?P)
(approximateDiameter ?L
(MeasureFn ?X Millimeter))
(approximateDiameter ?R
(MeasureFn ?Y Millimeter))
(equal ?Z
(SubtractionFn ?X ?Y))))) |
emotion.kif 1120-1131 |
If equal X millimeter(s) and The difference in size of Y is, then there exist Z, W,, , V and U such that Z is a member of Y and W is a member of Y and the approximate diameter of Z is V millimeter(s) and the approximate diameter of W is U millimeter(s) and equal X and (V and U) |
WheelRim