Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Thanking ExpressingInLanguage) | Mid-level-ontology.kif 14699-14699 | Thanking is a subclass of expressing in language |
| (subclass Thanking ExpressingApproval) | Mid-level-ontology.kif 14700-14700 | 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 14701-14702 | 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) (holdsDuring (WhenFn ?THANK) (wants ?AGENT ?THING)))) |
Mid-level-ontology.kif 14704-14714 | 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 |
| (=> (and (instance ?T Thanking) (destination ?T ?P)) (instance ?P Human)) |
Mid-level-ontology.kif 14716-14720 | If X is an instance of thanking and X ends up at Y, then Y is an instance of human |
|