Distilling - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4583-4598
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4659-4659
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4581-4581	Distilling is a subclass of separating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19947-19947
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19946-19946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19945-19945

antecedent

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

Food.kif 1048-1063

If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking,
then there exist a self connected object and a third time interval such that the self connected object is an instance of Cask and a hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1069-1076	If an entity is an instance of brandy, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of wine and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 798-805	If an entity is an instance of Rum, then there exists a process such that the process is an instance of distilling and an object is an instance of sugar cane and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 813-820	If an entity is an instance of Schnapps, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of fruit and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 922-929	If an entity is an instance of Tequila, then there exists a process such that the process is an instance of distilling and an object is an instance of BlueAgave and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1026-1033	If an entity is an instance of Vodka, then there exists a process such that the process is an instance of distilling and an object is an instance of cereal grain and the object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1039-1046	If an entity is an instance of whiskey, then there exists a process such that the process is an instance of distilling and an object is an instance of cereal grain and the object is a resource for the process and the entity is a result of the process

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

KB Term:			Term intersection

English Word: