Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 7123-7123
disapproves
and
desires
are
disjoint
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7126-7130
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7124-7124
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 7125-7125
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 7121-7121
disapproves
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7120-7120
disapproves
is an
instance
of
propositional attitude
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7122-7122
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 7108-7108
dislikes
is
internally
related to
disapproves
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19699-19699
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19698-19698
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19697-19697
consequent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10598-10605
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 17131-17134
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