| 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 18116-18118 | |
| (externalImage ExplosiveMine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f7/ Mines_501556_fh000026.jpg/ 200px-Mines_501556_fh000026.jpg") | pictureList.kif 1105-1105 | |
| (subclass ExplosiveMine ExplosiveDevice) | Mid-level-ontology.kif 18114-18114 | |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 18115-18115 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExplosiveMine "爆炸性的矿井") | domainEnglishFormat.kif 22873-22873 | |
| (termFormat ChineseTraditionalLanguage ExplosiveMine "爆炸性的礦井") | domainEnglishFormat.kif 22872-22872 | |
| (termFormat EnglishLanguage ExplosiveMine "explosive mine") | domainEnglishFormat.kif 22871-22871 |
| 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 |
|
|
|