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 这个类别就 只有 Solid，Fluid， Liquid， Gas 和 Plasma 这五个实例了。") 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 491-495
(domain exhaustiveAttribute 2 Attribute) Merge.kif 489-489
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 488-488
(instance exhaustiveAttribute Predicate) Merge.kif 486-486
(instance exhaustiveAttribute VariableArityRelation) Merge.kif 487-487

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


(format ChineseLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3347-3347
(format ChineseTraditionalLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3346-3346
(format EnglishLanguage exhaustiveAttribute "%2 are all the attributes of %1") domainEnglishFormat.kif 3345-3345
(termFormat ChineseLanguage exhaustiveAttribute "详尽的属性") domainEnglishFormat.kif 22761-22761
(termFormat ChineseTraditionalLanguage exhaustiveAttribute "詳盡的屬性") domainEnglishFormat.kif 22760-22760
(termFormat EnglishLanguage exhaustiveAttribute "exhaustive attribute") domainEnglishFormat.kif 22759-22759

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


(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR ?CLASS))		 Merge.kif 503-507
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR Attribute))		 Merge.kif 497-501
(=>
    (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
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (forall (?ATTR1)
        (=>
            (instance ?ATTR1 ?CLASS)
            (exists (?ATTR2)
                (and
                    (inList ?ATTR2
                        (ListFn @ROW))
                    (equal ?ATTR1 ?ATTR2))))))		 Merge.kif 509-517

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 17822-17822
(exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences AppraisalAsAvoidableConsequences AppraisalAsUnavoidableConsequences) emotion.kif 285-286
(exhaustiveAttribute AppraisalOfCausalAgency AppraisalAsCausedSupernaturally AppraisalAsCausedBySelf AppraisalAsCausedByChance AppraisalAsCausedByAnother) emotion.kif 596-598
(exhaustiveAttribute AppraisalOfCausalIntent AppraisalAsUnintended AppraisalAsDeliberate) emotion.kif 671-672
(exhaustiveAttribute AppraisalOfCongruenceWithIdeals AppraisalAsCongruentWithIdeals AppraisalAsNotCongruentWithIdeals) emotion.kif 461-462
(exhaustiveAttribute AppraisalOfDangerousness AppraisalAsNotDangerous AppraisalAsDangerous) emotion.kif 552-553
(exhaustiveAttribute AppraisalOfDesirabilityOfConsequences AppraisalAsDesirableConsequences AppraisalAsUndesirableConsequences) emotion.kif 397-398
(exhaustiveAttribute AppraisalOfExpectedness AppraisalAsExpected AppraisalAsNotExpected) emotion.kif 529-530
(exhaustiveAttribute AppraisalOfFamiliarity AppraisalAsFamiliar AppraisalAsNotFamiliar) emotion.kif 314-315
(exhaustiveAttribute AppraisalOfGoalImportance EvaluationAsImportantToGoals EvaluationAsNotImportantToGoals) emotion.kif 213-214
(exhaustiveAttribute AppraisalOfJusticeOfTreatment AppraisalAsUnjustTreatment AppraisalAsJustTreatment) emotion.kif 337-338
(exhaustiveAttribute AppraisalOfPleasantness AppraisalAsPleasant AppraisalAsUnpleasant) emotion.kif 495-496
(exhaustiveAttribute AppraisalOfPredictability AppraisalAsPredictable AppraisalAsNotPredictable) emotion.kif 240-241
(exhaustiveAttribute AppraisalOfSocialAttention AppraisalAsBeingAtTheCentreOfAttention AppraisalAsNotBeingAtTheCentreOfAttention) emotion.kif 640-642
(exhaustiveAttribute AppraisalOfSuddenness AppraisalAsSudden AppraisalAsNotSudden) emotion.kif 575-576
(exhaustiveAttribute AppraisalOfUrgency AppraisalAsNotUrgentResponse AppraisalAsUrgentResponse) emotion.kif 427-428
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 17876-17876
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1842-1842
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) Merge.kif 17296-17296
(exhaustiveAttribute RiskAttribute HighRisk LowRisk) FinancialOntology.kif 1861-1861
(exhaustiveAttribute SexAttribute Female Male) Merge.kif 17849-17849
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 3991-3991
(exhaustiveAttribute YieldAttribute HighYield LowYield) FinancialOntology.kif 1878-1878


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