Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
IronOre(iron ore)
|  | chalybite, goethite, gothite, haematite, hematite, iron_ore, lepidocrocite, limonite, magnetic_iron-ore, magnetite, raddle, reddle, ruddle, siderite, taconite |
| appearance as argument number 1 |
|
|
| (subclass IronOre CompoundSubstance) | Economy.kif 5974-5974 | Iron ore is a subclass of compound substance |
| (roomTempState IronOre Solid) | Economy.kif 5975-5975 | room temperature state iron ore and solid |
| (subclass IronOre Mineral) | Economy.kif 5979-5979 | Iron ore is a subclass of mineral |
| (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 5980-5982 | Iron ore is a subclass of mineral |
| (subclass IronOre MiningArtifact) | Society.kif 1392-1392 | Iron ore is a subclass of MiningArtifact |
| (externalImage IronOre "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Hematite.jpg") | pictureList.kif 1488-1488 | Iron ore is a subclass of MiningArtifact |
| appearance as argument number 2 |
|
|
| (industryProductType IronOreMining IronOre) | Economy.kif 1926-1926 | Iron ore is an industry product type of iron ore mining |
| (names "iron ore" IronOre) | Economy.kif 5977-5977 | Iron ore has name "iron ore" |
| (termFormat EnglishLanguage IronOre "iron ore") | domainEnglishFormat.kif 31077-31077 | Iron ore has name "iron ore" |
| (termFormat ChineseTraditionalLanguage IronOre "鐵礦") | domainEnglishFormat.kif 31078-31078 | Iron ore has name "iron ore" |
| (termFormat ChineseLanguage IronOre "铁矿") | domainEnglishFormat.kif 31079-31079 | Iron ore has name "iron ore" |
| antecedent |
|
|
| (=> (instance ?ORE IronOre) (exists (?METAL) (and (instance ?METAL Iron) (component ?METAL ?ORE)))) |
Economy.kif 5992-5997 | If X is an instance of iron ore, then there exists Y such that Y is an instance of iron and Y is a component of X |
| consequent |
|
|
| (=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5984-5990 | If X is an instance of separating, Y is a resource for X, Z is a result of X, and Z is an instance of iron, then Y is an instance of iron ore |
| statement |
|
|
| (equal 4 (MohsScaleFn IronOre)) |
Economy.kif 5976-5976 | equal 4 and The Mohs Scale of iron ore is |
|