(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) | Geography.kif 642-642 | BinaryRelationExtendedToQuantities e' uma sub-classe de Relacao estendida a Quantidades |
(subclass BinaryRelationExtendedToQuantities BinaryPredicate) | Geography.kif 643-643 | BinaryRelationExtendedToQuantities e' uma sub-classe de Predicado Binario |