| 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 2273-2274 | |
| (documentation AsymmetricRelation JapaneseLanguage "%BinaryRelation は %AntisymmetricRelation と IrreflexiveRelation の両方である場合のみ非対称でる。") | japanese_format.kif 459-460 | |
| (externalImage AsymmetricRelation "http://upload.wikimedia.org/math/1/0/ f/ 10ff5b5037e4904130e011977405575e.png") | pictureList.kif 9892-9892 | |
| (subclass AsymmetricRelation AntisymmetricRelation) | Merge.kif 2271-2271 | 非対称関係 は 反対称関係 の subclass では |
| (subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2270-2270 | 非対称関係 は 非反射関係 の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?REL AsymmetricRelation) (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation))) |
Merge.kif 2276-2280 |
| consequent |
|
|
| (=> (and (instance ?REL AntisymmetricRelation) (instance ?REL IrreflexiveRelation)) (instance ?REL AsymmetricRelation)) |
Merge.kif 2282-2286 |
|
|
|