| 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 | The number 2 argument of exhaustive attribute is an instance of attribute |
| (domainSubclass exhaustiveAttribute 1 Attribute) | Merge.kif 488-488 | The number 1 argument of exhaustive attribute is a subclass of attribute |
| (instance exhaustiveAttribute Predicate) | Merge.kif 486-486 | exhaustive attribute is an instance of predicate |
| (instance exhaustiveAttribute VariableArityRelation) | Merge.kif 487-487 | exhaustive attribute is an instance of variable arity relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") | domainEnglishFormat.kif 3336-3336 | |
| (format ChineseTraditionalLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") | domainEnglishFormat.kif 3335-3335 | |
| (format EnglishLanguage exhaustiveAttribute "%2 are all the attributes of %1") | domainEnglishFormat.kif 3334-3334 | |
| (termFormat ChineseLanguage exhaustiveAttribute "详尽的属性") | domainEnglishFormat.kif 22786-22786 | |
| (termFormat ChineseTraditionalLanguage exhaustiveAttribute "詳盡的屬性") | domainEnglishFormat.kif 22785-22785 | |
| (termFormat EnglishLanguage exhaustiveAttribute "exhaustive attribute") | domainEnglishFormat.kif 22784-22784 |
| 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 |
|
|
|
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