Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SupportHNAssistance
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SupportHNAssistance PsychologicalOperation) | MilitaryProcesses.kif 1308-1308 | Support to HN assistance is a subclass of psychological operation |
| (subclass SupportHNAssistance Helping) | MilitaryProcesses.kif 1309-1309 | Support to HN assistance is a subclass of helping |
| (documentation SupportHNAssistance EnglishLanguage "Providing Support to HN Assistance Operations. During CMO, PSYOP personnel may work with CA or conventional units to promote civic action projects either by or in support of the host government.") | MilitaryProcesses.kif 1310-1313 | Support to HN assistance is a subclass of helping |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SupportHNAssistance "supporting host nation assistance") | MilitaryProcesses.kif 3001-3001 | |
| (termFormat EnglishLanguage SupportHNAssistance "support to HN assistance") | domainEnglishFormat.kif 56234-56234 | |
| (termFormat ChineseTraditionalLanguage SupportHNAssistance "支持HW 協助") | domainEnglishFormat.kif 56235-56235 | |
| (termFormat ChineseLanguage SupportHNAssistance "支持HW 协助") | domainEnglishFormat.kif 56236-56236 |
| antecedent |
|
|
| (=> (and (instance ?SHN SupportHNAssistance) (experiencer ?SHN ?HN) (instance ?HN HostNation)) (exists (?OP) (and (instance ?OP MilitaryOperation) (instance ?OP Helping) (experiencer ?OP ?HN) (patient ?SHN ?OP)))) |
MilitaryProcesses.kif 1315-1325 | If X is an instance of support to HN assistance, Y experiences X, and Y is an instance of host nation, then there exists Z such that Z is an instance of military operation, Z is an instance of helping, Y experiences Z, and Z is a patient of X |
|