Gemstone - Sigma Knowledge base Browser

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 gemstone and solid
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6098-6098	Gemstone is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6099-6099	Precious gemstone is a subclass of gemstone
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6104-6104	Semiprecious gemstone is a subclass of gemstone
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