| (subclass PartialOrderingRelation TransitiveRelation) | Merge.kif 2365-2365 | PartialOrderingRelation ist eine teilkategorie von TransitiveRelation |
| (subclass PartialOrderingRelation AntisymmetricRelation) | Merge.kif 2366-2366 | PartialOrderingRelation ist eine teilkategorie von AntisymmetricRelation |
| (subclass PartialOrderingRelation ReflexiveRelation) | Merge.kif 2367-2367 | PartialOrderingRelation ist eine teilkategorie von ReflexiveRelation |
| (subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2368-2368 | PartialOrderingRelation ist eine teilkategorie von TotalValuedRelation |
| (subclass TotalOrderingRelation PartialOrderingRelation) | Merge.kif 2374-2374 | TotalOrderingRelation ist eine teilkategorie von PartialOrderingRelation |
| (instance subclass PartialOrderingRelation) | Merge.kif 130-130 | subclass ist ein fall von PartialOrderingRelation %n{nicht} |
|
|