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 7466-7466
disapproves
and
desires
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7469-7473
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7467-7467
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 7468-7468
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 7464-7464
disapproves
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7463-7463
disapproves
is an
instance
of
propositional attitude
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7465-7465
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 7451-7451
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 12990-12997
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 19351-19354
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
disapproves