(subclass TotalValuedRelation Relation) | Merge.kif 2194-2194 | RelazioneAValoreTotale è una sottoclasse di Relazione |
(subclass TotalValuedRelation InheritableRelation) | Merge.kif 2195-2195 | RelazioneAValoreTotale è una sottoclasse di InheritableRelation |
(subclass PartialOrderingRelation TotalValuedRelation) | Merge.kif 2368-2368 | RelazioneDiOrdineParziale è una sottoclasse di RelazioneAValoreTotale |
(subclass UnitOfMeasureMultiplier TotalValuedRelation) | Merge.kif 6449-6449 | UnitOfMeasureMultiplier è una sottoclasse di RelazioneAValoreTotale |