OtherTravelArrangementAndReservationServices
|
|
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 5625-5627 | |
(externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") | pictureList.kif 1488-1488 | |
(roomTempState IronOre Solid) | Mid-level-ontology.kif 31648-31648 | roomTempState IronOre and Solid |
(subclass IronOre CompoundSubstance) | Economy.kif 5621-5621 | IronOre è una sottoclasse di Composto |
(subclass IronOre Mineral) | Economy.kif 5624-5624 | IronOre è una sottoclasse di Minerale |
appearance as argument number 2 |
(industryProductType IronOreMining IronOre) | Economy.kif 1806-1806 | industryProductType IronOreMining and IronOre |
(names "iron ore" IronOre) | Economy.kif 5622-5622 | names "iron ore" and IronOre |
(termFormat ChineseLanguage IronOre "铁矿") | domainEnglishFormat.kif 31075-31075 | |
(termFormat ChineseTraditionalLanguage IronOre "鐵礦") | domainEnglishFormat.kif 31074-31074 | |
(termFormat EnglishLanguage IronOre "iron ore") | domainEnglishFormat.kif 31073-31073 |
antecedent |
(=> (instance ?ORE IronOre) (exists (?METAL) (and (instance ?METAL Iron) (component ?METAL ?ORE)))) |
Economy.kif 5637-5642 |
|
consequent |
(=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5629-5635 |