(subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | RelazioneEstesaAQuantit� è una sottoclasse di Relazione |
(subclass RelationExtendedToQuantities InheritableRelation) | Merge.kif 3534-3534 | RelazioneEstesaAQuantit� è una sottoclasse di InheritableRelation |
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | BinaryRelationExtendedToQuantities è una sottoclasse di RelazioneEstesaAQuantit� |
![]() |