Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  exhaustiveAttribute

 Sigma KEE - exhaustiveAttribute
exhaustiveAttribute

appearance as argument number 1
-------------------------


(instance exhaustiveAttribute Predicate) Merge.kif 478-478 exhaustive attribute is an instance of predicate
(instance exhaustiveAttribute VariableArityRelation) Merge.kif 479-479 exhaustive attribute is an instance of variable arity relation
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 480-480 The number 1 argument of exhaustive attribute is a subclass of attribute
(domain exhaustiveAttribute 2 Attribute) Merge.kif 481-481 The number 2 argument of exhaustive attribute is an instance of attribute
(documentation exhaustiveAttribute EnglishLanguage "This predicate relates a Class to a set of Attributes, 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 483-487 The number 2 argument of exhaustive attribute is an instance of attribute

appearance as argument number 2
-------------------------


(format EnglishLanguage exhaustiveAttribute "%2 are all the attributes of %1") domainEnglishFormat.kif 3338-3338
(format ChineseTraditionalLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3339-3339
(format ChineseLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3340-3340
(termFormat EnglishLanguage exhaustiveAttribute "exhaustive attribute") domainEnglishFormat.kif 22765-22765
(termFormat ChineseTraditionalLanguage exhaustiveAttribute "詳盡的屬性") domainEnglishFormat.kif 22766-22766
(termFormat ChineseLanguage exhaustiveAttribute "详尽的属性") domainEnglishFormat.kif 22767-22767

antecedent
-------------------------


(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR Attribute))		 Merge.kif 489-493 If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of attribute
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR ?CLASS))		 Merge.kif 495-499 If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of Y
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (forall (?ATTR1)
        (=>
            (instance ?ATTR1 ?CLASS)
            (exists (?ATTR2)
                (and
                    (inList ?ATTR2
                        (ListFn @ROW))
                    (equal ?ATTR1 ?ATTR2))))))		 Merge.kif 501-509 If @ROW are all the attributes of Y, then For all Entity Z: if Z is an instance of Y, then there exists W such that W is a member of (@ROW) and equal Z and W
(=>
    (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 511-523 If @ROW are all the attributes of Y, then there doesn't exist Z such that Z is an instance of Y and there don't exist W and V such that equal Z and W and equal W and U element of (@ROW)

appearance as argument number 0
-------------------------


(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17900-17900 Solid are all the attributes of physical state
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18418-18418 Living are all the attributes of animacy attribute
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18445-18445 Female are all the attributes of sex attribute
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18477-18477 Fully formed are all the attributes of developmental attribute
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1877-1877 High liquidity are all the attributes of liquidity attribute
(exhaustiveAttribute RiskAttribute HighRisk LowRisk) FinancialOntology.kif 1897-1897 High risk are all the attributes of risk attribute
(exhaustiveAttribute YieldAttribute HighYield LowYield) FinancialOntology.kif 1915-1915 High yield are all the attributes of yield attribute
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 5580-5580 Volcanically active are all the attributes of volcano status
(exhaustiveAttribute AppraisalOfGoalImportance EvaluationAsImportantToGoals EvaluationAsNotImportantToGoals) emotion.kif 193-194 Evaluation as important to goals are all the attributes of appraisal of goal importance
(exhaustiveAttribute AppraisalOfPredictability AppraisalAsPredictable AppraisalAsNotPredictable) emotion.kif 220-221 Appraisal as predictable are all the attributes of appraisal of predictability
(exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences AppraisalAsAvoidableConsequences AppraisalAsUnavoidableConsequences) emotion.kif 265-266 Appraisal as avoidable consequences are all the attributes of appraisal of avoidability of consequences
(exhaustiveAttribute AppraisalOfFamiliarity AppraisalAsFamiliar AppraisalAsNotFamiliar) emotion.kif 294-295 Appraisal as familiar are all the attributes of appraisal of familiarity
(exhaustiveAttribute AppraisalOfJusticeOfTreatment AppraisalAsUnjustTreatment AppraisalAsJustTreatment) emotion.kif 317-318 Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment
(exhaustiveAttribute AppraisalOfDesirabilityOfConsequences AppraisalAsDesirableConsequences AppraisalAsUndesirableConsequences) emotion.kif 377-378 Appraisal as desirable consequences are all the attributes of appraisal of desirability of consequences
(exhaustiveAttribute AppraisalOfUrgency AppraisalAsNotUrgentResponse AppraisalAsUrgentResponse) emotion.kif 407-408 Appraisal as not urgent response are all the attributes of appraisal of urgency of response
(exhaustiveAttribute AppraisalOfCongruenceWithIdeals AppraisalAsCongruentWithIdeals AppraisalAsNotCongruentWithIdeals) emotion.kif 441-442 Appraisal as congruent with ideals are all the attributes of appraisal of congruence with ideals
(exhaustiveAttribute AppraisalOfPleasantness AppraisalAsPleasant AppraisalAsUnpleasant) emotion.kif 475-476 Appraisal as pleasant are all the attributes of appraisal of pleasantness
(exhaustiveAttribute AppraisalOfExpectedness AppraisalAsExpected AppraisalAsNotExpected) emotion.kif 509-510 Appraisal as expected are all the attributes of appraisal of expectedness
(exhaustiveAttribute AppraisalOfDangerousness AppraisalAsNotDangerous AppraisalAsDangerous) emotion.kif 532-533 Appraisal as not dangerous are all the attributes of appraisal of dangerousness
(exhaustiveAttribute AppraisalOfSuddenness AppraisalAsSudden AppraisalAsNotSudden) emotion.kif 555-556 Appraisal as sudden are all the attributes of appraisal of suddenness
(exhaustiveAttribute AppraisalOfCausalAgency AppraisalAsCausedSupernaturally AppraisalAsCausedBySelf AppraisalAsCausedByChance AppraisalAsCausedByAnother) emotion.kif 576-578 Appraisal as caused supernaturally are all the attributes of appraisal of causal agency
(exhaustiveAttribute AppraisalOfSocialAttention AppraisalAsBeingAtTheCentreOfAttention AppraisalAsNotBeingAtTheCentreOfAttention) emotion.kif 620-622 Appraisal as being at the centre of attention are all the attributes of appraisal of social attention
(exhaustiveAttribute AppraisalOfCausalIntent AppraisalAsUnintended AppraisalAsDeliberate) emotion.kif 651-652 Appraisal as unintended are all the attributes of appraisal of causal intent


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners