Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Favorite(favorite) |  | darling, dearie, deary, ducky, favorite, favourite, pet, teacher's_pet |
| appearance as argument number 1 |
|
|
| (instance Favorite SubjectiveAssessmentAttribute) | Dining.kif 1010-1010 | 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 1011-1012 | Favorite is an instance of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Favorite "favorite") | Dining.kif 1013-1013 |
| 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 1015-1023 | 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 1015-1023 | 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 |
|