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 44924-44924 | |
(termFormat ChineseTraditionalLanguage PeacekeepingUnit "維和部隊") | domainEnglishFormat.kif 44923-44923 | |
(termFormat EnglishLanguage PeacekeepingUnit "peacekeeping unit") | domainEnglishFormat.kif 44922-44922 |
antecedent |
(=> (instance ?PKU PeacekeepingUnit) (capability (KappaFn ?P (and (instance ?P Process) (instance ?V ViolentContest) (prevents ?P ?V))) agent ?PKU)) |
Military.kif 89-96 |