AsymmetricRelation![]() |
appearance as argument number 1 |
![]() |
(documentation AsymmetricRelation ChineseLanguage "一个 BinaryRelation 属于不对称关系 当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。") | chinese_format.kif 1839-1840 | |
(documentation AsymmetricRelation EnglishLanguage "A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.") | Merge.kif 2223-2224 | |
(externalImage AsymmetricRelation "http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png") | pictureList.kif 9901-9901 | |
(subclass AsymmetricRelation AntisymmetricRelation) | Merge.kif 2221-2221 | |
(subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2220-2220 |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2226-2230 |
consequent |
![]() |
(=> (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation)) (instance ?REL AsymmetricRelation)) |
Merge.kif 2232-2236 |
![]() |
![]() |