Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| interestedIn |
| appearance as argument number 1 |
|
| (instance interestedIn BinaryPredicate) | emotion.kif 720-720 | interested in is an instance of binary predicate |
| (subrelation interestedIn inScopeOfInterest) | emotion.kif 721-721 | interested in is a subrelation of in scope of interest |
| (documentation interestedIn EnglishLanguage "(interestedIn ?A ?O) means that the CongitiveAgent ?A is interested in the Object ?O. This is different from enjoys in which the second argument is a Process. Both enjoys and interestedIn entail a positive sentiment.") | emotion.kif 722-725 | interested in is a subrelation of in scope of interest |
| (domain interestedIn 1 CognitiveAgent) | emotion.kif 728-728 | The number 1 argument of interested in is an instance of cognitive agent |
| (domain interestedIn 2 Object) | emotion.kif 729-729 | The number 2 argument of interested in is an instance of object |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage interestedIn "interested in") | emotion.kif 726-726 | |
| (format EnglishLanguage interestedIn "%1 is interestedIn %2") | emotion.kif 727-727 |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?A Interested)) (holdsDuring ?T (exists (?O) (interestedIn ?A ?O)))) |
emotion.kif 731-736 | If interest is an attribute of X holds during Y, then there exists Z such that X is interestedIn Z holds during Y |
|