(=>
(attribute ?C ContainerEmpty)
(not
(exists (?H ?S)
(and
(instance ?H HoleRegion)
(hole ?H ?C)
(partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 2160-2167 |
If container empty is an attribute of X, then there don't exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z partially fills X |
(=>
(and
(instance ?E EngineCylinder)
(instance ?I InternalCombustionChamber)
(instance ?P Piston)
(instance ?T TwoStrokeIntake)
(holdsDuring ?T
(located ?P ?E))
(equal ?E
(HoleHostFn ?I))
(eventLocated ?T ?E))
(hasPurpose ?P
(holdsDuring ?T
(partiallyFills ?P ?I)))) |
Cars.kif 416-428 |
If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of internal combustion chamber (3) Z is an instance of piston (4) W is an instance of two stroke intake (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
(=>
(and
(instance ?E EngineCylinder)
(instance ?C Crankcase)
(instance ?P Piston)
(instance ?T TwoStrokeTransfer)
(holdsDuring ?T
(located ?P ?E))
(equal ?E
(HoleHostFn ?C))
(eventLocated ?T ?E))
(hasPurpose ?P
(holdsDuring ?T
(partiallyFills ?P ?C)))) |
Cars.kif 462-474 |
If All of the following hold: (1) X is an instance of engine cylinder (2) Y is an instance of crankcase (3) Z is an instance of piston (4) W is an instance of two stroke transfer (5) Z is located at X holds during W (6) equal X and the host of the hole Y (7) W is located at X, then Z has the purpose Z partially fills Y holds during W |
(=>
(and
(instance ?W Whiskey)
(instance ?D Distilling)
(result ?D ?W)
(resource ?DR ?W)
(instance ?DR Drinking))
(exists (?C ?T ?H)
(and
(instance ?C Cask)
(instance ?H HoleRegion)
(hole ?H ?C)
(holdsDuring ?T
(partiallyFills ?W ?C))
(earlier ?D ?T)
(earlier ?T ?DR)))) |
Food.kif 3654-3669 |
If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z |
(=>
(instance ?B BowlingBall)
(exists (?HOLES)
(and
(instance ?HOLES CollectionOfObjects)
(memberType ?HOLES HoleRegion)
(memberCount ?HOLES 3)
(located ?HOLES ?B)
(hasPurpose ?HOLES
(exists (?FINGER ?HOLE)
(and
(member ?HOLE ?HOLES)
(instance ?FINGER Finger)
(partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 1153-1166 |
If X is an instance of bowling ball, then All of the following hold: (1) there exists Y such that Y is an instance of collection (2) hole is a member type of Y (3) 3 is a member count of Y (4) Y is located at X (5) Y has the purpose there exist Z (6) W such that W is a member of Y (7) Z is an instance of finger (8) Z partially fills W |
