Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
Le nombre 1 argument de
prefers
est une
instance
de
agent cognitif
(
domain
prefers
2
Formula
)
Merge.kif 2687-2687
Le nombre 2 argument de
prefers
est une
instance
de
formule
(
domain
prefers
3
Formula
)
Merge.kif 2688-2688
Le nombre 3 argument de
prefers
est une
instance
de
formule
(
instance
prefers
IntentionalRelation
)
Merge.kif 2685-2685
prefers
est une
instance
de
IntentionalRelation
(
instance
prefers
TernaryPredicate
)
Merge.kif 2684-2684
prefers
est une
instance
de
pr�dicat ternaire
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 47180-47180
(
termFormat
ChineseLanguage
prefers
"拥有")
chinese_format.kif 174-174
(
termFormat
ChineseTraditionalLanguage
prefers
"偏好")
domainEnglishFormat.kif 47179-47179
(
termFormat
EnglishLanguage
prefers
"prefers")
domainEnglishFormat.kif 47178-47178
(
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
subjectiveAttribute
entit�
,
Favorite
and
agent cognitif
entit�
est une
instance
de
classe
entit�
subjectiveAttribute
entit�
,
Favorite
and
agent cognitif
entit�
est une
instance
de
classe
agent cognitif
pref
�re
agent cognitif
veut
entit�
plus que
agent cognitif
veut
entit�
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