| Helping(帮助) | |
| appearance as argument number 1 |
|
|
| (documentation Helping EnglishLanguage "From WordNet: give help or assistance, be of service. Examples: Everyone helped out during the earthquake. Can you help me carry this table? She never helps around the house.") | MilitaryProcesses.kif 1415-1417 | |
| (subclass Helping SocialInteraction) | MilitaryProcesses.kif 1414-1414 | 帮助 是 社交 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass ForeignInternalDefense Helping) | MilitaryProcesses.kif 1906-1906 | 外国内部防御 是 帮助 的 subclass |
| (subclass SupportCI Helping) | MilitaryProcesses.kif 1256-1256 | 支持CI 是 帮助 的 subclass |
| (subclass SupportDC Helping) | MilitaryProcesses.kif 1272-1272 | SupportDC 是 帮助 的 subclass |
| (subclass SupportEPW Helping) | MilitaryProcesses.kif 1241-1241 | SupportEPW 是 帮助 的 subclass |
| (subclass SupportHNAssistance Helping) | MilitaryProcesses.kif 1287-1287 | 支持HW 协助 是 帮助 的 subclass |
| (subclass SupportIO Helping) | MilitaryProcesses.kif 1334-1334 | 支持IO 是 帮助 的 subclass |
| (subclass UnconventionalWarfare Helping) | MilitaryProcesses.kif 132-132 | 非常规战争 是 帮助 的 subclass |
| (termFormat ChineseLanguage Helping "帮助") | domainEnglishFormat.kif 27909-27909 | |
| (termFormat ChineseTraditionalLanguage Helping "幫助") | domainEnglishFormat.kif 27908-27908 | |
| (termFormat EnglishLanguage Helping "helping") | domainEnglishFormat.kif 27907-27907 |
| antecedent |
|
|
| (=> (and (instance ?HELPING Helping) (agent ?HELPING ?AGENT) (result ?HELPING ?RESULT)) (exists (?PATIENT) (and (not (equal ?AGENT ?PATIENT)) (or (patient ?HELPING ?PATIENT) (experiencer ?HELPING ?PATIENT)) (wants ?PATIENT ?RESULT)))) |
MilitaryProcesses.kif 1419-1431 |
| consequent |
|
|
| (=> (and (instance ?PP PublicProgram) (experiencer ?PP ?PUBLIC)) (hasPurpose ?PP (exists (?HELPING) (and (instance ?HELPING Helping) (experiencer ?HELPING ?PUBLIC) (instance ?PUBLIC Public))))) |
MilitaryProcesses.kif 1383-1392 | |
| (=> (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 1293-1303 | |
| (=> (attribute ?X Concierge) (hasPurpose ?X (exists (?HELP) (and (instance ?HELP Helping) (agent ?HELP ?X))))) |
Hotel.kif 2415-2421 |
|
|
|