TreeView Knowledge Base Browser - Gemstone

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Gemstone

Gemstone(宝石)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6112-6113
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10028-10028
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 118-118
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11060-11060
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11061-11061
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11062-11062
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31603-31603	roomTempState 宝石 and 固体
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6098-6098	宝石是混合物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6099-6099	珍贵的宝石是宝石的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6104-6104	半宝石是宝石的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25638-25638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25637-25637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25636-25636

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