Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Grain
Grain

appearance as argument number 1
-------------------------


(documentation Grain EnglishLanguage "Grain is the class of FoodFromPlant which are derived from Harvesting CerealGrain and Legumes.") Economy.kif 4150-4151
(subclass Grain FoodFromPlant) Economy.kif 4149-4149

appearance as argument number 2
-------------------------


(subclass CerealGrain Grain) Economy.kif 4027-4027
(subclass Malt Grain) Economy.kif 4161-4161
(termFormat EnglishLanguage Grain "grain") Economy.kif 4152-4152

antecedent
-------------------------


(=>
    (and
        (instance ?G Grain)
        (grainSize ?G ?L))
    (approximateDiameter ?G
        (MeasureFn ?L UnitOfLength)))
Food.kif 1083-1088

consequent
-------------------------


(=>
    (instance ?X
        (DeadFn CerealGrass))
    (instance ?X Grain))
Economy.kif 4031-4033


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