Dough - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Dough

Dough(dough)

bread_dough, dough

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1601-1603
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1475-1475
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31595-31595	roomTempState dough and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1600-1600	Dough is a subclass of mixture
No TPTP formula. May not be expressible in strict first order.	Food.kif 1599-1599	Dough is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20244-20244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20243-20243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20242-20242

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1605-1607	If an object is an instance of dough, then raw food is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1609-1616	If an object is an instance of dough, then there exist another object and a third object such that the other object is an instance of flour and the third object is an instance of potable water and the other object is a part of the object and the third object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1566-1573	If an entity is an instance of bread or biscuit, then there exist an object and the entityAKE such that the object is an instance of dough and the entityAKE is an instance of baking and the object is a resource for the entityAKE and the entity is a result of the entityAKE
No TPTP formula. May not be expressible in strict first order.	Food.kif 2748-2755	If an entity is an instance of pasta, then there exist an object and a process such that the object is an instance of dough and the process is an instance of cooking 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