(subclass RelationExtendedToQuantities Relation) | Merge.kif 3533-3533 | Relacao estendida a Quantidades e' uma sub-classe de Relacao |
(subclass RelationExtendedToQuantities InheritableRelation) | Merge.kif 3534-3534 | Relacao estendida a Quantidades e' uma sub-classe de InheritableRelation |
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | BinaryRelationExtendedToQuantities e' uma sub-classe de Relacao estendida a Quantidades |