(subclass TotalValuedRelation Relation) | Merge.kif 2194-2194 | Relation total est une sous-classe de relation |
(subclass TotalValuedRelation InheritableRelation) | Merge.kif 2195-2195 | Relation total est une sous-classe de InheritableRelation |
(subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2368-2368 | Relation partiellement dirig�e est une sous-classe de relation total |
(subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6448-6448 | UnitOfMeasureMultiplier est une sous-classe de relation total |