SymmetricRelation(RelazioneSimmetrica) |
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 3714-3719 |
|