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 1414-1416 | |
(subclass Helping SocialInteraction) | MilitaryProcesses.kif 1413-1413 |
appearance as argument number 2 |
![]() |
(subclass ForeignInternalDefense Helping) | MilitaryProcesses.kif 1887-1887 | |
(subclass SupportCI Helping) | MilitaryProcesses.kif 1255-1255 | |
(subclass SupportDC Helping) | MilitaryProcesses.kif 1271-1271 | |
(subclass SupportEPW Helping) | MilitaryProcesses.kif 1240-1240 | |
(subclass SupportHNAssistance Helping) | MilitaryProcesses.kif 1286-1286 | |
(subclass SupportIO Helping) | MilitaryProcesses.kif 1333-1333 | |
(subclass UnconventionalWarfare Helping) | MilitaryProcesses.kif 132-132 | |
(termFormat ChineseLanguage Helping "帮助") | domainEnglishFormat.kif 27907-27907 | |
(termFormat ChineseTraditionalLanguage Helping "幫助") | domainEnglishFormat.kif 27906-27906 | |
(termFormat EnglishLanguage Helping "helping") | domainEnglishFormat.kif 27905-27905 |
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 1418-1430 |
consequent |
![]() |
(=> (and (instance ?PP PublicProgram) (experiencer ?PP ?PUBLIC)) (hasPurpose ?PP (exists (?HELPING) (and (instance ?HELPING Helping) (experiencer ?HELPING ?PUBLIC) (instance ?PUBLIC Public))))) |
MilitaryProcesses.kif 1382-1391 | |
(=> (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 1292-1302 | |
(=> (attribute ?X Concierge) (hasPurpose ?X (exists (?HELP) (and (instance ?HELP Helping) (agent ?HELP ?X))))) |
Hotel.kif 2362-2368 |
![]() |
![]() |