Distilling - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6040-6055
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4657-4657
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6038-6038	Distilling is a subclass of separating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19965-19965
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19964-19964
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19963-19963

antecedent

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

Food.kif 3624-3639

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, a third time interval and a hole such that the self connected object is an instance of cask and the 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 3645-3652	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 3346-3353	If an entity is an instance of rum, then there exist a process and an object such that the process is an instance of distilling and the 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 3375-3382	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 3502-3509	If an entity is an instance of tequila, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of blue agave 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 3602-3609	If an entity is an instance of vodka, then there exist a process and an object such that the process is an instance of distilling and the 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 3615-3622	If an entity is an instance of whiskey, then there exist a process and an object such that the process is an instance of distilling and the 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: