(subclass TotalValuedRelation Relation) | Merge.kif 2194-2194 | Total valued relation is a subclass of relation |
(subclass TotalValuedRelation InheritableRelation) | Merge.kif 2195-2195 | Total valued relation is a subclass of inheritable relation |
(subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2368-2368 | Partial ordering relation is a subclass of total valued relation |
(subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6448-6448 | Unit of measure multiplier is a subclass of total valued relation |