SymmetricRelation | ![]() |
appearance as argument number 1 |
![]() |
(disjoint SymmetricRelation AntisymmetricRelation) | Merge.kif 2173-2173 | |
(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 2175-2177 | |
(subclass SymmetricRelation BinaryRelation) | Merge.kif 2172-2172 |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?REL SymmetricRelation) (forall (?INST1 ?INST2) (=> (?REL ?INST1 ?INST2) (?REL ?INST2 ?INST1)))) |
Merge.kif 2179-2184 |
consequent |
![]() |
(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3592-3597 |
![]() |
![]() |