exhaustiveAttribute - Sigma Knowledge base Browser

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 493-497
(domain exhaustiveAttribute 2 Attribute)	Merge.kif 491-491	domain exhaustiveAttribute, 2 and Attribute
(domainSubclass exhaustiveAttribute 1 Attribute)	Merge.kif 490-490	domainSubclass exhaustiveAttribute, 1 and Attribute
(instance exhaustiveAttribute Predicate)	Merge.kif 488-488	instance exhaustiveAttribute and Predicate
(instance exhaustiveAttribute VariableArityRelation)	Merge.kif 489-489	instance exhaustiveAttribute and VariableArityRelation

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 22699-22699	termFormat ChineseLanguage, exhaustiveAttribute and "详尽的属性"
(termFormat ChineseTraditionalLanguage exhaustiveAttribute "詳盡的屬性")	domainEnglishFormat.kif 22698-22698	termFormat ChineseTraditionalLanguage, exhaustiveAttribute and "詳盡的屬性"
(termFormat EnglishLanguage exhaustiveAttribute "exhaustive attribute")	domainEnglishFormat.kif 22697-22697	termFormat EnglishLanguage, exhaustiveAttribute and "exhaustive attribute"

antecedent

(=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR ?CLASS))	Merge.kif 505-509	exhaustiveAttribute Attribute and @ROW inList Entity and ListFn @ROW instance Entity and Attribute
(=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR Attribute))	Merge.kif 499-503	exhaustiveAttribute Attribute and @ROW inList Entity and ListFn @ROW instance Entity and Attribute
(=> (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 521-533	exhaustiveAttribute Attribute and @ROW Entity instance Entity and Attribute Entity PositiveInteger equal Entity and Entity equal Entity and ListOrderFn ListFn @ROW and PositiveInteger
(=> (exhaustiveAttribute ?CLASS @ROW) (=> (equal ?ATTR1 (ListOrderFn (ListFn @ROW) ?N1)) (not (exists (?ATTR2 ?N2) (and (equal ?ATTR1 ?ATTR2) (not (equal ?N1 ?N2)))))))	Merge.kif 535-545	exhaustiveAttribute Attribute and @ROW equal Entity and ListOrderFn ListFn @ROW and PositiveInteger Entity Entity equal Entity and Entity equal PositiveInteger and Entity
(=> (exhaustiveAttribute ?CLASS @ROW) (forall (?ATTR1) (=> (instance ?ATTR1 ?CLASS) (exists (?ATTR2) (and (inList ?ATTR2 (ListFn @ROW)) (equal ?ATTR1 ?ATTR2))))))	Merge.kif 511-519	exhaustiveAttribute Attribute and @ROW Entity instance Entity and Attribute Entity inList Entity and ListFn @ROW equal Entity and Entity

appearance as argument number 0

(exhaustiveAttribute AnimacyAttribute Living Dead)	Merge.kif 16643-16643	exhaustiveAttribute AnimacyAttribute, Living and Dead
(exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences AppraisalAsAvoidableConsequences AppraisalAsUnavoidableConsequences)	emotion.kif 285-286	exhaustiveAttribute AppraisalOfAvoidabilityOfConsequences, AppraisalAsAvoidableConsequences and AppraisalAsUnavoidableConsequences
(exhaustiveAttribute AppraisalOfCausalAgency AppraisalAsCausedSupernaturally AppraisalAsCausedBySelf AppraisalAsCausedByChance AppraisalAsCausedByAnother)	emotion.kif 595-597	exhaustiveAttribute AppraisalOfCausalAgency, AppraisalAsCausedSupernaturally, AppraisalAsCausedBySelf, AppraisalAsCausedByChance and AppraisalAsCausedByAnother
(exhaustiveAttribute AppraisalOfCausalIntent AppraisalAsUnintended AppraisalAsDeliberate)	emotion.kif 670-671	exhaustiveAttribute AppraisalOfCausalIntent, AppraisalAsUnintended and AppraisalAsDeliberate
(exhaustiveAttribute AppraisalOfCongruenceWithIdeals AppraisalAsCongruentWithIdeals AppraisalAsNotCongruentWithIdeals)	emotion.kif 460-461	exhaustiveAttribute AppraisalOfCongruenceWithIdeals, AppraisalAsCongruentWithIdeals and AppraisalAsNotCongruentWithIdeals
(exhaustiveAttribute AppraisalOfDangerousness AppraisalAsNotDangerous AppraisalAsDangerous)	emotion.kif 551-552	exhaustiveAttribute AppraisalOfDangerousness, AppraisalAsNotDangerous and AppraisalAsDangerous
(exhaustiveAttribute AppraisalOfDesirabilityOfConsequences AppraisalAsDesirableConsequences AppraisalAsUndesirableConsequences)	emotion.kif 396-397	exhaustiveAttribute AppraisalOfDesirabilityOfConsequences, AppraisalAsDesirableConsequences and AppraisalAsUndesirableConsequences
(exhaustiveAttribute AppraisalOfExpectedness AppraisalAsExpected AppraisalAsNotExpected)	emotion.kif 528-529	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 494-495	exhaustiveAttribute AppraisalOfPleasantness, AppraisalAsPleasant and AppraisalAsUnpleasant
(exhaustiveAttribute AppraisalOfPredictability AppraisalAsPredictable AppraisalAsNotPredictable)	emotion.kif 240-241	exhaustiveAttribute AppraisalOfPredictability, AppraisalAsPredictable and AppraisalAsNotPredictable
(exhaustiveAttribute AppraisalOfSocialAttention AppraisalAsBeingAtTheCentreOfAttention AppraisalAsNotBeingAtTheCentreOfAttention)	emotion.kif 639-641	exhaustiveAttribute AppraisalOfSocialAttention, AppraisalAsBeingAtTheCentreOfAttention and AppraisalAsNotBeingAtTheCentreOfAttention
(exhaustiveAttribute AppraisalOfSuddenness AppraisalAsSudden AppraisalAsNotSudden)	emotion.kif 574-575	exhaustiveAttribute AppraisalOfSuddenness, AppraisalAsSudden and AppraisalAsNotSudden
(exhaustiveAttribute AppraisalOfUrgency AppraisalAsNotUrgentResponse AppraisalAsUrgentResponse)	emotion.kif 426-427	exhaustiveAttribute AppraisalOfUrgency, AppraisalAsNotUrgentResponse and AppraisalAsUrgentResponse
(exhaustiveAttribute DevelopmentalAttribute FullyFormed NonFullyFormed)	Merge.kif 16697-16697	exhaustiveAttribute DevelopmentalAttribute, FullyFormed and NonFullyFormed
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity)	FinancialOntology.kif 1767-1767	exhaustiveAttribute LiquidityAttribute, HighLiquidity and LowLiquidity
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma)	Merge.kif 16214-16214	exhaustiveAttribute PhysicalState, Solid, Fluid, Liquid, Gas and Plasma
(exhaustiveAttribute RiskAttribute HighRisk LowRisk)	FinancialOntology.kif 1787-1787	exhaustiveAttribute RiskAttribute, HighRisk and LowRisk
(exhaustiveAttribute SexAttribute Female Male)	Merge.kif 16670-16670	exhaustiveAttribute SexAttribute, Female and Male
(exhaustiveAttribute VolcanoStatus VolcanicallyActive VolcanicallyDormant VolcanicallyExtinct)	Geography.kif 3861-3861	exhaustiveAttribute VolcanoStatus, VolcanicallyActive, VolcanicallyDormant and VolcanicallyExtinct
(exhaustiveAttribute YieldAttribute HighYield LowYield)	FinancialOntology.kif 1805-1805	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: