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
actionTendency
Sigma KEE - actionTendency
actionTendency
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
emotion.kif 158-159
No TPTP formula. May not be expressible in strict first order.
emotion.kif 156-156
The number 1 argument of
action tendency
is an
instance
of
emotional state
No TPTP formula. May not be expressible in strict first order.
emotion.kif 157-157
The number 2 argument of
action tendency
is a
subclass
of
emotional behavioral process
No TPTP formula. May not be expressible in strict first order.
emotion.kif 155-155
action tendency
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65771-65771
antecedent
No TPTP formula. May not be expressible in strict first order.
emotion.kif 161-172
If
an emotional state
is an
attribute
of
an entity
holds
during
a time position
and
action tendency
the emotional state
and
a kind of emotional behavioral process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
a kind of emotional behavioral process
and the
time
of existence of
the other entity
takes place
during
the time position
and
the entity
experience
s
the other entity
has the
modal
force
of
likely
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
emotion.kif 186-186
action tendency
anger
and
angry facial expression
No TPTP formula. May not be expressible in strict first order.
emotion.kif 182-182
action tendency
disgust
and
disgusted facial expression
No TPTP formula. May not be expressible in strict first order.
emotion.kif 183-183
action tendency
angst
and
fearful facial expression
No TPTP formula. May not be expressible in strict first order.
emotion.kif 175-175
action tendency
grief
and
weeping
No TPTP formula. May not be expressible in strict first order.
emotion.kif 184-184
action tendency
happiness
and
happy facial expression
No TPTP formula. May not be expressible in strict first order.
emotion.kif 176-176
action tendency
happiness
and
laughing
No TPTP formula. May not be expressible in strict first order.
emotion.kif 177-177
action tendency
happiness
and
smiling
No TPTP formula. May not be expressible in strict first order.
emotion.kif 185-185
action tendency
sadness
and
sad facial expression
No TPTP formula. May not be expressible in strict first order.
emotion.kif 179-179
action tendency
surprise
and
jaw dropping
No TPTP formula. May not be expressible in strict first order.
emotion.kif 180-180
action tendency
surprise
and
opening eyes widely
No TPTP formula. May not be expressible in strict first order.
emotion.kif 181-181
action tendency
surprise
and
raising eyebrows
No TPTP formula. May not be expressible in strict first order.
emotion.kif 174-174
action tendency
surprise
and
surprised facial expression
No TPTP formula. May not be expressible in strict first order.
emotion.kif 178-178
action tendency
unhappiness
and
frowning
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