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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeavyMGPlatoon
HeavyMGPlatoon(heavyMG platoon)

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 HeavyMG platoon is a subclass of platoon

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


(subEchelon WeaponsCompany HeavyMGPlatoon) MilitaryPersons.kif 566-566 HeavyMG platoon is a sub echelon of weapons company
(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