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