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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TeaTreeOil
TeaTreeOil(tea tree oil)

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


(documentation TeaTreeOil EnglishLanguage "TeaTreeOil are oils extracted from TeaTree.") Economy.kif 4756-4757
(initialPart TeaTreeOil TeaTree) Economy.kif 4759-4759 Every tea tree oil is initially part of a tea tree
(subclass TeaTreeOil OilFromPlant) Economy.kif 4755-4755 Tea tree oil is a subclass of oil from plant

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


(termFormat EnglishLanguage TeaTreeOil "tea tree oil") Economy.kif 4758-4758


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