(subclass AntisymmetricRelation BinaryRelation) | Merge.kif 2303-2303 | Antisymmetric relation is a subclass of binary relation |
(subclass AsymmetricRelation AntisymmetricRelation) | Merge.kif 2286-2286 | Asymmetric relation is a subclass of antisymmetric relation |
(subclass PartialOrderingRelation AntisymmetricRelation) | Merge.kif 2377-2377 | Partial ordering relation is a subclass of antisymmetric relation |
![]() |