IronOre(iron ore) | chalybite, goethite, gothite, haematite, hematite, iron_ore, lepidocrocite, limonite, magnetic_iron-ore, magnetite, raddle, reddle, ruddle, siderite, taconite |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5625-5627 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1488-1488 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31612-31612 | roomTempState iron ore and solid |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1806-1806 | Iron ore is an industry product type of iron ore mining |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5622-5622 | Iron ore has name "iron ore" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31075-31075 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31074-31074 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31073-31073 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5637-5642 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5629-5635 |
|