(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 |