consequent

(=>     (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 1020-1036	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 1063-1068	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 10024-10027	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 10043-10050	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 10052-10059	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 10061-10067	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 1395-1402	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 2109-2116	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 2127-2133	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 2246-2254	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 4979-4984	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 6167-6187	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 19986-19993	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 1016-1034	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 3680-3685	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 3626-3641	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 5821-5824	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 7674-7679	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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners