Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Interested(interest) |
| appearance as argument number 1 |
|
| (documentation Interested EnglishLanguage "Interesed is a feeling or emotion that causes attention to focus on an object, event, or process.The emotion of interest does have its own facial expression, of which the most prominent component is having dilated pupils.[Wikipedia]") | emotion.kif 695-698 | |
| (instance Interested EmotionalState) | emotion.kif 703-703 | Interest is an instance of emotional state |
| (relatedInternalConcept Interested Curiosity) | emotion.kif 704-704 | Interest is internally related to intrigued |
| (actionTendency Interested PupilsDilation) | emotion.kif 705-705 | action tendency interest and dilated pupils |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Interested "interested") | emotion.kif 694-694 | |
| (termFormat SpanishLanguage Interested "interés") | emotion.kif 699-699 | |
| (termFormat FrenchLanguage Interested "intérêt") | emotion.kif 700-700 | |
| (termFormat FrenchLanguage Interested "interesse") | emotion.kif 701-701 | |
| (termFormat EnglishLanguage Interested "interest") | emotion.kif 702-702 |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?A Interested)) (exists (?O ?I) (and (instance ?O Object) (patient ?I ?O) (instance ?I IntentionalPsychologicalProcess) (agent ?I ?A) (enjoys ?A ?I) (during ?T (WhenFn ?I))))) |
emotion.kif 707-718 | If interest is an attribute of X holds during Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of object (3) Z is a patient of W (4) W is an instance of intentional psychological process (5) X is an agent of W (6) X enjoys W (7) Y takes place during the time of existence of W |
| (=> (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 |
|