(=>
(and
(approximateDiameter ?O
(MeasureFn ?L ?LM))
(sphereRadius ?S
(MeasureFn
(DivisionFn ?L 2.0) ?LM))
(measure ?S
(MeasureFn ?V1 ?VM))
(measure ?O
(MeasureFn ?V2 ?VM))
(instance ?LM UnitOfLength)
(instance ?VM UnitOfVolume))
(equal ?V1 ?V2)) |
Mid-level-ontology.kif 19882-19893 |
If All of the following hold: (1) the approximate diameter of X is Y Z(s) (2) the radius of W is Y and 2.0 Z(s) (3) the measure of W is V U(s) (4) the measure of X is T U(s) (5) Z is an instance of unit of length (6) U is an instance of unit of volume, then equal V and T |
(=>
(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 ?A AstronomicalBody)
(approximateDiameter ?A
(MeasureFn ?D ?U))
(instance ?U UnitOfLength)
(instance ?P PointInSpace)
(part ?P ?A))
(exists (?C)
(and
(equal ?C
(CenterOfPlanetFn ?A))
(distance ?C ?P
(MeasureFn
(DivisionFn ?D 2.0) ?U))))) |
Mid-level-ontology.kif 28094-28108 |
If X is an instance of astronomical body, the approximate diameter of X is Y Z(s), Z is an instance of unit of length, W is an instance of point in space, and W is a part of X, then there exists V such that equal V and the centre of AstronomicalBody X is and the distance between V and W is Y and 2.0 Z(s) |
(=>
(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 ?PM ParticulateMatter)
(part ?P ?PM)
(approximateDiameter ?P
(MeasureFn ?S Micrometer))
(greaterThan 10.0 ?S)
(greaterThan ?S 2.5))
(exists (?PM10)
(and
(instance ?PM10 CoarseParticulateMatter)
(part ?PM10 ?PM)))) |
Geography.kif 9041-9052 |
X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and 10.0 is greater than Z and Z is greater than 2.5 if and only if there exists W such that W is an instance of PM10 and W is a part of X |
(<=>
(and
(instance ?PM ParticulateMatter)
(part ?P ?PM)
(approximateDiameter ?P
(MeasureFn ?S Micrometer))
(greaterThanOrEqualTo ?S 2.5))
(exists (?PM25)
(and
(instance ?PM25 FineParticulateMatter)
(part ?PM25 ?PM)))) |
Geography.kif 9070-9080 |
X is an instance of PM and Y is a part of X and the approximate diameter of Y is Z micrometer(s) and Z is greater than or equal to 2.5 if and only if there exists W such that W is an instance of PM2.5 and W is a part of X |
(<=>
(and
(instance ?LD LiquidDrop)
(approximateDiameter ?LD
(MeasureFn ?S Micrometer))
(lessThan 500.0 ?S))
(instance ?LD Droplet)) |
Geography.kif 9125-9131 |
X is an instance of liquid drop and the approximate diameter of X is Y micrometer(s) and 500.0 is less than Y if and only if X is an instance of droplet |
(=>
(and
(instance ?R PupillaryResponse)
(patient ?R ?P)
(instance ?P BothEyePupils)
(subProcess ?C ?R)
(instance ?C QuantityChange)
(patient ?C ?P)
(approximateDiameter ?P
(MeasureFn ?X Milimeter)))
(and
(greaterThanOrEqualTo ?X 1.5)
(lessThanOrEqualTo ?X 8.0))) |
emotion.kif 746-758 |
If All of the following hold: (1) X is an instance of pupillary response (2) Y is a patient of X (3) Y is an instance of both eye pupils (4) Z is a subprocess of X (5) Z is an instance of quantity change (6) Y is a patient of Z (7) the approximate diameter of Y is W Milimeter(s), then W is greater than or equal to 1.5 and W is less than or equal to 8.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 |
(=>
(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 |
