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
hopes
Sigma KEE - hopes
hopes
appearance as argument number 1
(
documentation
hopes
EnglishLanguage
"(
hopes
?AGENT ?FORMULA) means that ?AGENT hopes 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 desirable for ?AGENT.")
Mid-level-ontology.kif 7427-7429
(
instance
hopes
BinaryPredicate
)
Mid-level-ontology.kif 7426-7426
(
subrelation
hopes
expects
)
Mid-level-ontology.kif 7425-7425
appearance as argument number 2
(
format
ChineseLanguage
hopes
"%1
hopes
%2 成为现实")
domainEnglishFormat.kif 3666-3666
(
format
ChineseTraditionalLanguage
hopes
"%1
hopes
%2 成為現實")
domainEnglishFormat.kif 3665-3665
(
format
EnglishLanguage
hopes
"%1
hopes
%2 will become true")
domainEnglishFormat.kif 3664-3664
(
termFormat
ChineseLanguage
hopes
"希望")
domainEnglishFormat.kif 28545-28545
(
termFormat
ChineseTraditionalLanguage
hopes
"希望")
domainEnglishFormat.kif 28544-28544
(
termFormat
EnglishLanguage
hopes
"hopes")
domainEnglishFormat.kif 28543-28543
antecedent
(=>
(
hopes
?AGENT ?FORMULA)
(
desires
?AGENT ?FORMULA))
Mid-level-ontology.kif 7431-7433
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