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
expects
Sigma KEE - expects
expects
appearance as argument number 1
(
documentation
expects
EnglishLanguage
"(
holdsDuring
?T1 (
expects
?AGENT ?BELIEF)) means (and (holdDuring ?T1 (
believes
?AGENT (
holdsDuring
?T2 ?BELIEF))) (
earlier
?T1 ?T2)).")
Merge.kif 10591-10593
(
domain
expects
1
CognitiveAgent
)
Merge.kif 10589-10589
The number 1 argument of
expects
is an
instance
of
cognitive agent
(
domain
expects
2
Formula
)
Merge.kif 10590-10590
The number 2 argument of
expects
is an
instance
of
formula
(
instance
expects
BinaryPredicate
)
Merge.kif 10588-10588
expects
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
expects
"%1
expects
%2 会是事实")
domainEnglishFormat.kif 3354-3354
(
format
ChineseTraditionalLanguage
expects
"%1
expects
%2 會是事實")
domainEnglishFormat.kif 3353-3353
(
format
EnglishLanguage
expects
"%1
expects
%2 will be true")
domainEnglishFormat.kif 3352-3352
(
subrelation
fears
expects
)
Mid-level-ontology.kif 7386-7386
fears
is a
subrelation
of
expects
(
subrelation
hopes
expects
)
Mid-level-ontology.kif 7398-7398
hopes
is a
subrelation
of
expects
(
termFormat
ChineseLanguage
expects
"预计")
domainEnglishFormat.kif 22792-22792
(
termFormat
ChineseTraditionalLanguage
expects
"預計")
domainEnglishFormat.kif 22791-22791
(
termFormat
EnglishLanguage
expects
"expects")
domainEnglishFormat.kif 22790-22790
antecedent
(=>
(
holdsDuring
?T1
(
expects
?AGENT ?FORMULA))
(
exists
(?T2)
(
and
(
holdsDuring
?T1
(
believes
?AGENT
(
holdsDuring
?T2 ?FORMULA)))
(
earlier
?T1 ?T2))))
Merge.kif 10595-10603
If
an entity
expects
another entity
will be true holds
during
a time interval
,
then there exists
another time interval
such that
the entity
believe
s
the other entity
holds
during
the other time interval
holds
during
the time interval
and
the time interval
happens
earlier
than
the other time interval
consequent
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
If one must
check
out
before
a time point
at
a cognitive agent
and
another cognitive agent
is a
guest
at
the cognitive agent
,
then
the cognitive agent
expects
there exist
an entity
and
another entity
such that
the entity
is an
instance
of
the time point
and
the other cognitive agent
is a
patient
of
the other entity
and
the other entity
is an
instance
of
check-out service
and
the cognitive agent
is an
agent
of
the other entity
and the
beginning
of the
time
of existence of
the other entity
happens
before
the entity
will be true
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10631-10643
If
a process
is an
instance
of
hiring
and
a cognitive agent
is an
instance
of
organization
and
the cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the cognitive agent
expects
there exists
another entity
such that
the other entity
is an
instance
of
financial transaction
and
the cognitive agent
is an
agent
of
the other entity
and
the other entity
end
s up at
the entity
and the
time
of existence of
the process
happens
earlier
than the
time
of existence of
the other entity
will be true
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19348-19354
If
surprise
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another time position
and
another entity
such that
the other time position
is a
part
of
before
the time position
and
the entity
expects
the other entity
will be true holds
during
the other time position
and
the other entity
is
false
holds
during
the time position
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