TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17562-17563
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17560-17560	Pouring is a subclass of liquid motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17561-17561	Pouring is a subclass of transfer

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46972-46972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46971-46971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46970-46970

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17565-17576

If a process is an instance of pouring,
then there exist an object, another object and an entity such that the process originates at the other object and the process ends up at the entity and the other object is an instance of container and the entity is an instance of container and the other object is not equal to the entity and the object is a patient of the process and liquid is an attribute of the object and the object is an instance of substance

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1310-1320	If an entity is an instance of americano, then there exist a process, a physical and another entity such that the process is an instance of pouring and the physical is a patient of the process and the physical is an instance of potable water and the measure of the physical is 90 celsius degree(s) and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1269-1278	If an entity is an instance of cappuccino, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1349-1358	If an entity is an instance of flat white, then there exist another entity, a third entity and a process such that the other entity is an instance of espresso and the third entity is an instance of milk foam and the process is an instance of pouring and the third entity is a patient of the process and the process ends up at the other entity and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1429-1439	If an entity is an instance of long black, then there exist a process, an object and another entity such that the process is an instance of pouring and the object is a patient of the process and the object is an instance of potable water and hot is an attribute of the object and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: