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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacademiaNut

 Sigma KEE - MacademiaNut
MacademiaNut(macademia nut)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1442-1442
No TPTP formula. May not be expressible in strict first order. Economy.kif 4482-4482 Macademia nut is a subclass of edible nut

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35447-35447
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35446-35446
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35445-35445


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