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

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

appearance as argument number 1

(documentation CerealGrain EnglishLanguage "Any Seed which is produced by the cereal grasses, e.g. rice, corn, wheat, etc.")	Economy.kif 4360-4361
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg")	pictureList.kif 890-890
(subclass CerealGrain Grain)	Economy.kif 4359-4359	CerealGrain is a subclass of Grain
(subclass CerealGrain Seed)	Economy.kif 4358-4358	CerealGrain is a subclass of Seed

appearance as argument number 2

(industryProductType CerealGrainFarming CerealGrain)	Economy.kif 6549-6549	industryProductType CerealGrainFarming and CerealGrain
(subclass BarleyGrain CerealGrain)	Economy.kif 4458-4458	BarleyGrain is a subclass of CerealGrain
(subclass MaizeGrain CerealGrain)	Economy.kif 4375-4375	MaizeGrain is a subclass of CerealGrain
(subclass MilletGrain CerealGrain)	Economy.kif 4474-4474	MilletGrain is a subclass of CerealGrain
(subclass OatGrain CerealGrain)	Economy.kif 4453-4453	OatGrain is a subclass of CerealGrain
(subclass RiceGrain CerealGrain)	Economy.kif 4379-4379	RiceGrain is a subclass of CerealGrain
(subclass RyeGrain CerealGrain)	Economy.kif 4464-4464	RyeGrain is a subclass of CerealGrain
(subclass SorghumGrain CerealGrain)	Economy.kif 4469-4469	SorghumGrain is a subclass of CerealGrain
(subclass WheatGrain CerealGrain)	Economy.kif 4383-4383	WheatGrain is a subclass of CerealGrain
(termFormat ChineseLanguage CerealGrain "谷物")	domainEnglishFormat.kif 13946-13946	WheatGrain is a subclass of CerealGrain
(termFormat ChineseTraditionalLanguage CerealGrain "穀物")	domainEnglishFormat.kif 13945-13945	WheatGrain is a subclass of CerealGrain
(termFormat EnglishLanguage CerealGrain "cereal grain")	domainEnglishFormat.kif 13944-13944	WheatGrain is a subclass of CerealGrain

antecedent

(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	Economy.kif 4498-4504	If equal an object and OrganicObjectFn another kind of object and the object is a subclass of Malt and another kind of object is a subclass of CerealGrain, then initialPart the other kind of object and CerealGrass
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4367-4372	If an entity is an instance of DeadFn CerealGrain, then there exists a kind of self connected object such that the entity is an instance of a kind of self connected object and equal the kind of self connected object and FoodForFn animal

consequent

(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F))))	Food.kif 1482-1489	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 CerealGrain and the entity is a result of the process
(=> (instance ?V Vodka) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?V))))	Food.kif 3604-3611	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 CerealGrain and the object is a resource for the process and the entity is a result of the process
(=> (instance ?W Whiskey) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W))))	Food.kif 3617-3624	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 CerealGrain 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