Thanking | ![]() |
appearance as argument number 1 |
![]() |
(documentation Thanking EnglishLanguage "Any ExpressingInLanguage of appreciation to a person for something that the person did in the past.") | Mid-level-ontology.kif 14476-14477 | |
(subclass Thanking ExpressingApproval) | Mid-level-ontology.kif 14475-14475 | Thanking est une sous-classe de ExpressingApproval |
(subclass Thanking ExpressingInLanguage) | Mid-level-ontology.kif 14474-14474 | Thanking est une sous-classe de ExpressingInLanguage |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Thanking "感谢") | domainEnglishFormat.kif 57802-57802 | |
(termFormat ChineseTraditionalLanguage Thanking "感謝") | domainEnglishFormat.kif 57801-57801 | |
(termFormat EnglishLanguage Thanking "thanking") | domainEnglishFormat.kif 57800-57800 |
antecedent |
![]() |
(=> (and (instance ?T Thanking) (destination ?T ?P)) (instance ?P Human)) |
Mid-level-ontology.kif 14491-14495 | |
(=> (and (instance ?THANK Thanking) (agent ?THANK ?AGENT) (patient ?THANK ?THING) (destination ?THANK ?PERSON)) (and (instance ?PERSON Human) (or (holdsDuring (WhenFn ?THANK) (wants ?AGENT ?THING)) (holdsDuring (WhenFn ?THANK) (desires ?AGENT ?THING))))) |
Mid-level-ontology.kif 14479-14489 |
|
![]() |
![]() |