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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftHumerus

Sigma KEE - PineNut
PineNut

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


(documentation PineNut EnglishLanguage "PineNuts are edible seeds of Pinetrees. Although they are technically Seeds, FDA classifies them as a type of tree nut.") Economy.kif 4478-4479
(initialPart PineNut PineTree) Economy.kif 4480-4480
(subclass PineNut EdibleNut) Economy.kif 4476-4476

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


(termFormat EnglishLanguage PineNut "pine nut") Economy.kif 4477-4477


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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