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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MortarPlatoon
MortarPlatoon

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


(documentation MortarPlatoon EnglishLanguage "A platoon carrying mortars.") MilitaryPersons.kif 554-554
(subclass MortarPlatoon Platoon) MilitaryPersons.kif 552-552 MortarPlatoon e' uma sub-classe de Platoon

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


(subEchelon WeaponsCompany MortarPlatoon) MilitaryPersons.kif 565-565 subEchelon WeaponsCompany and MortarPlatoon
(termFormat ChineseLanguage MortarPlatoon "迫击炮排") domainEnglishFormat.kif 38591-38591
(termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排") domainEnglishFormat.kif 38590-38590
(termFormat EnglishLanguage MortarPlatoon "mortar platoon") domainEnglishFormat.kif 38589-38589

antecedent
-------------------------


(=>
    (instance ?MP MortarPlatoon)
    (exists (?MG)
        (and
            (instance ?MG MortarGun)
            (possesses ?MP ?MG))))
MilitaryPersons.kif 556-561


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