TreeView Knowledge Base Browser - Flour

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Flour

Flour(flour)

flour, graham, graham_flour, plain_flour, semolina, wheat_flour, whole_meal_flour, whole_wheat_flour

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1472-1474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 438-438
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31410-31410	roomTempState flour and solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 1470-1470	Flour is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 1471-1471	Flour is a subclass of powder
No TPTP formula. May not be expressible in strict first order.	Food.kif 1469-1469	Flour is a subclass of prepared food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 1543-1543	Corn flour is a subclass of flour
No TPTP formula. May not be expressible in strict first order.	Food.kif 1537-1537	Rice flour is a subclass of flour
No TPTP formula. May not be expressible in strict first order.	Food.kif 1532-1532	Rye flour is a subclass of flour
No TPTP formula. May not be expressible in strict first order.	Food.kif 1549-1549	Tapioca starch is a subclass of flour
No TPTP formula. May not be expressible in strict first order.	Food.kif 1489-1489	Wheat flour is a subclass of flour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24296-24296
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24295-24295
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24294-24294

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1485-1487	If an object is an instance of flour, then raw food is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1476-1483	If an entity is an instance of flour, then there exist a process and another entity such that the process is an instance of grinding and the other entity is a patient of the process and the other entity is an instance of cereal grain and the entity is a result of the process

consequent

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

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