|
|
   ExplosiveMine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ExplosiveMine EnglishLanguage "An ExplosiveDevice which is designed to explode when there is movement over it, e.g. by a person on foot, by a RoadVehicle, etc.") | Mid-level-ontology.kif 17270-17272 | |
| (externalImage ExplosiveMine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f7/ Mines_501556_fh000026.jpg/ 200px-Mines_501556_fh000026.jpg") | pictureList.kif 1106-1106 | |
| (subclass ExplosiveMine ExplosiveDevice) | Mid-level-ontology.kif 17268-17268 | |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 17269-17269 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExplosiveMine "爆炸性的矿井") | domainEnglishFormat.kif 22851-22851 | |
| (termFormat ChineseTraditionalLanguage ExplosiveMine "爆炸性的礦井") | domainEnglishFormat.kif 22850-22850 | |
| (termFormat EnglishLanguage ExplosiveMine "explosive mine") | domainEnglishFormat.kif 22849-22849 |
| consequent |
|
|
| (=> (instance ?AB InfantryUnit) (exists (?AC) (and (or (instance ?AC AutomaticGun) (instance ?AC Firearm) (instance ?AC MortarGun) (instance ?AC ExplosiveMine)) (possesses ?AB ?AC)))) |
Military.kif 676-685 |
|
|
|
