| 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 18947-18949 | |
| (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 18945-18945 | Explosive mine is a subclass of explosive device |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 18946-18946 | Explosive mine is a subclass of weapon |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExplosiveMine "爆炸性的矿井") | domainEnglishFormat.kif 22872-22872 | |
| (termFormat ChineseTraditionalLanguage ExplosiveMine "爆炸性的礦井") | domainEnglishFormat.kif 22871-22871 | |
| (termFormat EnglishLanguage ExplosiveMine "explosive mine") | domainEnglishFormat.kif 22870-22870 |
| 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 743-752 |
|
|
|
|