| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | IronOre e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5624-5624 | IronOre e' uma sub-classe de Mineral |
|
|