| 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 6737-6738 | |
| (externalImage Mine "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Iron_ore_mine-01_%28xndr%29.jpg") | pictureList.kif 4779-4779 | |
| (subclass Mine StationaryArtifact) | Mid-level-ontology.kif 6736-6736 | Mine is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Mine "矿") | domainEnglishFormat.kif 37857-37857 | |
| (termFormat ChineseTraditionalLanguage Mine "礦") | domainEnglishFormat.kif 37856-37856 | |
| (termFormat EnglishLanguage Mine "mine") | domainEnglishFormat.kif 37855-37855 |
| 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 6740-6748 |
|
|
|
|