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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MortarPlatoon

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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