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 13172-13173 | |
(subclass Thanking ExpressingApproval) | Mid-level-ontology.kif 13171-13171 | |
(subclass Thanking ExpressingInLanguage) | Mid-level-ontology.kif 13170-13170 |
appearance as argument number 2 |
(termFormat ChineseLanguage Thanking "感谢") | domainEnglishFormat.kif 57796-57796 | |
(termFormat ChineseTraditionalLanguage Thanking "感謝") | domainEnglishFormat.kif 57795-57795 | |
(termFormat EnglishLanguage Thanking "thanking") | domainEnglishFormat.kif 57794-57794 |
antecedent |
(=> (and (instance ?T Thanking) (destination ?T ?P)) (instance ?P Human)) |
Mid-level-ontology.kif 13187-13191 | |
(=> (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 13175-13185 |