| Favorite(favorite) | | darling, dearie, deary, ducky, favorite, favourite, pet, teacher's_pet |
| appearance as argument number 1 |
|
|
| (instance Favorite SubjectiveAssessmentAttribute) | Dining.kif 1007-1007 | Favorite is an instance of subjective assessment attribute |
| (documentation Favorite EnglishLanguage "Favorite is an attribute that describes how an agent prefers one thing over another") | Dining.kif 1008-1009 | Favorite is an instance of subjective assessment attribute |
| 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 | If X believes Y is favorite and Y is an instance of Z, then there exists W such that X believes W is favorite, W is an instance of Z, and X prefers X wants Y over X wants W |
| 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 | If X believes Y is favorite and Y is an instance of Z, then there exists W such that X believes W is favorite, W is an instance of Z, and X prefers X wants Y over X wants W |
|
|
|