TreeView Knowledge Base Browser

appearance as argument number 1

(instance prefers TernaryPredicate)	Merge.kif 2793-2793	prefers is an instance of ternary predicate
(instance prefers IntentionalRelation)	Merge.kif 2794-2794	prefers is an instance of intentional relation
(domain prefers 1 CognitiveAgent)	Merge.kif 2795-2795	The number 1 argument of prefers is an instance of cognitive agent
(domain prefers 2 Formula)	Merge.kif 2796-2796	The number 2 argument of prefers is an instance of formula
(domain prefers 3 Formula)	Merge.kif 2797-2797	The number 3 argument of prefers is an instance of formula
(documentation prefers EnglishLanguage "(prefers ?AGENT ?FORMULA1 ?FORMULA2) means that CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal.")	Merge.kif 2799-2801	The number 3 argument of prefers is an instance of formula

appearance as argument number 2

(termFormat EnglishLanguage prefers "prefers")	domainEnglishFormat.kif 47173-47173
(termFormat ChineseTraditionalLanguage prefers "偏好")	domainEnglishFormat.kif 47174-47174
(termFormat ChineseLanguage prefers "偏好")	domainEnglishFormat.kif 47175-47175
(format EnglishLanguage prefers "%1 %n{doesn't} prefer%p{s} %2 over %3")	english_format.kif 174-174

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: