Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SupportCI
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SupportCI PsychologicalOperation) | MilitaryProcesses.kif 1277-1277 | SupportCI is a subclass of psychological operation |
| (subclass SupportCI Helping) | MilitaryProcesses.kif 1278-1278 | SupportCI is a subclass of helping |
| (documentation SupportCI EnglishLanguage "PSYOP support can dispel rumors, create dialogue and pacify or indoctrinate EPWs, CIs, or DCs to minimize violence, facilitate efficient camp operations, and ensure safe and humane conditions persist.") | MilitaryProcesses.kif 1279-1282 | SupportCI is a subclass of helping |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SupportCI "supporting civilian internees") | MilitaryProcesses.kif 2999-2999 | |
| (termFormat EnglishLanguage SupportCI "supportCI") | domainEnglishFormat.kif 56216-56216 | |
| (termFormat ChineseTraditionalLanguage SupportCI "支持CI") | domainEnglishFormat.kif 56217-56217 | |
| (termFormat ChineseLanguage SupportCI "支持CI") | domainEnglishFormat.kif 56218-56218 |
| antecedent |
|
|
| (=> (and (instance ?S SupportCI) (patient ?S ?P)) (attribute ?P CivilianInternee)) |
MilitaryProcesses.kif 1286-1290 | If X is an instance of supportCI and Y is a patient of X, then civilian internee is an attribute of Y |
|