(subclass ProbabilityRelation Relation) | Merge.kif 2564-2564 | RelazioneDiProbabilit� è una sottoclasse di Relazione |
(subclass ProbabilityRelation InheritableRelation) | Merge.kif 2565-2565 | RelazioneDiProbabilit� è una sottoclasse di InheritableRelation |