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
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 493-497
No TPTP formula. May not be expressible in strict first order.
Merge.kif 491-491
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 490-490
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 488-488
exhaustive attribute
is an
instance
of
predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 489-489
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 3347-3347
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3346-3346
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3345-3345
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22702-22702
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22701-22701
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22700-22700
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 505-509
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 499-503
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 521-533
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 535-545
If @ROW are all the
attributes
of
another kind of attribute
,
then
if
an entity
is
equal
to
another entity
element
of (@ROW),
then there don't exist
a third entity
and
a fourth entity
such that
the entity
is
equal
to
the third entity
and
a positive integer
is not
equal
to
the fourth entity
No TPTP formula. May not be expressible in strict first order.
Merge.kif 511-519
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 16800-16800
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 16854-16854
Fully formed
are all the
attributes
of
developmental attribute
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1767-1767
High liquidity
are all the
attributes
of
liquidity attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16371-16371
Solid
are all the
attributes
of
physical state
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1787-1787
High risk
are all the
attributes
of
risk attribute
No TPTP formula. May not be expressible in strict first order.
Merge.kif 16827-16827
Female
are all the
attributes
of
sex attribute
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3861-3861
Volcanically active
are all the
attributes
of
volcano status
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1805-1805
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
exhaustiveAttribute