Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 484-488
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 482-482
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 481-481
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 479-479
exhaustive attribute
is an
instance
of
predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 480-480
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 3340-3340
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3339-3339
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3338-3338
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22774-22774
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22773-22773
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22772-22772
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 496-500
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 490-494
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 512-524
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
equal
the entity
and
the other entity
and
equal
the other entity
and
the positive integer
th
element
of (@ROW)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 502-510
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
equal
the entity
and
the other entity
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18264-18264
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 18323-18323
Fully formed
are all the
attributes
of
developmental attribute
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1848-1848
High liquidity
are all the
attributes
of
liquidity attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 17726-17726
Solid
are all the
attributes
of
physical state
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1868-1868
High risk
are all the
attributes
of
risk attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18291-18291
Female
are all the
attributes
of
sex attribute
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4276-4276
Volcanically active
are all the
attributes
of
volcano status
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1886-1886
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