Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Congratulating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Congratulating ExpressingApproval) | Mid-level-ontology.kif 14600-14600 | Congratulating is a subclass of expressing approval |
| (documentation Congratulating EnglishLanguage "Any ExpressingApproval to a person for something that the person did in the past and that is regarded as being to the benefit of the person congratulated.") | Mid-level-ontology.kif 14601-14603 | Congratulating is a subclass of expressing approval |
| (externalImage Congratulating "http://upload.wikimedia.org/wikipedia/commons/ 6/ 62/ SMirC_congrats.svg") | pictureList.kif 2660-2660 | Congratulating is a subclass of expressing approval |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C Congratulating) (exists (?P ?A ?D) (and (destination ?C ?D) (agent ?P ?D) (agent ?C ?A) (wants ?A ?P) (refers ?C ?P)))) |
Mid-level-ontology.kif 14605-14613 | If X is an instance of congratulating, then there exist Y, Z, W such that X ends up at W, W is an agent of Y, Z is an agent of X, Z wants Y, and X includes a reference to Y |
|
