(=>
(and
(instance ?GRP GroupOfPeople)
(member ?ADULT ?GRP)
(member ?BABY ?GRP)
(instance ?BABY HumanBaby)
(instance ?ADULT HumanAdult)
(instance ?CRIB Crib))
(inScopeOfInterest ?ADULT ?CRIB)) |
Hotel.kif 1278-1286 |
If All of the following hold: (1) X is an instance of group of people (2) Y is a member of X (3) Z is a member of X (4) Z is an instance of human baby (5) Y is an instance of human adult (6) W is an instance of crib, then Y is interested in W |
(=>
(and
(breathingRate ?H ?T ?R)
(instance ?T Minute)
(not
(exists (?R)
(and
(instance ?R RecreationOrExercise)
(agent ?R ?H)
(during ?T
(WhenFn ?R)))))
(holdsDuring ?T
(attribute ?H HumanAdult))
(or
(greaterThan ?R 16)
(lessThan ?R 12)))
(holdsDuring ?T
(not
(attribute ?H Healthy)))) |
Medicine.kif 356-374 |
If X breathes at a rate of Y breaths per Z, Z is an instance of minute, there doesn't exist Y such that Y is an instance of recreation or exercise, X is an agent of Y, and Z takes place during the time of existence of Y, human adult is an attribute of X holds during Z, and Y is greater than 16 or Y is less than 12, then healthy is not an attribute of X holds during Z |
(=>
(and
(instance ?H HumanAdult)
(measure ?H
(MeasureFn ?N Pounds)))
(and
(bloodVolume ?H
(MeasureFn ?N2 Liter))
(equal ?N2
(DivisionFn
(MultiplicationFn ?N 0.07) 2.33)))) |
Medicine.kif 5907-5916 |
If X is an instance of human adult and the measure of X is Y Pounds(s), then X has Z liter(s) of blood and equal Z, Y, 0.07, and 2.33 |
(=>
(instance ?H HumanAdult)
(attribute ?H LegalPersonhood)) |
Mid-level-ontology.kif 185-187 |
If X is an instance of human adult, then legal personhood is an attribute of X |
(=>
(holdsDuring ?TIME
(and
(instance ?ADULT HumanAdult)
(age ?ADULT
(MeasureFn ?NUMBER YearDuration))))
(greaterThanOrEqualTo ?NUMBER 18)) |
Mid-level-ontology.kif 189-195 |
If X is an instance of human adult and the age of X is Y year duration(s) holds during Z, then Y is greater than or equal to 18 |
(=>
(holdsDuring ?TIME
(instance ?H HumanAdult))
(exists (?AGE)
(and
(holdsDuring ?TIME
(age ?H ?AGE))
(instance ?AGE
(IntervalFn
(MeasureFn 18 YearDuration)
(MeasureFn 120 YearDuration)))))) |
Mid-level-ontology.kif 197-205 |
If X is an instance of human adult holds during Y, then there exists Z such that the age of X is Z holds during Y and Z is an instance of the interval from 18 year duration(s) to 120 year duration(s) |
(=>
(and
(instance ?ADULT HumanAdult)
(height ?ADULT
(MeasureFn ?HEIGHT Inch)))
(not
(greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 207-213 |
If X is an instance of human adult and the height of X is Y inch(s), then Y is not greater than 120.0 |
(=>
(holdsDuring ?TIME
(instance ?ADULT HumanAdult))
(holdsDuring ?TIME
(developmentalForm ?ADULT FullyFormed))) |
Mid-level-ontology.kif 223-227 |
If X is an instance of human adult holds during Y, then the developmental form of X is fully formed holds during Y |
