Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SupportDC
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SupportDC PsychologicalOperation) | MilitaryProcesses.kif 1293-1293 | SupportDC is a subclass of psychological operation |
| (subclass SupportDC Helping) | MilitaryProcesses.kif 1294-1294 | SupportDC is a subclass of helping |
| (documentation SupportDC 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 1295-1298 | SupportDC is a subclass of helping |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SupportDC "supporting dislocated civilians") | MilitaryProcesses.kif 3000-3000 | |
| (termFormat EnglishLanguage SupportDC "supportDC") | domainEnglishFormat.kif 56222-56222 | |
| (termFormat ChineseTraditionalLanguage SupportDC "supportDC") | domainEnglishFormat.kif 56223-56223 | |
| (termFormat ChineseLanguage SupportDC "supportDC") | domainEnglishFormat.kif 56224-56224 |
| antecedent |
|
|
| (=> (and (instance ?S SupportDC) (patient ?S ?P)) (attribute ?P DislocatedCivilian)) |
MilitaryProcesses.kif 1302-1306 | If X is an instance of supportDC and Y is a patient of X, then dislocated civilian is an attribute of Y |
|