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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DurumWheatGrain
DurumWheatGrain

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


(documentation DurumWheatGrain EnglishLanguage "DurumWheatGrain is the seed (T.durum). [wikipedia]") Economy.kif 4072-4073
(subclass DurumWheatGrain WheatGrain) Economy.kif 4071-4071

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


(initialPart DurumWheatFlour DurumWheatGrain) Food.kif 1517-1517
(initialPart SemolinaFlour DurumWheatGrain) Food.kif 1523-1523
(termFormat EnglishLanguage DurumWheatGrain "durum wheat grain") Economy.kif 4074-4074

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


(=>
    (equal ?X
        (PlantFn DurumWheatGrain))
    (subclass ?X DurumWheatGrass))
Economy.kif 4076-4079


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