Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExplosiveMine
ExplosiveMine(explosive mine)
booby_trap, explosive_mine, 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 15510-15512
(externalImage ExplosiveMine "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f7/ Mines_501556_fh000026.jpg/ 200px-Mines_501556_fh000026.jpg") pictureList.kif 1106-1106 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f7/ Mines_501556_fh000026.jpg/ 200px-Mines_501556_fh000026.jpg" is a URL depicting explosive mine
(subclass ExplosiveMine ExplosiveDevice) Mid-level-ontology.kif 15508-15508 Explosive mine is a subclass of explosive device
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 15509-15509 Explosive mine is a subclass of weapon

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ExplosiveMine "爆炸性的矿井") domainEnglishFormat.kif 22789-22789 "爆炸性的矿井" is the printable form of explosive mine in ChineseLanguage
(termFormat ChineseTraditionalLanguage ExplosiveMine "爆炸性的礦井") domainEnglishFormat.kif 22788-22788 "爆炸性的礦井" is the printable form of explosive mine in ChineseTraditionalLanguage
(termFormat EnglishLanguage ExplosiveMine "explosive mine") domainEnglishFormat.kif 22787-22787 "explosive mine" is the printable form of explosive mine in english language

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners