Distilling - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5698-5713
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4658-4658
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5696-5696	Distilling is a subclass of separating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19956-19956
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19955-19955
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19954-19954

antecedent

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

Food.kif 3617-3632

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 3638-3645	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 3339-3346	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 3368-3375	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 3495-3502	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 3595-3602	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 3608-3615	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: