Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  prefers

Sigma KEE - prefers
prefers

appearance as argument number 1
-------------------------


(documentation prefers ChineseLanguage "(prefers ?AGENT ?FORMULA1 ?FORMULA2) 的意思是 在所有条件相同的情况下, CognitiveAgent ?AGENT 喜欢 ?FORMULA1 所描述的事态多于 ?FORMULA2 所描述 的事态。 ") chinese_format.kif 1922-1924
(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 2595-2597
(domain prefers 1 CognitiveAgent) Merge.kif 2591-2591 The number 1 argument of prefers is an instance of cognitive agent
(domain prefers 2 Formula) Merge.kif 2592-2592 The number 2 argument of prefers is an instance of formula
(domain prefers 3 Formula) Merge.kif 2593-2593 The number 3 argument of prefers is an instance of formula
(instance prefers IntentionalRelation) Merge.kif 2590-2590 prefers is an instance of intentional relation
(instance prefers TernaryPredicate) Merge.kif 2589-2589 prefers is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage prefers "%1 %n{doesn't} prefers %2 于 %3") chinese_format.kif 173-173
(format EnglishLanguage prefers "%1 %n{doesn't} prefer%p{s} %2 over %3") english_format.kif 177-177
(termFormat ChineseLanguage prefers "偏好") domainEnglishFormat.kif 47162-47162
(termFormat ChineseLanguage prefers "拥有") chinese_format.kif 174-174
(termFormat ChineseTraditionalLanguage prefers "偏好") domainEnglishFormat.kif 47161-47161
(termFormat EnglishLanguage prefers "prefers") domainEnglishFormat.kif 47160-47160

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 965-973


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners