TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Pouring LiquidMotion)	Mid-level-ontology.kif 19453-19453	Pouring is a subclass of liquid motion
(subclass Pouring Transfer)	Mid-level-ontology.kif 19454-19454	Pouring is a subclass of transfer
(documentation Pouring EnglishLanguage "Any instance of Transfer from one Container to another, where the thing transferred is a Liquid.")	Mid-level-ontology.kif 19455-19456	Pouring is a subclass of transfer

appearance as argument number 2

(termFormat EnglishLanguage Pouring "pouring")	domainEnglishFormat.kif 46963-46963
(termFormat ChineseTraditionalLanguage Pouring "澆注")	domainEnglishFormat.kif 46964-46964
(termFormat ChineseLanguage Pouring "浇注")	domainEnglishFormat.kif 46965-46965

antecedent

(=>
    (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

consequent

(=> (instance ?C Cappuccino) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?C))))	Food.kif 1248-1257	If X is an instance of cappuccino, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of espresso (3) Z is an instance of milk foam (4) W is an instance of pouring (5) Z is a patient of W (6) W ends up at Y (7) X is a result of W
(=> (instance ?A Americano) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90 CelsiusDegree)) (destination ?P ?E) (instance ?E Espresso) (result ?P ?A))))	Food.kif 1289-1299	If X is an instance of americano, then there exist Y, Z and W such that Y is an instance of pouring and Z is a patient of Y and Z is an instance of potable water and the measure of Z is 90 celsius degree(s) and Y ends up at W and W is an instance of espresso and X is a result of Y
(=> (instance ?F FlatWhite) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?F))))	Food.kif 1328-1337	If X is an instance of flat white, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of espresso (3) Z is an instance of milk foam (4) W is an instance of pouring (5) Z is a patient of W (6) W ends up at Y (7) X is a result of W
(=> (instance ?L LongBlack) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (attribute ?W HotTemperature) (destination ?P ?E) (instance ?E Espresso) (result ?P ?L))))	Food.kif 1408-1418	If X is an instance of long black, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of pouring (3) Z is a patient of Y (4) Z is an instance of potable water (5) hot is an attribute of Z (6) Y ends up at W (7) W is an instance of espresso (8) X is a result of Y

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

Show without tree

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

KB Term:			Term intersection

English Word: