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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeacekeepingUnit

Sigma KEE - PeacekeepingUnit
PeacekeepingUnit

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

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 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