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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nutmeg
Nutmeg(nutmeg)
more pictures...		nutmeg

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6739-6739
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7460-7460
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7461-7461
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7462-7462
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7463-7463
No TPTP formula. May not be expressible in strict first order. Economy.kif 4457-4457 Nutmeg is a subclass of spice

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41482-41482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41481-41481
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41480-41480


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