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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 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
(documentation exhaustiveAttribute JapaneseLanguage "この述部は Class から Attributes のセットに関係している。要するに、このセットの要素が 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 Attributes, 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 域 詳盡的屬性, 2 and Attribute
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 488-488 域子類 詳盡的屬性, 1 and Attribute
(instance exhaustiveAttribute Predicate) Merge.kif 486-486 例 詳盡的屬性 and Predicate
(instance exhaustiveAttribute VariableArityRelation) Merge.kif 487-487 例 詳盡的屬性 and VariableArityRelation

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


(format ChineseLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3342-3342
(format ChineseTraditionalLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") domainEnglishFormat.kif 3341-3341
(format EnglishLanguage exhaustiveAttribute "%2 are all the attributes 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
(=>
    (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 18078-18078 活的 是所有的 AnimacyAttribute 的 attributes
(exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences AppraisalAsAvoidableConsequences AppraisalAsUnavoidableConsequences) emotion.kif 285-286 AppraisalAsAvoidableConsequences 是所有的 AppraisalOfAvoidabilityOfConsequences 的 attributes
(exhaustiveAttribute AppraisalOfCausalAgency AppraisalAsCausedSupernaturally AppraisalAsCausedBySelf AppraisalAsCausedByChance AppraisalAsCausedByAnother) emotion.kif 596-598 AppraisalAsCausedSupernaturally 是所有的 AppraisalOfCausalAgency 的 attributes
(exhaustiveAttribute AppraisalOfCausalIntent AppraisalAsUnintended AppraisalAsDeliberate) emotion.kif 671-672 AppraisalAsUnintended 是所有的 AppraisalOfCausalIntent 的 attributes
(exhaustiveAttribute AppraisalOfCongruenceWithIdeals AppraisalAsCongruentWithIdeals AppraisalAsNotCongruentWithIdeals) emotion.kif 461-462 AppraisalAsCongruentWithIdeals 是所有的 AppraisalOfCongruenceWithIdeals 的 attributes
(exhaustiveAttribute AppraisalOfDangerousness AppraisalAsNotDangerous AppraisalAsDangerous) emotion.kif 552-553 AppraisalAsNotDangerous 是所有的 AppraisalOfDangerousness 的 attributes
(exhaustiveAttribute AppraisalOfDesirabilityOfConsequences AppraisalAsDesirableConsequences AppraisalAsUndesirableConsequences) emotion.kif 397-398 AppraisalAsDesirableConsequences 是所有的 AppraisalOfDesirabilityOfConsequences 的 attributes
(exhaustiveAttribute AppraisalOfExpectedness AppraisalAsExpected AppraisalAsNotExpected) emotion.kif 529-530 AppraisalAsExpected 是所有的 AppraisalOfExpectedness 的 attributes
(exhaustiveAttribute AppraisalOfFamiliarity AppraisalAsFamiliar AppraisalAsNotFamiliar) emotion.kif 314-315 AppraisalAsFamiliar 是所有的 AppraisalOfFamiliarity 的 attributes
(exhaustiveAttribute AppraisalOfGoalImportance EvaluationAsImportantToGoals EvaluationAsNotImportantToGoals) emotion.kif 213-214 EvaluationAsImportantToGoals 是所有的 AppraisalOfGoalImportance 的 attributes
(exhaustiveAttribute AppraisalOfJusticeOfTreatment AppraisalAsUnjustTreatment AppraisalAsJustTreatment) emotion.kif 337-338 AppraisalAsUnjustTreatment 是所有的 AppraisalOfJusticeOfTreatment 的 attributes
(exhaustiveAttribute AppraisalOfPleasantness AppraisalAsPleasant AppraisalAsUnpleasant) emotion.kif 495-496 AppraisalAsPleasant 是所有的 AppraisalOfPleasantness 的 attributes
(exhaustiveAttribute AppraisalOfPredictability AppraisalAsPredictable AppraisalAsNotPredictable) emotion.kif 240-241 AppraisalAsPredictable 是所有的 AppraisalOfPredictability 的 attributes
(exhaustiveAttribute AppraisalOfSocialAttention AppraisalAsBeingAtTheCentreOfAttention AppraisalAsNotBeingAtTheCentreOfAttention) emotion.kif 640-642 AppraisalAsBeingAtTheCentreOfAttention 是所有的 AppraisalOfSocialAttention 的 attributes
(exhaustiveAttribute AppraisalOfSuddenness AppraisalAsSudden AppraisalAsNotSudden) emotion.kif 575-576 AppraisalAsSudden 是所有的 AppraisalOfSuddenness 的 attributes
(exhaustiveAttribute AppraisalOfUrgency AppraisalAsNotUrgentResponse AppraisalAsUrgentResponse) emotion.kif 427-428 AppraisalAsNotUrgentResponse 是所有的 AppraisalOfUrgency 的 attributes
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18136-18136 完全成型 是所有的 DevelopmentalAttribute 的 attributes
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1831-1831 高流動性 是所有的 流動性屬性 的 attributes
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17543-17543 固體 是所有的 PhysicalState 的 attributes
(exhaustiveAttribute RiskAttribute HighRisk LowRisk) FinancialOntology.kif 1851-1851 高風險 是所有的 風險屬性 的 attributes
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18105-18105 女 是所有的 SexAttribute 的 attributes
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 4069-4069 火山活躍 是所有的 火山狀況 的 attributes
(exhaustiveAttribute YieldAttribute HighYield LowYield) FinancialOntology.kif 1869-1869 高產 是所有的 屈服屬性 的 attributes


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