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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6099-6099	子類珍貴的寶石 and 寶石
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6104-6104	子類半寶石 and 寶石
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