| Mineral | |
| appearance as argument number 1 |
|
|
| (documentation Mineral ChineseLanguage "这是各种天然存在、性质一致的物质(如石頭、煤、盐、硫磺，沙、 石油)，或具着和天然矿物一样的化学成分、结晶形态和性质的合成物质。") | chinese_format.kif 3364-3365 | |
| (documentation Mineral EnglishLanguage "Any of various naturally occurring homogeneous substances (such as stone, coal, salt, sulfur, sand, petroleum), or synthetic substances having the chemical composition and crystalline form and properties of a naturally occurring mineral.") | Merge.kif 14451-14454 | |
| (roomTempState Mineral Solid) | Mid-level-ontology.kif 33328-33328 | |
| (subclass Mineral Substance) | Merge.kif 14449-14449 |
| appearance as argument number 2 |
|
|
| (subclass Asbestos Mineral) | Geography.kif 2584-2584 | |
| (subclass Barite Mineral) | Geography.kif 1985-1985 | |
| (subclass Chromite Mineral) | Geography.kif 2002-2002 | |
| (subclass Coal Mineral) | Geography.kif 2005-2005 | |
| (subclass CopperOre Mineral) | Economy.kif 5987-5987 | |
| (subclass Diamond Mineral) | Mid-level-ontology.kif 9989-9989 | |
| (subclass IronOre Mineral) | Economy.kif 5966-5966 | |
| (subclass LeadOre Mineral) | Economy.kif 6007-6007 | |
| (subclass NickelOre Mineral) | Economy.kif 5997-5997 | |
| (subclass Talc Mineral) | Geography.kif 2044-2044 | |
| (subclass ZincOre Mineral) | Economy.kif 6017-6017 | |
| (termFormat ChineseLanguage Mineral "矿物") | chinese_format.kif 962-962 | |
| (termFormat EnglishLanguage Mineral "mineral") | english_format.kif 1131-1131 | |
| (termFormat FrenchLanguage Mineral "mineral") | french_format.kif 639-639 | |
| (termFormat Hindi Mineral "khanija") | terms-hindi.txt 170-170 | |
| (termFormat ItalianLanguage Mineral "Minerale") | terms-it.txt 173-173 | |
| (termFormat JapaneseLanguage Mineral "ミネラル") | japanese_format.kif 2323-2323 | |
| (termFormat PortugueseLanguage Mineral "Mineral") | portuguese_format.kif 591-591 | |
| (termFormat cz Mineral "mineral") | terms-cz.txt 207-207 | |
| (termFormat de Mineral "Mineral") | terms-de.txt 466-466 | |
| (termFormat ro Mineral "mineral") | relations-ro.kif 660-660 | |
| (termFormat tg Mineral "mineral") | terms-tg.txt 174-174 |
| consequent |
|
|
| (=> (instance ?CONCRETE Concrete) (exists (?PART) (and (instance ?PART Mineral) (component ?PART ?CONCRETE)))) |
Economy.kif 6301-6306 | |
| (=> (instance ?MINE Mine) (hasPurpose ?MINE (exists (?REMOVE ?MINERAL) (and (instance ?REMOVE Removing) (patient ?REMOVE ?MINERAL) (instance ?MINERAL Mineral) (origin ?REMOVE ?MINE))))) |
Mid-level-ontology.kif 7702-7710 | |
| (=> (instance ?Rock Rock) (exists (?Mineral) (and (instance ?Mineral Mineral) (part ?Mineral ?Rock)))) |
Mid-level-ontology.kif 19502-19507 | |
| (=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Mineral)) |
Transportation.kif 2588-2590 | |
| (=> (instance ?Soil Soil) (exists (?Humus ?Mineral) (and (instance ?Humus Humus) (instance ?Mineral Mineral) (part ?Humus ?Soil) (part ?Mineral ?Soil)))) |
Mid-level-ontology.kif 19513-19520 |
|
|
|