Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exhaustiveAttribute
exhaustiveAttribute

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


(documentation exhaustiveAttribute ChineseLanguage "这个术语把一个 Class 联系到一组 Attribute, 就是说这个组的单元已经是这个 Class 所有的实例。举例说: (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) 的意思是 PhysicalState 这个类别就 只有 SolidFluidLiquidGasPlasma 这五个实例了。") chinese_format.kif 1507-1510
(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 492-496
(domain exhaustiveAttribute 2 Attribute) Merge.kif 490-490 The number 2 argument of exhaustive attribute is an instance of attribute
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 489-489 The number 1 argument of exhaustive attribute is a subclass of attribute
(instance exhaustiveAttribute Predicate) Merge.kif 487-487 exhaustive attribute is an instance of predicate
(instance exhaustiveAttribute VariableArityRelation) Merge.kif 488-488 exhaustive attribute is an instance of variable arity relation

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


(format ChineseLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3343-3343
(format ChineseTraditionalLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3342-3342
(format EnglishLanguage exhaustiveAttribute "%2 are all the attributes of %1") domainEnglishFormat.kif 3341-3341
(termFormat ChineseLanguage exhaustiveAttribute "详尽的属性") domainEnglishFormat.kif 22693-22693
(termFormat ChineseTraditionalLanguage exhaustiveAttribute "詳盡的屬性") domainEnglishFormat.kif 22692-22692
(termFormat EnglishLanguage exhaustiveAttribute "exhaustive attribute") domainEnglishFormat.kif 22691-22691

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


(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR ?CLASS))
Merge.kif 504-508
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR Attribute))
Merge.kif 498-502
(=>
    (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 520-532
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (=>
        (equal ?ATTR1
            (ListOrderFn
                (ListFn @ROW) ?N1))
        (not
            (exists (?ATTR2 ?N2)
                (and
                    (equal ?ATTR1 ?ATTR2)
                    (not
                        (equal ?N1 ?N2)))))))
Merge.kif 534-544
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (forall (?ATTR1)
        (=>
            (instance ?ATTR1 ?CLASS)
            (exists (?ATTR2)
                (and
                    (inList ?ATTR2
                        (ListFn @ROW))
                    (equal ?ATTR1 ?ATTR2))))))
Merge.kif 510-518

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 16763-16763 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 16817-16817 Fully formed are all the attributes of developmental attribute
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1767-1767 High liquidity are all the attributes of liquidity attribute
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) Merge.kif 16334-16334 Solid are all the attributes of physical state
(exhaustiveAttribute RiskAttribute HighRisk LowRisk) FinancialOntology.kif 1787-1787 High risk are all the attributes of risk attribute
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 16790-16790 Female are all the attributes of sex attribute
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 3861-3861 Volcanically active are all the attributes of volcano status
(exhaustiveAttribute YieldAttribute HighYield LowYield) FinancialOntology.kif 1805-1805 High yield are all the attributes of yield attribute


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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