No TPTP formula. May not be expressible in strict first order. | Geography.kif 642-642 | BinaryRelationExtendedToQuantities e' uma sub-classe de Relacao estendida a Quantidades |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 643-643 | BinaryRelationExtendedToQuantities e' uma sub-classe de Predicado Binario |