| NickelOre(nickel ore)
|
| appearance as argument number 1 |
|
| (externalImage NickelOre "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ PentlanditeUSGOV.jpg") | pictureList.kif 8615-8615 | |
| (externalImage NickelOre "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ GarneiriteUSGOV.jpg") | pictureList.kif 9469-9469 | |
| (roomTempState NickelOre Solid) | Mid-level-ontology.kif 31628-31628 | roomTempState nickel ore and solid |
| (subclass NickelOre Mineral) | Economy.kif 5655-5655 | Nickel ore is a subclass of mineral |
| appearance as argument number 2 |
|
|
| (industryProductType NickelOreMining NickelOre) | Economy.kif 1808-1808 | Nickel ore is an industry product type of nickel ore mining |
| (termFormat ChineseLanguage NickelOre "镍矿石") | domainEnglishFormat.kif 40491-40491 | |
| (termFormat ChineseTraditionalLanguage NickelOre "鎳礦石") | domainEnglishFormat.kif 40490-40490 | |
| (termFormat EnglishLanguage NickelOre "nickel ore") | domainEnglishFormat.kif 40489-40489 |
| antecedent |
|
|
| (=> (instance ?ORE NickelOre) (exists (?METAL) (and (instance ?METAL Nickel) (component ?METAL ?ORE)))) |
Economy.kif 5657-5662 |
|
|
|
|