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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mortar
Mortar(mortar)

appearance as argument number 1
-------------------------


(documentation Mortar EnglishLanguage "A mortar is a bomb that is shot at a location. A howitzer is a weapon that fires mortars. The mortar may not include the propelling charge that provides the motive force for delivering it to its target, which distinguishes it from a rocket. A mortar is distinguished from other bombs in that it is propelled rather than exploded in place, or dropped, or propelled by human power.") Mid-level-ontology.kif 21367-21372
(externalImage Mortar "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ tools/ weapons/ mortar_01.png") pictureList.kif 605-605
(subclass Mortar Weapon) Mid-level-ontology.kif 21366-21366 Mortar is a subclass of weapon

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


(termFormat ChineseLanguage Mortar "砂浆") domainEnglishFormat.kif 38556-38556
(termFormat ChineseTraditionalLanguage Mortar "砂漿") domainEnglishFormat.kif 38555-38555
(termFormat EnglishLanguage Mortar "mortar") domainEnglishFormat.kif 38554-38554

consequent
-------------------------


(=>
    (instance ?X MortarAttack)
    (exists (?MA)
        (and
            (instance ?MA Mortar)
            (instrument ?X ?MA))))
Mid-level-ontology.kif 21374-21379


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