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 484-488
(documentation exhaustiveAttribute JapaneseLanguage "この述部は Class から Attributes のセットに関係している。要するに、このセットの要素が Class のインスタンスを使い果たす、という 意味である。 例えば、(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) とは&、%PhysicalState, すなわちインスタンス、が5つしかないことを意味している。 それらは Solid, Fluid, Liquid, GasPlasma である。") 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 482-482 exhaustiveAttribute の数値 2 引数は 属性instance では
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 481-481 exhaustiveAttribute の数値 1 引数は 属性subclass では
(instance exhaustiveAttribute Predicate) Merge.kif 479-479 exhaustiveAttribute述語instance では
(instance exhaustiveAttribute VariableArityRelation) Merge.kif 480-480 exhaustiveAttribute可変項数関係instance では

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


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

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


(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR ?CLASS))
Merge.kif 496-500
(=>
    (and
        (exhaustiveAttribute ?CLASS @ROW)
        (inList ?ATTR
            (ListFn @ROW)))
    (instance ?ATTR Attribute))
Merge.kif 490-494
(=>
    (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 512-524
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (forall (?ATTR1)
        (=>
            (instance ?ATTR1 ?CLASS)
            (exists (?ATTR2)
                (and
                    (inList ?ATTR2
                        (ListFn @ROW))
                    (equal ?ATTR1 ?ATTR2))))))
Merge.kif 502-510

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


(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18249-18249 exhaustiveAttribute 有生性属性, Living and Dead
(exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences AppraisalAsAvoidableConsequences AppraisalAsUnavoidableConsequences) emotion.kif 285-286 exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences, AppraisalAsAvoidableConsequences and AppraisalAsUnavoidableConsequences
(exhaustiveAttribute AppraisalOfCausalAgency AppraisalAsCausedSupernaturally AppraisalAsCausedBySelf AppraisalAsCausedByChance AppraisalAsCausedByAnother) emotion.kif 596-598 exhaustiveAttribute AppraisalOfCausalAgency, AppraisalAsCausedSupernaturally, AppraisalAsCausedBySelf, AppraisalAsCausedByChance and AppraisalAsCausedByAnother
(exhaustiveAttribute AppraisalOfCausalIntent AppraisalAsUnintended AppraisalAsDeliberate) emotion.kif 671-672 exhaustiveAttribute AppraisalOfCausalIntent, AppraisalAsUnintended and AppraisalAsDeliberate
(exhaustiveAttribute AppraisalOfCongruenceWithIdeals AppraisalAsCongruentWithIdeals AppraisalAsNotCongruentWithIdeals) emotion.kif 461-462 exhaustiveAttribute AppraisalOfCongruenceWithIdeals, AppraisalAsCongruentWithIdeals and AppraisalAsNotCongruentWithIdeals
(exhaustiveAttribute AppraisalOfDangerousness AppraisalAsNotDangerous AppraisalAsDangerous) emotion.kif 552-553 exhaustiveAttribute AppraisalOfDangerousness, AppraisalAsNotDangerous and AppraisalAsDangerous
(exhaustiveAttribute AppraisalOfDesirabilityOfConsequences AppraisalAsDesirableConsequences AppraisalAsUndesirableConsequences) emotion.kif 397-398 exhaustiveAttribute AppraisalOfDesirabilityOfConsequences, AppraisalAsDesirableConsequences and AppraisalAsUndesirableConsequences
(exhaustiveAttribute AppraisalOfExpectedness AppraisalAsExpected AppraisalAsNotExpected) emotion.kif 529-530 exhaustiveAttribute AppraisalOfExpectedness, AppraisalAsExpected and AppraisalAsNotExpected
(exhaustiveAttribute AppraisalOfFamiliarity AppraisalAsFamiliar AppraisalAsNotFamiliar) emotion.kif 314-315 exhaustiveAttribute AppraisalOfFamiliarity, AppraisalAsFamiliar and AppraisalAsNotFamiliar
(exhaustiveAttribute AppraisalOfGoalImportance EvaluationAsImportantToGoals EvaluationAsNotImportantToGoals) emotion.kif 213-214 exhaustiveAttribute AppraisalOfGoalImportance, EvaluationAsImportantToGoals and EvaluationAsNotImportantToGoals
(exhaustiveAttribute AppraisalOfJusticeOfTreatment AppraisalAsUnjustTreatment AppraisalAsJustTreatment) emotion.kif 337-338 exhaustiveAttribute AppraisalOfJusticeOfTreatment, AppraisalAsUnjustTreatment and AppraisalAsJustTreatment
(exhaustiveAttribute AppraisalOfPleasantness AppraisalAsPleasant AppraisalAsUnpleasant) emotion.kif 495-496 exhaustiveAttribute AppraisalOfPleasantness, AppraisalAsPleasant and AppraisalAsUnpleasant
(exhaustiveAttribute AppraisalOfPredictability AppraisalAsPredictable AppraisalAsNotPredictable) emotion.kif 240-241 exhaustiveAttribute AppraisalOfPredictability, AppraisalAsPredictable and AppraisalAsNotPredictable
(exhaustiveAttribute AppraisalOfSocialAttention AppraisalAsBeingAtTheCentreOfAttention AppraisalAsNotBeingAtTheCentreOfAttention) emotion.kif 640-642 exhaustiveAttribute AppraisalOfSocialAttention, AppraisalAsBeingAtTheCentreOfAttention and AppraisalAsNotBeingAtTheCentreOfAttention
(exhaustiveAttribute AppraisalOfSuddenness AppraisalAsSudden AppraisalAsNotSudden) emotion.kif 575-576 exhaustiveAttribute AppraisalOfSuddenness, AppraisalAsSudden and AppraisalAsNotSudden
(exhaustiveAttribute AppraisalOfUrgency AppraisalAsNotUrgentResponse AppraisalAsUrgentResponse) emotion.kif 427-428 exhaustiveAttribute AppraisalOfUrgency, AppraisalAsNotUrgentResponse and AppraisalAsUrgentResponse
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed) Merge.kif 18308-18308 exhaustiveAttribute 発達属性, FullyFormed and NonFullyFormed
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1848-1848 exhaustiveAttribute LiquidityAttribute, HighLiquidity and LowLiquidity
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) Merge.kif 17711-17711 exhaustiveAttribute 物理状態, Solid, Liquid, Gas and Plasma
(exhaustiveAttribute RiskAttribute HighRisk LowRisk) FinancialOntology.kif 1868-1868 exhaustiveAttribute RiskAttribute, HighRisk and LowRisk
(exhaustiveAttribute SexAttribute Female Male NonBinaryGender) Merge.kif 18276-18276 exhaustiveAttribute 性別属性, Female, Male and NonBinaryGender
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct) Geography.kif 4139-4139 exhaustiveAttribute VolcanoStatus, VolcanicallyActive, VolcanicallyDormant and VolcanicallyExtinct
(exhaustiveAttribute YieldAttribute HighYield LowYield) FinancialOntology.kif 1886-1886 exhaustiveAttribute YieldAttribute, HighYield and LowYield


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