| Thanking(thanking) | | appreciate, give_thanks, praise, thank, thank_you, thanks |
| appearance as argument number 1 |
|
|
| (subclass Thanking ExpressingInLanguage) | Mid-level-ontology.kif 14626-14626 | Thanking is a subclass of expressing in language |
| (subclass Thanking ExpressingApproval) | Mid-level-ontology.kif 14627-14627 | Thanking is a subclass of expressing approval |
| (documentation Thanking EnglishLanguage "Any ExpressingInLanguage of appreciation to a person for something that the person did in the past.") | Mid-level-ontology.kif 14628-14629 | Thanking is a subclass of expressing approval |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 14631-14641 | If X is an instance of thanking, Y is an agent of X, Z is a patient of X, and X ends up at W, then W is an instance of human and Y wants Z holds during the time of existence of X or Y desires Z holds during the time of existence of X |
| (=> (and (instance ?T Thanking) (destination ?T ?P)) (instance ?P Human)) |
Mid-level-ontology.kif 14643-14647 | If X is an instance of thanking and X ends up at Y, then Y is an instance of human |
|
|
|