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 迫击炮排subclass

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


(subEchelon WeaponsCompany MortarPlatoon) MilitaryPersons.kif 565-565 迫击炮排武器公司sub 梯队
(termFormat ChineseLanguage MortarPlatoon "迫击炮排") domainEnglishFormat.kif 38589-38589
(termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排") domainEnglishFormat.kif 38588-38588
(termFormat EnglishLanguage MortarPlatoon "mortar platoon") domainEnglishFormat.kif 38587-38587

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