| ExplosiveMine(explosive mine)
| | booby_trap, floating_mine, ground-emplaced_mine, land_mine, marine_mine, mine |
| 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 | Explosive mine is a subclass of explosive device |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 18115-18115 | Explosive mine is a subclass of weapon |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExplosiveMine "爆炸性的矿井") | domainEnglishFormat.kif 22878-22878 | |
| (termFormat ChineseTraditionalLanguage ExplosiveMine "爆炸性的礦井") | domainEnglishFormat.kif 22877-22877 | |
| (termFormat EnglishLanguage ExplosiveMine "explosive mine") | domainEnglishFormat.kif 22876-22876 |
| 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 |
|
|
|
|