Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| exhaustiveAttribute |
| appearance as argument number 1 |
|
| (instance exhaustiveAttribute Predicate) | Merge.kif 478-478 | exhaustive attribute is an instance of predicate |
| (instance exhaustiveAttribute VariableArityRelation) | Merge.kif 479-479 | exhaustive attribute is an instance of variable arity relation |
| (domainSubclass exhaustiveAttribute 1 Attribute) | Merge.kif 480-480 | The number 1 argument of exhaustive attribute is a subclass of attribute |
| (domain exhaustiveAttribute 2 Attribute) | Merge.kif 481-481 | The number 2 argument of exhaustive attribute is an instance of attribute |
| (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 483-487 | The number 2 argument of exhaustive attribute is an instance of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage exhaustiveAttribute "%2 are all the attributes of %1") | domainEnglishFormat.kif 3338-3338 | |
| (format ChineseTraditionalLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") | domainEnglishFormat.kif 3339-3339 | |
| (format ChineseLanguage exhaustiveAttribute "%2 是所有的 %1 的 attributes ") | domainEnglishFormat.kif 3340-3340 | |
| (termFormat EnglishLanguage exhaustiveAttribute "exhaustive attribute") | domainEnglishFormat.kif 22765-22765 | |
| (termFormat ChineseTraditionalLanguage exhaustiveAttribute "詳盡的屬性") | domainEnglishFormat.kif 22766-22766 | |
| (termFormat ChineseLanguage exhaustiveAttribute "详尽的属性") | domainEnglishFormat.kif 22767-22767 |
| antecedent |
|
|
| (=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR Attribute)) |
Merge.kif 489-493 | If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of attribute |
| (=> (and (exhaustiveAttribute ?CLASS @ROW) (inList ?ATTR (ListFn @ROW))) (instance ?ATTR ?CLASS)) |
Merge.kif 495-499 | If @ROW are all the attributes of Y and Z is a member of (@ROW), then Z is an instance of Y |
| (=> (exhaustiveAttribute ?CLASS @ROW) (forall (?ATTR1) (=> (instance ?ATTR1 ?CLASS) (exists (?ATTR2) (and (inList ?ATTR2 (ListFn @ROW)) (equal ?ATTR1 ?ATTR2)))))) |
Merge.kif 501-509 | If @ROW are all the attributes of Y, then For all Entity Z: if Z is an instance of Y, then there exists W such that W is a member of (@ROW) and equal Z and W |
| (=> (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 511-523 | If @ROW are all the attributes of Y, then there doesn't exist Z such that Z is an instance of Y and there don't exist W and V such that equal Z and W and equal W and U element of (@ROW) |
| appearance as argument number 0 |
|
|
|