No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | IronOre est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5624-5624 | IronOre est une sous-classe de mineral |