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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SemipreciousGemstone

 Sigma KEE - SemipreciousGemstone
SemipreciousGemstone(半寶石)

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 子類 半寶石 and 寶石

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 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