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 Grain è una sottoclasse di FoodFromPlant

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


(subclass CerealGrain Grain) Economy.kif 4027-4027 CerealGrain è una sottoclasse di Grain
(subclass Malt Grain) Economy.kif 4161-4161 Malt è una sottoclasse di Grain
(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