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 | Helping e' uma sub-classe de Interacao Social |
appearance as argument number 2 |
(subclass ForeignInternalDefense Helping) | MilitaryProcesses.kif 1906-1906 | ForeignInternalDefense e' uma sub-classe de Helping |
(subclass SupportCI Helping) | MilitaryProcesses.kif 1256-1256 | SupportCI e' uma sub-classe de Helping |
(subclass SupportDC Helping) | MilitaryProcesses.kif 1272-1272 | SupportDC e' uma sub-classe de Helping |
(subclass SupportEPW Helping) | MilitaryProcesses.kif 1241-1241 | SupportEPW e' uma sub-classe de Helping |
(subclass SupportHNAssistance Helping) | MilitaryProcesses.kif 1287-1287 | SupportHNAssistance e' uma sub-classe de Helping |
(subclass SupportIO Helping) | MilitaryProcesses.kif 1334-1334 | SupportIO e' uma sub-classe de Helping |
(subclass UnconventionalWarfare Helping) | MilitaryProcesses.kif 132-132 | UnconventionalWarfare e' uma sub-classe de Helping |
(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 |