Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
NickelOre(nickel ore)
|
| appearance as argument number 1 |
|
| (subclass NickelOre Mineral) | Economy.kif 6011-6011 | Nickel ore is a subclass of mineral |
| (roomTempState NickelOre Solid) | Economy.kif 6012-6012 | room temperature state nickel ore and solid |
| (externalImage NickelOre "http://upload.wikimedia.org/wikipedia/commons/ 9/ 96/ PentlanditeUSGOV.jpg") | pictureList.kif 8614-8614 | room temperature state nickel ore and solid |
| (externalImage NickelOre "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ GarneiriteUSGOV.jpg") | pictureList.kif 9468-9468 | room temperature state nickel ore and solid |
| appearance as argument number 2 |
|
|
| (industryProductType NickelOreMining NickelOre) | Economy.kif 1928-1928 | Nickel ore is an industry product type of nickel ore mining |
| (termFormat EnglishLanguage NickelOre "nickel ore") | domainEnglishFormat.kif 40495-40495 | Nickel ore is an industry product type of nickel ore mining |
| (termFormat ChineseTraditionalLanguage NickelOre "鎳礦石") | domainEnglishFormat.kif 40496-40496 | Nickel ore is an industry product type of nickel ore mining |
| (termFormat ChineseLanguage NickelOre "镍矿石") | domainEnglishFormat.kif 40497-40497 | Nickel ore is an industry product type of nickel ore mining |
| antecedent |
|
|
| (=> (instance ?ORE NickelOre) (exists (?METAL) (and (instance ?METAL Nickel) (component ?METAL ?ORE)))) |
Economy.kif 6014-6019 | If X is an instance of nickel ore, then there exists Y such that Y is an instance of nickel and Y is a component of X |
|