CerealGrain - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CerealGrain

CerealGrain(cereal grain)

buckwheat, bulghur, bulgur, bulgur_wheat, cereal, feed_grain, food_grain, grain, grist, groats, kernel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4028-4029
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 890-890
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4027-4027	Cereal grain is a subclass of grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4026-4026	Cereal grain is a subclass of seed

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6156-6156	Cereal grain is an industry product type of cereal grain farming
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4126-4126	Barley grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4043-4043	Maize grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4142-4142	Millet grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4121-4121	Oat grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4047-4047	Rice grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4132-4132	Rye grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4137-4137	Sorghum grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4051-4051	Wheat grain is a subclass of cereal grain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13938-13938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13937-13937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13936-13936

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4166-4172	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of malt and another kind of object is a subclass of cereal grain, then every the other kind of object is initially part of a cereal grass plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4040	If an entity is an instance of a dead cereal grain, then there exists a kind of self connected object such that the entity is an instance of a kind of self connected object and the kind of self connected object is equal to food for animal

consequent

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
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