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
fears
Sigma KEE - fears
fears
appearance as argument number 1
(
documentation
fears
EnglishLanguage
"(
fears
?AGENT ?FORMULA) means that ?AGENT fears that the proposition ?FORMULA will be true, i.e. he/ she believes that it will come to pass in the future and that it will be undesirable for ?AGENT.")
Mid-level-ontology.kif 7388-7391
(
instance
fears
BinaryPredicate
)
Mid-level-ontology.kif 7387-7387
恐惧
是
二元谓语
的
instance
(
subrelation
fears
expects
)
Mid-level-ontology.kif 7386-7386
恐惧
是
预计
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
fears
"%1 fears %2 ")
domainEnglishFormat.kif 3430-3430
(
format
ChineseTraditionalLanguage
fears
"%1 fears %2 ")
domainEnglishFormat.kif 3429-3429
(
format
EnglishLanguage
fears
"%1 fears %2")
domainEnglishFormat.kif 3428-3428
(
termFormat
ChineseLanguage
fears
"恐惧")
domainEnglishFormat.kif 23428-23428
(
termFormat
ChineseTraditionalLanguage
fears
"恐懼")
domainEnglishFormat.kif 23427-23427
(
termFormat
EnglishLanguage
fears
"fears")
domainEnglishFormat.kif 23426-23426
antecedent
(=>
(
fears
?AGENT ?FORMULA)
(
not
(
desires
?AGENT ?FORMULA)))
Mid-level-ontology.kif 7393-7396
如果
有认知的主事
fears
公式
,
然后
那个 有认知的主事
doesn't
desires
那个 公式
consequent
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))
(
instance
?T1
TimeInterval
))
(
exists
(?SITUATION ?T0)
(
and
(
earlier
?T0 ?T1)
(
causesProposition
(
holdsDuring
?T0
(
fears
?P ?SITUATION))
(
holdsDuring
?T1
(
attribute
?P
InternallyDisplacedPerson
))))))
MilitaryPersons.kif 101-111
如果
国内流离失所者
是
实体
的
attribute
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
另一个 实体
和
另一个 时距
这样
那个 另外 时距
比
那个 时距
发生的
earlier
和
国内流离失所者
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
是
那个 实体
fears
那个 另外 实体
在
那个 另外 时距
holdsDuring
的
causes
提议
(=>
(
attribute
?PERSON
Anxiety
)
(
exists
(?PROP)
(
fears
?PERSON ?PROP)))
Mid-level-ontology.kif 19316-19319
如果
焦虑
是
有认知的主事
的
attribute
,
然后 有存在
公式
这样
那个 有认知的主事
fears
那个 公式
(=>
(
attribute
?PERSON
Happiness
)
(
not
(
exists
(?PROP)
(
fears
?PERSON ?PROP))))
Mid-level-ontology.kif 19289-19293
如果
幸福
是
有认知的主事
的
attribute
,
然后 不存在
公式
这样
那个 有认知的主事
fears
那个 公式
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