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

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

appearance as argument number 2

(industryProductType CerealGrainFarming CerealGrain)	Economy.kif 6156-6156	Cereal grain is an industry product type of cereal grain farming
(subclass BarleyGrain CerealGrain)	Economy.kif 4126-4126	Barley grain is a subclass of cereal grain
(subclass MaizeGrain CerealGrain)	Economy.kif 4043-4043	Maize grain is a subclass of cereal grain
(subclass MilletGrain CerealGrain)	Economy.kif 4142-4142	Millet grain is a subclass of cereal grain
(subclass OatGrain CerealGrain)	Economy.kif 4121-4121	Oat grain is a subclass of cereal grain
(subclass RiceGrain CerealGrain)	Economy.kif 4047-4047	Rice grain is a subclass of cereal grain
(subclass RyeGrain CerealGrain)	Economy.kif 4132-4132	Rye grain is a subclass of cereal grain
(subclass SorghumGrain CerealGrain)	Economy.kif 4137-4137	Sorghum grain is a subclass of cereal grain
(subclass WheatGrain CerealGrain)	Economy.kif 4051-4051	Wheat grain is a subclass of cereal grain
(termFormat ChineseLanguage CerealGrain "谷物")	domainEnglishFormat.kif 13938-13938
(termFormat ChineseTraditionalLanguage CerealGrain "穀物")	domainEnglishFormat.kif 13937-13937
(termFormat EnglishLanguage CerealGrain "cereal grain")	domainEnglishFormat.kif 13936-13936

antecedent

(=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass))	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
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	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

(=> (instance ?F Flour) (exists (?P ?C) (and (instance ?P Grinding) (patient ?P ?C) (instance ?C CerealGrain) (result ?P ?F))))	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
(=> (instance ?V Vodka) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?V))))	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
(=> (instance ?W Whiskey) (exists (?D ?CG) (and (instance ?D Distilling) (instance ?CG CerealGrain) (resource ?D ?CG) (result ?D ?W))))	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