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