Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| equivalenceRelationOn |
| appearance as argument number 1 |
|
| (instance equivalenceRelationOn BinaryPredicate) | Merge.kif 3810-3810 | equivalence relation on is an instance of binary predicate |
| (domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3811-3811 | The number 1 argument of equivalence relation on is an instance of binary relation |
| (domain equivalenceRelationOn 2 Class) | Merge.kif 3812-3812 | The number 2 argument of equivalence relation on is an instance of class |
| (documentation equivalenceRelationOn EnglishLanguage "A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation.") | Merge.kif 3814-3817 | The number 2 argument of equivalence relation on is an instance of class |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") | domainEnglishFormat.kif 22357-22357 | |
| (termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") | domainEnglishFormat.kif 22358-22358 | |
| (termFormat ChineseLanguage equivalenceRelationOn "等价关系") | domainEnglishFormat.kif 22359-22359 | |
| (format EnglishLanguage equivalenceRelationOn "%1 is %n an equivalence relation on %2") | english_format.kif 99-99 |
| antecedent |
|
|
| (=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3819-3824 | If X is an equivalence relation on Y, then X is an instance of transitive relation, X is an instance of symmetric relation, and X is reflexive on Y |
|