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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeacekeepingUnit
PeacekeepingUnit(peacekeeping unit)peacekeeper

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


(documentation PeacekeepingUnit EnglishLanguage "A MilitaryUnit, the purpose of which is to prevent violent actions but providing deterrent to such actions through the threat of overwhelming retaliation.") Military.kif 85-87
(subclass PeacekeepingUnit MilitaryUnit) Military.kif 84-84 Peacekeeping unit is a subclass of military unit

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


(termFormat ChineseLanguage PeacekeepingUnit "维和部队") domainEnglishFormat.kif 44922-44922
(termFormat ChineseTraditionalLanguage PeacekeepingUnit "維和部隊") domainEnglishFormat.kif 44921-44921
(termFormat EnglishLanguage PeacekeepingUnit "peacekeeping unit") domainEnglishFormat.kif 44920-44920

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


(=>
    (instance ?PKU PeacekeepingUnit)
    (capability
        (KappaFn ?P
            (and
                (instance ?P Process)
                (instance ?V ViolentContest)
                (prevents ?P ?V))) agent ?PKU))
Military.kif 89-96


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