(=>
(instance ?C Crater)
(exists (?HOST ?EVENT ?METEOR ?BOMB)
(and
(hole ?C ?HOST)
(superficialPart ?SURF
(HoleHostFn ?C))
(or
(and
(instance ?EVENT Impacting)
(instrument ?EVENT ?METEOR)
(instance ?METEOR Meteorite))
(and
(instance ?EVENT Explosion)
(instrument ?EVENT ?BOMB)
(instance ?BOMB Bomb))
(instance ?EVENT VolcanicEruption))
(result ?EVENT ?C)))) |
Merge.kif 1059-1075 |
If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z |
(=>
(contains ?OBJ1 ?OBJ2)
(exists (?HOLE)
(and
(hole ?HOLE ?OBJ1)
(properlyFills ?OBJ2 ?HOLE)))) |
Merge.kif 1101-1106 |
If X contains Y, then there exists Z such that Z is a hole in X and Y properly fills Z |
(=>
(instance ?HOLE HoleRegion)
(exists (?OBJ)
(hole ?HOLE ?OBJ))) |
Merge.kif 10093-10096 |
If X is an instance of hole, then there exists Y such that X is a hole in Y |
(=>
(and
(hole ?HOLE ?OBJ1)
(hole ?HOLE ?OBJ2))
(exists (?OBJ3)
(and
(properPart ?OBJ3
(MereologicalProductFn ?OBJ1 ?OBJ2))
(hole ?HOLE ?OBJ3)))) |
Merge.kif 10112-10119 |
If X is a hole in Y and X is a hole in Z, then there exists W such that W is a proper part of the intersection of the parts of Y, Z, and X is a hole in W |
(=>
(and
(hole ?HOLE1 ?OBJ)
(hole ?HOLE2 ?OBJ))
(forall (?HOLE3)
(=>
(part ?HOLE3
(MereologicalSumFn ?HOLE1 ?HOLE2))
(hole ?HOLE3 ?OBJ)))) |
Merge.kif 10121-10128 |
If X is a hole in Y and Z is a hole in Y, then For all HoleRegion W: if W is a part of the union of the parts of X and Z, then W is a hole in Y |
(=>
(and
(hole ?HOLE ?OBJ1)
(part ?OBJ1 ?OBJ2))
(or
(overlapsSpatially ?HOLE ?OBJ2)
(hole ?HOLE ?OBJ2))) |
Merge.kif 10130-10136 |
If X is a hole in Y and Y is a part of Z, then X and Z overlapsSpatially or X is a hole in Z |
(=>
(instance ?B GunBore)
(exists (?H)
(and
(instance ?H HoleRegion)
(shape ?B Cylinder)
(part ?H ?B)
(hole ?H ?B)))) |
Mid-level-ontology.kif 1427-1434 |
If X is an instance of gun bore, then there exists Y such that Y is an instance of hole, X is cylinder, Y is a part of X, and Y is a hole in X |
(=>
(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 |
(=>
(attribute ?C ContainerFull)
(exists (?H ?S)
(and
(instance ?H HoleRegion)
(hole ?H ?C)
(fills ?S ?C)))) |
Mid-level-ontology.kif 2178-2184 |
If container full is an attribute of X, then there exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z fills X |
(=>
(instance ?R
(OperatingFn InternalCombustionEngine))
(exists (?E ?C ?F)
(and
(instance ?E InternalCombustionEngine)
(instrument ?R ?E)
(hole ?C ?E)
(instance ?F Combustion)
(completelyFills ?F ?C)))) |
Mid-level-ontology.kif 2340-2348 |
If X is an instance of the operating of internal combustion engine, then there exist Y, Z, W such that Y is an instance of internal combustion engine, Y is an instrument for X, Z is a hole in Y, W is an instance of burning, and W completely fills Z |
(=>
(instance ?PC PorousContainer)
(exists (?HOLE)
(and
(instance ?HOLE HoleRegion)
(hole ?HOLE ?PC)))) |
Mid-level-ontology.kif 5128-5133 |
If X is an instance of porous container, then there exists Y such that Y is an instance of hole and Y is a hole in X |
(=>
(instance ?S Sandal)
(exists (?H1 ?H2)
(and
(instance ?H1 HoleRegion)
(hole ?H1 ?S)
(instance ?H2 HoleRegion)
(hole ?H2 ?S)
(not
(equal ?H1 ?H2))
(hasPurpose ?H1
(exists (?D ?F ?A ?I)
(and
(instance ?D Dressing)
(instance ?F Foot)
(agent ?D ?A)
(part ?F ?A)
(subProcess ?I ?D)
(instance ?I Inserting)
(patient ?I ?F)
(destination ?I ?H1))))))) |
Mid-level-ontology.kif 6307-6327 |
If X is an instance of sandal, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hole (3) Y is a hole in X (4) Z is an instance of hole (5) Z is a hole in X (6) equal Y (7) Z (8) Y has the purpose there exist W, V,, , U (9) T such that W is an instance of dressing (10) V is an instance of foot (11) U is an agent of W (12) V is a part of U (13) T is a subprocess of W (14) T is an instance of inserting (15) V is a patient of T (16) T ends up at Y |
(=>
(and
(instance ?DRILL Drilling)
(patient ?DRILL ?OBJ))
(exists (?HOLE)
(and
(holdsDuring
(BeginFn
(WhenFn ?DRILL))
(not
(hole ?HOLE ?OBJ)))
(holdsDuring
(EndFn
(WhenFn ?DRILL))
(hole ?HOLE ?OBJ))))) |
Mid-level-ontology.kif 20033-20040 |
If X is an instance of drilling and Y is a patient of X, then there exists Z such that Z is not a hole in Y holds during the beginning of the time of existence of X and Z is a hole in Y holds during the end of the time of existence of X |
(=>
(instance ?X FuelCapLock)
(hasPurpose ?X
(exists (?TANK ?HOLE ?T)
(and
(instance ?TANK GasTank)
(hole ?HOLE ?TANK)
(decreasesLikelihood
(holdsDuring ?T
(and
(connected ?X ?HOLE)
(attribute ?X Locked)))
(holdsDuring ?T
(exists (?STEAL ?FUEL)
(and
(instance ?STEAL Stealing)
(instance ?FUEL Fuel)
(located ?FUEL ?TANK)
(patient ?STEAL ?FUEL))))))))) |
Cars.kif 953-971 |
If X is an instance of fuel cap lock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas tank (3) Z is a hole in Y (4) X is connected to Z (5) locked is an attribute of X holds during W decreases likelihood of there exist V (6) U such that V is an instance of stealing (7) U is an instance of fuel (8) U is located at Y (9) U is a patient of V holds during W |
(=>
(instance ?Slot ATMSlot)
(exists (?ATM)
(and
(instance ?ATM ATMMachine)
(hole ?Slot ?ATM)))) |
FinancialOntology.kif 3720-3725 |
If X is an instance of ATM slot, then there exists Y such that Y is an instance of ATM machine and X is a hole in Y |
(=>
(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 ?Canyon Canyon)
(exists (?Hole)
(hole ?Hole ?Canyon))) |
Geography.kif 5767-5770 |
If X is an instance of canyon, then there exists Y such that Y is a hole in X |
(=>
(instance ?cave Cave)
(exists (?land)
(and
(instance ?land CaveMatrix)
(hole ?cave ?land)))) |
Geography.kif 7653-7658 |
If X is an instance of cave, then there exists Y such that Y is an instance of cave matrix and X is a hole in Y |
hole