| (subclass AsymmetricRelation IrreflexiveRelation) | Merge.kif 2270-2270 | 非対称関係 は 非反射関係 の subclass では |
| (subclass AsymmetricRelation AntisymmetricRelation) | Merge.kif 2271-2271 | 非対称関係 は 反対称関係 の subclass では |
| (subclass CaseRole AsymmetricRelation) | Merge.kif 2398-2398 | 格役割 は 非対称関係 の subclass では |
| (subclass PropositionalAttitude AsymmetricRelation) | Merge.kif 2691-2691 | 命題態度 は 非対称関係 の subclass では |
|
|