(subclass ProbabilityRelation Relation) | Merge.kif 2564-2564 | Relacao de Probabilidade e' uma sub-classe de Relacao |
(subclass ProbabilityRelation InheritableRelation) | Merge.kif 2565-2565 | Relacao de Probabilidade e' uma sub-classe de InheritableRelation |