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
disapproves
Sigma KEE - disapproves
disapproves
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7439-7439
disapproves
and
desires
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7442-7446
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7440-7440
The number 1 argument of
disapproves
is an
instance
of
cognitive agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7441-7441
The number 2 argument of
disapproves
is an
instance
of
formula
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7437-7437
disapproves
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7436-7436
disapproves
is an
instance
of
propositional attitude
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7438-7438
disapproves
is a
subrelation
of
in scope of interest
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 764-764
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 763-763
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 762-762
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7424-7424
dislikes
is
internally
related to
disapproves
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19776-19776
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19775-19775
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19774-19774
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 12963-12970
If
a process
is an
instance
of
expressing disapproval
and
a cognitive agent
is an
agent
of
the process
and
a formula
is a
patient
of
the process
,
then
the cognitive agent
dislikes
the formula
or
the formula
is a
disapproves
of
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19324-19327
If
anger
is an
attribute
of
a cognitive agent
,
then there exists
a formula
such that
the formula
is a
disapproves
of
the cognitive agent
No TPTP formula. May not be expressible in strict first order.
MilitaryPersons.kif 49-52
If
a cognitive agent
is an
instance
of
human
,
then
dislocated civilian
is an
attribute
of
the cognitive agent
is a
disapproves
of
the cognitive agent
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