|
|
   AsymmetricRelation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AsymmetricRelation ChineseLanguage "一个 BinaryRelation 属于不对称关系 当且仅当它既是一个 AntisymmetricRelation 又是一个 IrreflexiveRelation。") | Merge.kif 2412-2413 | |
| (documentation AsymmetricRelation EnglishLanguage "A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.") | Merge.kif 2410-2411 | |
| (externalImage AsymmetricRelation "http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png") | pictureList.kif 9911-9911 | externalImage 非对称关系 and "http://upload.wikimedia.org/math/1/0/f/10ff5b5037e4904130e011977405575e.png" |
| (subclass AsymmetricRelation AntisymmetricRelation) | Merge.kif 2409-2409 | 非对称关系 是 反对称关系 的 subclass |
| (subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2408-2408 | 非对称关系 是 非自反关系 的 subclass |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2415-2419 | 实体 是 非对称关系 的 instance 若且唯若 那个 实体 是 反对称关系 的 instance 和 那个 实体 是 非自反关系 的 instance |
|
|
|
