|
|
   SymmetricRelation
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint SymmetricRelation AntisymmetricRelation) | Merge.kif 2261-2261 | RelazioneSimmetrica è disgiunto da RelazioneAntisimmetrica |
| (documentation SymmetricRelation ChineseLanguage "一个 BinaryRelation ?REL 属于对称关系只是 当且仅当所有的 ?INST1 和 ?INST2 是 (?REL ?INST1 ?INST2) 意味着 (?REL ?INST2 ?INST1)。") | chinese_format.kif 1837-1838 | |
| (documentation SymmetricRelation EnglishLanguage "A BinaryRelation ?REL is symmetric just iff (?REL ?INST1 ?INST2) imples (?REL ?INST2 ?INST1), for all ?INST1 and ?INST2.") | Merge.kif 2263-2265 | |
| (documentation SymmetricRelation JapaneseLanguage "BinaryRelation ?REL は、すべての ?INST1 および ?INST2 に対して (?REL ?INST1 ?INST2) が (?REL ?INST2 ?INST1) の場合にのみ対称である。") | japanese_format.kif 457-458 | |
| (subclass SymmetricRelation BinaryRelation) | Merge.kif 2260-2260 | RelazioneSimmetrica è una sottoclasse di RelazioneBinaria |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?REL SymmetricRelation) (forall (?INST1 ?INST2) (=> (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)))) |
Merge.kif 2267-2272 |
| consequent |
|
|
| (=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3713-3718 |
|
|
|
|