| Favorite | |
| appearance as argument number 1 |
|
|
| (documentation Favorite EnglishLanguage "Favorite is an attribute that describes how an agent prefers one thing over another") | Dining.kif 1008-1009 | |
| (instance Favorite SubjectiveAssessmentAttribute) | Dining.kif 1007-1007 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Favorite "favorite") | Dining.kif 1010-1010 |
| antecedent |
|
|
| (=> (and (subjectiveAttribute ?X Favorite ?AGENT) (instance ?X ?CLASS)) (exists (?Y) (and (not (subjectiveAttribute ?Y Favorite ?AGENT)) (instance ?Y ?CLASS) (prefers ?AGENT (wants ?AGENT ?X) (wants ?AGENT ?Y))))) |
Dining.kif 1012-1020 |
| consequent |
|
|
| (=> (and (subjectiveAttribute ?X Favorite ?AGENT) (instance ?X ?CLASS)) (exists (?Y) (and (not (subjectiveAttribute ?Y Favorite ?AGENT)) (instance ?Y ?CLASS) (prefers ?AGENT (wants ?AGENT ?X) (wants ?AGENT ?Y))))) |
Dining.kif 1012-1020 |
|
|
|