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
(
documentation
exhaustiveAttribute
ChineseLanguage
"这个术语把一个
Class
联系到一组
Attribute
, 就是说这个组的单元已经是这个
Class
所有的实例。举例说: (
exhaustiveAttribute
PhysicalState
Solid
Fluid
Liquid
Gas
Plasma
) 的意思是
PhysicalState
这个类别就 只有
Solid
,
Fluid
,
Liquid
,
Gas
和
Plasma
这五个实例了。")
chinese_format.kif 1507-1510
(
documentation
exhaustiveAttribute
EnglishLanguage
"This predicate relates a
Class
to a set of
Attribute
s, and it means that the elements of this set exhaust the instances of the
Class
. For example, (
exhaustiveAttribute
PhysicalState
Solid
Fluid
Liquid
Gas
Plasma
) means that there are only five instances of the class
PhysicalState
, viz.
Solid
,
Fluid
,
Liquid
,
Gas
and
Plasma
.")
Merge.kif 491-495
(
documentation
exhaustiveAttribute
JapaneseLanguage
"この述部は
Class
から
Attribute
s のセットに関係している。要するに、このセットの要素が
Class
のインスタンスを使い果たす、という 意味である。 例えば、(
exhaustiveAttribute
PhysicalState
Solid
Fluid
Liquid
Gas
Plasma
) とは&、%PhysicalState, すなわちインスタンス、が5つしかないことを意味している。 それらは
Solid
,
Fluid
,
Liquid
,
Gas
と
Plasma
である。")
japanese_format.kif 71-75
(
documentation
exhaustiveAttribute
SpanishLanguage
"Este predicado se relaciona una
Class
a un conjunto de
Attribute
s, y significa que los elementos del conjunto agotan las instancias de la
Class
. Por ejemplo, (
exhaustiveAttribute
PhysicalState
Solid
Fluid
Liquid
Gas
Plasma
) significa que sólo hay cinco instancias de la clase
PhysicalState
, viz.
Solid
,
Fluid
,
Liquid
,
Gas
y
Plasma
.")
spanish_format.kif 82-86
(
domain
exhaustiveAttribute
2
Attribute
)
Merge.kif 489-489
The number 2 argument of
exhaustive attribute
is an
instance
of
attribute
(
domainSubclass
exhaustiveAttribute
1
Attribute
)
Merge.kif 488-488
The number 1 argument of
exhaustive attribute
is a
subclass
of
attribute
(
instance
exhaustiveAttribute
Predicate
)
Merge.kif 486-486
exhaustive attribute
is an
instance
of
predicate
(
instance
exhaustiveAttribute
VariableArityRelation
)
Merge.kif 487-487
exhaustive attribute
is an
instance
of
variable arity relation
appearance as argument number 2
(
format
ChineseLanguage
exhaustiveAttribute
"%2 是所有的 %1 的
attribute
s ")
domainEnglishFormat.kif 3342-3342
(
format
ChineseTraditionalLanguage
exhaustiveAttribute
"%2 是所有的 %1 的
attribute
s ")
domainEnglishFormat.kif 3341-3341
(
format
EnglishLanguage
exhaustiveAttribute
"%2 are all the
attribute
s of %1")
domainEnglishFormat.kif 3340-3340
(
termFormat
ChineseLanguage
exhaustiveAttribute
"详尽的属性")
domainEnglishFormat.kif 22768-22768
(
termFormat
ChineseTraditionalLanguage
exhaustiveAttribute
"詳盡的屬性")
domainEnglishFormat.kif 22767-22767
(
termFormat
EnglishLanguage
exhaustiveAttribute
"exhaustive attribute")
domainEnglishFormat.kif 22766-22766
antecedent
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
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
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
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
(=>
(
exhaustiveAttribute
?ATTRCLASS @ROW)
(
not
(
exists
(?EL)
(
and
(
instance
?EL ?ATTRCLASS)
(
not
(
exists
(?ATTR ?NUMBER)
(
and
(
equal
?EL ?ATTR)
(
equal
?ATTR
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER)))))))))
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)
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
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
(
exhaustiveAttribute
AnimacyAttribute
Living
Dead
)
Merge.kif 18100-18100
Living
are all the
attributes
of
animacy attribute
(
exhaustiveAttribute
AppraisalOfAvoidabilityOfConsequences
AppraisalAsAvoidableConsequences
AppraisalAsUnavoidableConsequences
)
emotion.kif 285-286
Appraisal as avoidable consequences
are all the
attributes
of
appraisal of avoidability of consequences
(
exhaustiveAttribute
AppraisalOfCausalAgency
AppraisalAsCausedSupernaturally
AppraisalAsCausedBySelf
AppraisalAsCausedByChance
AppraisalAsCausedByAnother
)
emotion.kif 596-598
Appraisal as caused supernaturally
are all the
attributes
of
appraisal of causal agency
(
exhaustiveAttribute
AppraisalOfCausalIntent
AppraisalAsUnintended
AppraisalAsDeliberate
)
emotion.kif 671-672
Appraisal as unintended
are all the
attributes
of
appraisal of causal intent
(
exhaustiveAttribute
AppraisalOfCongruenceWithIdeals
AppraisalAsCongruentWithIdeals
AppraisalAsNotCongruentWithIdeals
)
emotion.kif 461-462
Appraisal as congruent with ideals
are all the
attributes
of
appraisal of congruence with ideals
(
exhaustiveAttribute
AppraisalOfDangerousness
AppraisalAsNotDangerous
AppraisalAsDangerous
)
emotion.kif 552-553
Appraisal as not dangerous
are all the
attributes
of
appraisal of dangerousness
(
exhaustiveAttribute
AppraisalOfDesirabilityOfConsequences
AppraisalAsDesirableConsequences
AppraisalAsUndesirableConsequences
)
emotion.kif 397-398
Appraisal as desirable consequences
are all the
attributes
of
appraisal of desirability of consequences
(
exhaustiveAttribute
AppraisalOfExpectedness
AppraisalAsExpected
AppraisalAsNotExpected
)
emotion.kif 529-530
Appraisal as expected
are all the
attributes
of
appraisal of expectedness
(
exhaustiveAttribute
AppraisalOfFamiliarity
AppraisalAsFamiliar
AppraisalAsNotFamiliar
)
emotion.kif 314-315
Appraisal as familiar
are all the
attributes
of
appraisal of familiarity
(
exhaustiveAttribute
AppraisalOfGoalImportance
EvaluationAsImportantToGoals
EvaluationAsNotImportantToGoals
)
emotion.kif 213-214
Evaluation as important to goals
are all the
attributes
of
appraisal of goal importance
(
exhaustiveAttribute
AppraisalOfJusticeOfTreatment
AppraisalAsUnjustTreatment
AppraisalAsJustTreatment
)
emotion.kif 337-338
Appraisal as unjust treatment
are all the
attributes
of
appraisal of justice of treatment
(
exhaustiveAttribute
AppraisalOfPleasantness
AppraisalAsPleasant
AppraisalAsUnpleasant
)
emotion.kif 495-496
Appraisal as pleasant
are all the
attributes
of
appraisal of pleasantness
(
exhaustiveAttribute
AppraisalOfPredictability
AppraisalAsPredictable
AppraisalAsNotPredictable
)
emotion.kif 240-241
Appraisal as predictable
are all the
attributes
of
appraisal of predictability
(
exhaustiveAttribute
AppraisalOfSocialAttention
AppraisalAsBeingAtTheCentreOfAttention
AppraisalAsNotBeingAtTheCentreOfAttention
)
emotion.kif 640-642
Appraisal as being at the centre of attention
are all the
attributes
of
appraisal of social attention
(
exhaustiveAttribute
AppraisalOfSuddenness
AppraisalAsSudden
AppraisalAsNotSudden
)
emotion.kif 575-576
Appraisal as sudden
are all the
attributes
of
appraisal of suddenness
(
exhaustiveAttribute
AppraisalOfUrgency
AppraisalAsNotUrgentResponse
AppraisalAsUrgentResponse
)
emotion.kif 427-428
Appraisal as not urgent response
are all the
attributes
of
appraisal of urgency of response
(
exhaustiveAttribute
DevelopmentalAttribute
FullyFormed
NonFullyFormed
)
Merge.kif 18158-18158
Fully formed
are all the
attributes
of
developmental attribute
(
exhaustiveAttribute
LiquidityAttribute
HighLiquidity
LowLiquidity
)
FinancialOntology.kif 1831-1831
High liquidity
are all the
attributes
of
liquidity attribute
(
exhaustiveAttribute
PhysicalState
Solid
Liquid
Gas
Plasma
)
Merge.kif 17565-17565
Solid
are all the
attributes
of
physical state
(
exhaustiveAttribute
RiskAttribute
HighRisk
LowRisk
)
FinancialOntology.kif 1851-1851
High risk
are all the
attributes
of
risk attribute
(
exhaustiveAttribute
SexAttribute
Female
Male
NonBinaryGender
)
Merge.kif 18127-18127
Female
are all the
attributes
of
sex attribute
(
exhaustiveAttribute
VolcanoStatus
VolcanicallyActive
VolcanicallyDormant
VolcanicallyExtinct
)
Geography.kif 4069-4069
Volcanically active
are all the
attributes
of
volcano status
(
exhaustiveAttribute
YieldAttribute
HighYield
LowYield
)
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