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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SemipreciousGemstone
SemipreciousGemstone(semiprecious gemstone)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6106-6108
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8698-8698
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9620-9620
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9621-9621
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9622-9622
No TPTP formula. May not be expressible in strict first order. Economy.kif 6104-6104 Semiprecious gemstone is a subclass of gemstone

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52047-52047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52046-52046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52045-52045


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