(=>
(and
(instance ?C Covering)
(patient ?C ?P)
(instrument ?C ?I))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(covers ?I ?P))) |
Merge.kif 16234-16242 |
If X is an instance of covering, Y is a patient of X, and Z is an instrument for X, then Z covers Y holds during immediately after the time of existence of X |
(=>
(instance ?CLOTHING Clothing)
(hasPurpose ?CLOTHING
(exists (?H ?P)
(and
(instance ?H Animal)
(part ?P ?H)
(covers ?CLOTHING ?P))))) |
Merge.kif 16258-16265 |
If X is an instance of clothing, then X has the purpose there exist Y, Z such that Y is an instance of animal, Z is a part of Y, and X covers Z |
(=>
(instance ?V Veneer)
(hasPurpose ?V
(exists (?OBJ)
(covers ?V ?OBJ)))) |
Mid-level-ontology.kif 5385-5389 |
If X is an instance of veneer, then X has the purpose there exists Y such that X covers Y |
(=>
(instance ?B Eyeball)
(exists (?S ?L1 ?L2)
(and
(instance ?S Eyesocket)
(properlyFills ?B ?S)
(instance ?L1 UpperEyelid)
(instance ?L2 LowerEyelid)
(covers ?L1 ?B)))) |
Mid-level-ontology.kif 13716-13724 |
If X is an instance of eye ball, then there exist Y, Z, W such that Y is an instance of eye socket, X properly fills Y, Z is an instance of upper eye lid, W is an instance of lower eye lid, and Z covers X |
(=>
(holdsDuring ?T
(and
(attribute ?A Barefoot)
(instance ?F Foot)
(part ?F ?A)))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(covers ?C ?F)))))) |
Mid-level-ontology.kif 32740-32751 |
If barefoot is an attribute of X, Y is an instance of foot, and Y is a part of X holds during Z, then there doesn't exist W such that W is an instance of clothing and W covers Y holds during Z |
(=>
(holdsDuring ?T
(attribute ?A Clothed))
(holdsDuring ?T
(not
(exists (?P)
(and
(instance ?P ReproductiveBody)
(part ?P ?A)
(not
(exists (?C)
(and
(instance ?C Clothing)
(covers ?C ?P))))))))) |
Mid-level-ontology.kif 32794-32807 |
If clothed is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of reproductive body, Z is a part of X, there doesn't exist W such that W is an instance of clothing, and W covers Z holds during Y |
(<=>
(and
(instance ?B BodyPart)
(holdsDuring ?T
(attribute ?B Bare)))
(holdsDuring ?T
(not
(exists (?C)
(and
(instance ?C Clothing)
(covers ?C ?B)))))) |
Mid-level-ontology.kif 32812-32822 |
X is an instance of body part, bare is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of clothing, and Z covers X holds during Y |
(=>
(instance ?TC TireChain)
(hasPurpose ?TC
(exists (?V ?W ?F)
(and
(instance ?V RoadVehicle)
(instance ?W Wheel)
(part ?W ?V)
(instance ?F Friction)
(covers ?TC ?W)
(instrument ?F ?TC))))) |
Cars.kif 4345-4355 |
If X is an instance of snow chain, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of road vehicle (3) Z is an instance of wheel (4) Z is a part of Y (5) W is an instance of friction (6) X covers Z (7) X is an instrument for W |
(=>
(instance ?T Tire)
(hasPurpose ?T
(exists (?W ?R)
(and
(instance ?W Wheel)
(instance ?R WheelRim)
(part ?T ?W)
(part ?R ?W)
(covers ?T ?R))))) |
Cars.kif 4679-4688 |
If X is an instance of tire, then X has the purpose there exist Y, Z such that Y is an instance of wheel, Z is an instance of rim, X is a part of Y, Z is a part of Y, and X covers Z |
(=>
(instance ?BERG Iceberg)
(exists (?PART ?WATER)
(and
(instance ?PART Ice)
(most ?PART ?BERG)
(instance ?WATER BodyOfWater)
(covers ?WATER ?PART)))) |
Geography.kif 6284-6291 |
If X is an instance of iceberg, then there exist Y, Z such that Y is an instance of ice, Y is most of X, Z is an instance of body of water, and Z covers Y |
(=>
(instance ?LAND Shoal)
(exists (?PART ?WATER)
(and
(instance ?PART LandForm)
(most ?PART ?LAND)
(instance ?WATER BodyOfWater)
(covers ?WATER ?PART)))) |
Geography.kif 7520-7527 |
If X is an instance of shoal, then there exist Y, Z such that Y is an instance of land form, Y is most of X, Z is an instance of body of water, and Z covers Y |
covers