|
|
   IronOre
|
|
|
| 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 31616-31616 | roomTempState 铁矿 and 固体 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | 铁矿 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5624-5624 | 铁矿 是 矿物 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1806-1806 | 铁矿 是 铁矿开采 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5622-5622 | 铁矿 的名 是 "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 |
|
|
|
