consequent

(=>     (attribute ?C ContainerEmpty)     (instance ?C Container))	Mid-level-ontology.kif 2156-2158	If container empty is an attribute of X, then X is an instance of container
(=>     (attribute ?C ContainerFull)     (instance ?C Container))	Mid-level-ontology.kif 2174-2176	If container full is an attribute of X, then X is an instance of container
(=>     (instance ?L Lid)     (exists (?C)         (and             (instance ?C Container)             (part ?L ?C)             (capability Closing instrument ?L)             (capability Opening instrument ?L)             (top ?L ?C))))	Mid-level-ontology.kif 4665-4673	If X is an instance of lid, then there exists Y such that Y is an instance of container, X is a part of Y, X is capable of doing closing as a instrument, X is capable of doing opening as a instrument, and the top of Y is X
(=>     (instance ?C Compartment)     (exists (?O)         (and             (instance ?O Container)             (not                 (equal ?C ?O))             (part ?C ?O))))	Mid-level-ontology.kif 4814-4820	If X is an instance of compartment, then there exists Y such that Y is an instance of container, equal X, Y, and X is a part of Y
(=>     (instance ?POUR Pouring)     (exists (?LIQUID ?CONTAINER1 ?CONTAINER2)         (and             (origin ?POUR ?CONTAINER1)             (destination ?POUR ?CONTAINER2)             (instance ?CONTAINER1 Container)             (instance ?CONTAINER2 Container)             (not                 (equal ?CONTAINER1 ?CONTAINER2))             (patient ?POUR ?LIQUID)             (attribute ?LIQUID Liquid)             (instance ?LIQUID Substance))))	Mid-level-ontology.kif 19458-19469	If X is an instance of pouring, then All of the following hold: (1) there exist Y, Z (2) W such that X originates at Z (3) X ends up at W (4) Z is an instance of container (5) W is an instance of container (6) equal Z (7) W (8) Y is a patient of X (9) liquid is an attribute of Y (10) Y is an instance of substance
(=>     (instance ?HS HeatSealer)     (hasPurpose ?HS         (exists (?CLOSE ?PLAST ?CONT ?HEAT)             (and                 (instance ?CONT Container)                 (instance ?PLAST Plastic)                 (instance ?CLOSE Closing)                 (instance ?HEAT Heating)                 (instrument ?CLOSE ?HS)                 (instrument ?CLOSE ?PLAST)                 (agent ?HEAT ?HS)                 (patient ?HEAT ?PLAST)                 (result ?HEAT ?CLOSE)                 (patient ?CLOSE ?CONT)))))	Economy.kif 5512-5526	If X is an instance of heat sealer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of container (3) Z is an instance of plastic (4) Y is an instance of closing (5) V is an instance of heating (6) X is an instrument for Y (7) Z is an instrument for Y (8) X is an agent of V (9) Z is a patient of V (10) Y is a result of V (11) W is a patient of Y
(=>     (instance ?DEVICE VacuumCleaner)     (exists (?CONTAINER)         (and             (part ?DEVICE ?CONTAINER)             (instance ?CONTAINER Container))))	HouseholdAppliances.kif 684-689	If X is an instance of vacuum cleaner, then there exists Y such that X is a part of Y and Y is an instance of container
(=>     (instance ?DEVICE VacuumCleaner)     (hasPurpose ?DEVICE         (exists (?PROC ?CONTAINER ?STUFF)             (and                 (instance ?PROC Inserting)                 (instrument ?PROC ?DEVICE)                 (instance ?CONTAINER Container)                 (agent ?PROC ?STUFF)                 (destination ?PROC ?CONTAINER)                 (part ?DEVICE ?CONTAINER)))))	HouseholdAppliances.kif 693-703	If X is an instance of vacuum cleaner, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of inserting (3) X is an instrument for Y (4) Z is an instance of container (5) W is an agent of Y (6) Y ends up at Z (7) X is a part of Z
(=>     (rainfallIntensity ?AREA ?TIME ?RATE)     (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)         (and             (instance ?RAIN Raining)             (eventLocated ?RAIN ?AREA)             (during                 (WhenFn ?RAIN) ?TIME)             (instance ?CLTN CollectionOfObjects)             (objectTransferred ?RAIN ?CLTN)             (instance ?R Water)             (member ?R ?CLTN)             (instance ?BUCKET Container)             (bottom ?BOTTOM ?BUCKET)             (attribute ?BOTTOM Flat)             (located ?BUCKET ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (attribute ?BUCKET ContainerEmpty))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?CLTN ?BUCKET)                     (top ?TOP ?CLTN)                     (depth ?TOP ?BOTTOM ?RAINFALL)                     (equal ?RAINFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 4098-4123	If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners