No TPTP formula. May not be expressible in strict first order. | Economy.kif 6098-6098 | 宝石 是 混合物 的 subclass |
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 |