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 17885-17887 | |
(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 17883-17883 | ExplosiveMine è una sottoclasse di ExplosiveDevice |
(subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 17884-17884 | ExplosiveMine è una sottoclasse di Arma |
appearance as argument number 2 |
(termFormat ChineseLanguage ExplosiveMine "爆炸性的矿井") | domainEnglishFormat.kif 22858-22858 | |
(termFormat ChineseTraditionalLanguage ExplosiveMine "爆炸性的礦井") | domainEnglishFormat.kif 22857-22857 | |
(termFormat EnglishLanguage ExplosiveMine "explosive mine") | domainEnglishFormat.kif 22856-22856 |
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 |
|