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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreciousGemstone

 Sigma KEE - PreciousGemstone
PreciousGemstone(precious gemstone)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6101-6102
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11667-11667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11665-11665
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10202-10202
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11664-11664
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11663-11663
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11666-11666
No TPTP formula. May not be expressible in strict first order. Economy.kif 6099-6099 Precious gemstone is a subclass of gemstone

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47102-47102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47101-47101
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47100-47100


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