| (subclass TotalValuedRelation Relation) | Merge.kif 2194-2194 | 合計値関係 は 関係 の subclass では %n |
| (subclass TotalValuedRelation InheritableRelation) | Merge.kif 2195-2195 | 合計値関係 は InheritableRelation の subclass では %n |
| (subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2368-2368 | 半順序関係 は 合計値関係 の subclass では %n |
| (subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6448-6448 | UnitOfMeasureMultiplier は 合計値関係 の subclass では %n |
|
|