No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | Iron ore is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5624-5624 | Iron ore is a subclass of mineral |