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 2690-2692
(documentation prefers JapaneseLanguage "(prefers ?AGENT ?FORMULA1 ?FORMULA2) とは、 CognitiveAgent ?AGENT が ?FORMULA2よりも?FORMULA1 によって全てが同等と表現される状態を好むこ とを意味する。") japanese_format.kif 549-551
(domain prefers 1 CognitiveAgent) Merge.kif 2686-2686
(domain prefers 2 Formula) Merge.kif 2687-2687
(domain prefers 3 Formula) Merge.kif 2688-2688
(instance prefers IntentionalRelation) Merge.kif 2685-2685
(instance prefers TernaryPredicate) Merge.kif 2684-2684

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 174-174
(format FrenchLanguage prefers "%1 %n{ne} pref�re %n{pas} %2 plus que %3") french_format.kif 106-106
(format ItalianLanguage prefers "%1 %n{non} preferisce%p{s} %2 su %3") relations-it.txt 228-228
(format JapaneseLanguage prefers "%1 は %3 よりも %2 を prefer%p{s} %n{ない}") japanese_format.kif 1935-1935
(format PortugueseLanguage prefers "%1 %n{nao} prefere %n %2 a %3") portuguese_format.kif 58-58
(format cz prefers "%1 %n{doesn't} prefer%p{s} %2 over %3") relations-cz.txt 93-93
(format de prefers "%1 bevorzugt %2 ueber %3 %n{nicht}") relations-de.txt 215-215
(format hi prefers "%1 %3 se jyaadaa %2 ko pasanda %n{nahiin} karataa hai") relations-hindi.txt 266-266
(format ro prefers "%1 %n{nu} prefer%t{preferã} %2 în detrimentul lui %3") relations-ro.kif 125-125
(format sv prefers "%1 föredrar %n{inte} %2 framför %3") relations-sv.txt 109-109
(format tg prefers "%1 %n ay pumipili %2 sa halip ng %3") relations-tg.txt 420-420
(termFormat ChineseLanguage prefers "偏好") domainEnglishFormat.kif 47182-47182
(termFormat ChineseLanguage prefers "拥有") chinese_format.kif 174-174
(termFormat ChineseTraditionalLanguage prefers "偏好") domainEnglishFormat.kif 47181-47181
(termFormat EnglishLanguage prefers "prefers") domainEnglishFormat.kif 47180-47180
(termFormat de prefers "bevorzugt") terms-de.txt 67-67

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


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