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
exhaustiveAttribute
Sigma KEE - exhaustiveAttribute
exhaustiveAttribute
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1507-1510
No TPTP formula. May not be expressible in strict first order.
Merge.kif 491-495
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 71-75
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 82-86
No TPTP formula. May not be expressible in strict first order.
Merge.kif 489-489
The number 2 argument of
exhaustive attribute
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 488-488
The number 1 argument of
exhaustive attribute
is a
subclass
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 486-486
exhaustive attribute
is an
instance
of
predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 487-487
exhaustive attribute
is an
instance
of
variable arity relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3342-3342
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3341-3341
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3340-3340
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22768-22768
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22767-22767
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22766-22766
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 503-507
If @ROW are all the
attributes
of
another kind of attribute
and
an entity
is a
member
of (@ROW),
then
the entity
is an
instance
of
another kind of attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 497-501
If @ROW are all the
attributes
of
another kind of attribute
and
an entity
is a
member
of (@ROW),
then
the entity
is an
instance
of
attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 519-531
If @ROW are all the
attributes
of
another kind of attribute
,
then there doesn't exist
an entity
such that
the entity
is an
instance
of
another kind of attribute
and there don't exist
another entity
and
a positive integer
such that
the entity
is
equal
to
the other entity
and
the other entity
is
equal
to
the positive integer
th
element
of (@ROW)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 509-517
If @ROW are all the
attributes
of
another kind of attribute
,
then for all
an entity
if
the entity
is an
instance
of
another kind of attribute
,
then there exists
another entity
such that
the other entity
is a
member
of (@ROW) and
the entity
is
equal
to
the other entity
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18078-18078
Living
are all the
attributes
of
animacy attribute
No TPTP formula. May not be expressible in strict first order.
emotion.kif 285-286
Appraisal as avoidable consequences
are all the
attributes
of
appraisal of avoidability of consequences
No TPTP formula. May not be expressible in strict first order.
emotion.kif 596-598
Appraisal as caused supernaturally
are all the
attributes
of
appraisal of causal agency
No TPTP formula. May not be expressible in strict first order.
emotion.kif 671-672
Appraisal as unintended
are all the
attributes
of
appraisal of causal intent
No TPTP formula. May not be expressible in strict first order.
emotion.kif 461-462
Appraisal as congruent with ideals
are all the
attributes
of
appraisal of congruence with ideals
No TPTP formula. May not be expressible in strict first order.
emotion.kif 552-553
Appraisal as not dangerous
are all the
attributes
of
appraisal of dangerousness
No TPTP formula. May not be expressible in strict first order.
emotion.kif 397-398
Appraisal as desirable consequences
are all the
attributes
of
appraisal of desirability of consequences
No TPTP formula. May not be expressible in strict first order.
emotion.kif 529-530
Appraisal as expected
are all the
attributes
of
appraisal of expectedness
No TPTP formula. May not be expressible in strict first order.
emotion.kif 314-315
Appraisal as familiar
are all the
attributes
of
appraisal of familiarity
No TPTP formula. May not be expressible in strict first order.
emotion.kif 213-214
Evaluation as important to goals
are all the
attributes
of
appraisal of goal importance
No TPTP formula. May not be expressible in strict first order.
emotion.kif 337-338
Appraisal as unjust treatment
are all the
attributes
of
appraisal of justice of treatment
No TPTP formula. May not be expressible in strict first order.
emotion.kif 495-496
Appraisal as pleasant
are all the
attributes
of
appraisal of pleasantness
No TPTP formula. May not be expressible in strict first order.
emotion.kif 240-241
Appraisal as predictable
are all the
attributes
of
appraisal of predictability
No TPTP formula. May not be expressible in strict first order.
emotion.kif 640-642
Appraisal as being at the centre of attention
are all the
attributes
of
appraisal of social attention
No TPTP formula. May not be expressible in strict first order.
emotion.kif 575-576
Appraisal as sudden
are all the
attributes
of
appraisal of suddenness
No TPTP formula. May not be expressible in strict first order.
emotion.kif 427-428
Appraisal as not urgent response
are all the
attributes
of
appraisal of urgency of response
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18136-18136
Fully formed
are all the
attributes
of
developmental attribute
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1831-1831
High liquidity
are all the
attributes
of
liquidity attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17543-17543
Solid
are all the
attributes
of
physical state
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1851-1851
High risk
are all the
attributes
of
risk attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18105-18105
Female
are all the
attributes
of
sex attribute
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4069-4069
Volcanically active
are all the
attributes
of
volcano status
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1869-1869
High yield
are all the
attributes
of
yield attribute
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