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

Formal Language: 

KB Term:  Term intersection
English Word: 

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


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


    (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