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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeavyMGPlatoon
HeavyMGPlatoon

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


(documentation HeavyMGPlatoon EnglishLanguage "A heavy machine gun platoon (utilizing the M2 Browning .50 Cal and Mk19 mod3 40 mm automatic grenade launcher) is part of a WeaponsCompany. (from Wikipedia)") MilitaryPersons.kif 613-615
(subclass HeavyMGPlatoon Platoon) MilitaryPersons.kif 611-611 HeavyMGPlatoonPlatoonsubclass では %n

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


(subEchelon WeaponsCompany HeavyMGPlatoon) MilitaryPersons.kif 566-566 subEchelon WeaponsCompany and HeavyMGPlatoon
(termFormat ChineseLanguage HeavyMGPlatoon "重MG排") domainEnglishFormat.kif 27834-27834
(termFormat ChineseTraditionalLanguage HeavyMGPlatoon "重MG排") domainEnglishFormat.kif 27833-27833
(termFormat EnglishLanguage HeavyMGPlatoon "heavy machine gun platoon") MilitaryPersons.kif 702-702
(termFormat EnglishLanguage HeavyMGPlatoon "heavyMG platoon") domainEnglishFormat.kif 27832-27832

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


(=>
    (instance ?MP HeavyMGPlatoon)
    (exists (?MG)
        (and
            (instance ?MG HeavyMachineGun)
            (possesses ?MP ?MG))))
MilitaryPersons.kif 619-624
(=>
    (instance ?MP HeavyMGPlatoon)
    (exists (?MG)
        (and
            (instance ?MG MK19)
            (possesses ?MP ?MG))))
MilitaryPersons.kif 628-633


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