| Mine(mine)
| | mine |
| appearance as argument number 1 |
|
|
| (documentation Mine EnglishLanguage "An construction in the earth from which Minerals are removed, either in pure form or as part of ores.") | Mid-level-ontology.kif 7699-7700 | |
| (externalImage Mine "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Iron_ore_mine-01_%28xndr%29.jpg") | pictureList.kif 4778-4778 | |
| (subclass Mine StationaryArtifact) | Mid-level-ontology.kif 7698-7698 | Mine is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mine "矿") | domainEnglishFormat.kif 37849-37849 | |
| (termFormat ChineseTraditionalLanguage Mine "礦") | domainEnglishFormat.kif 37848-37848 | |
| (termFormat EnglishLanguage Mine "mine") | domainEnglishFormat.kif 37847-37847 |
| antecedent |
|
|
| (=> (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 |
|
|
|
|