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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 17857-17859
(externalImage ExplosiveMine " thumb/ f/ f7/ Mines_501556_fh000026.jpg/ 200px-Mines_501556_fh000026.jpg") pictureList.kif 1105-1105
(subclass ExplosiveMine ExplosiveDevice) Mid-level-ontology.kif 17855-17855
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 17856-17856

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


    (instance ?AB InfantryUnit)
    (exists (?AC)
                (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 3.0 is open source software produced by Articulate Software and its partners