| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3478-3478 | Predicado Binario e' uma sub-classe de Predicado |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3479-3479 | Predicado Binario e' uma sub-classe de Relacao Binaria |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3480-3480 | Predicado Binario e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2400-2400 | Role em Caso e' uma sub-classe de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 643-643 | BinaryRelationExtendedToQuantities e' uma sub-classe de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6406-6406 | SheddingPart e' uma sub-classe de Predicado Binario |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 129-129 | subclass e' uma instancia de Predicado Binario |
|
|