| (subclass Relation Abstract) | Merge.kif 2159-2159 | |
| (subclass SingleValuedRelation Relation) | Merge.kif 2176-2176 | |
| (subclass TotalValuedRelation Relation) | Merge.kif 2194-2194 | |
| (subclass PartialValuedRelation Relation) | Merge.kif 2223-2223 | |
| (subclass BinaryRelation Relation) | Merge.kif 2232-2232 | |
| (subclass InheritableRelation Relation) | Merge.kif 2558-2558 | |
| (subclass ProbabilityRelation Relation) | Merge.kif 2564-2564 | |
| (subclass SpatialRelation Relation) | Merge.kif 2656-2656 | |
| (subclass TemporalRelation Relation) | Merge.kif 2663-2663 | |
| (subclass IntentionalRelation Relation) | Merge.kif 2671-2671 | |
| (subclass TernaryRelation Relation) | Merge.kif 2854-2854 | |
| (subclass QuaternaryRelation Relation) | Merge.kif 2861-2861 | |
| (subclass QuintaryRelation Relation) | Merge.kif 2868-2868 | |
| (subclass Predicate Relation) | Merge.kif 3339-3339 | |
| (subclass VariableArityRelation Relation) | Merge.kif 3522-3522 | |
| (subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | |
| (subclass PPPBasedEconomicValuation Relation) | Economy.kif 965-965 |
|
|