| IronOre(铁矿)
| |
| appearance as argument number 1 |
|
|
| (documentation IronOre EnglishLanguage "IronOre is a subclass of CompoundSubstance that contains compounds of iron, of which the most common are hematite and limonite. Iron is obtained from smelting iron ores.") | Economy.kif 4668-4670 | |
| (externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") | pictureList.kif 1489-1489 | |
| (subclass IronOre CompoundSubstance) | Economy.kif 4664-4664 | 铁矿 是 复合物质 的 subclass |
| (subclass IronOre Mineral) | Economy.kif 4667-4667 | 铁矿 是 矿物 的 subclass |
| appearance as argument number 2 |
|
|
| (industryProductType IronOreMining IronOre) | Economy.kif 1817-1817 | 铁矿 是 铁矿开采 的 industry 产品类别 |
| (names "iron ore" IronOre) | Economy.kif 4665-4665 | 铁矿 的名 是 "iron ore" |
| (termFormat ChineseLanguage IronOre "铁矿") | domainEnglishFormat.kif 31062-31062 | |
| (termFormat ChineseTraditionalLanguage IronOre "鐵礦") | domainEnglishFormat.kif 31061-31061 | |
| (termFormat EnglishLanguage IronOre "iron ore") | domainEnglishFormat.kif 31060-31060 |
| antecedent |
|
|
| (=> (instance ?ORE IronOre) (exists (?METAL) (and (instance ?METAL Iron) (component ?METAL ?ORE)))) |
Economy.kif 4680-4685 |
|
| consequent |
|
|
| (=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 4672-4678 |
|
|
|