| No TPTP formula. May not be expressible in strict first order. | Merge.kif 200-205 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | InheritableRelation e' uma sub-classe de Relacao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2177-2177 | Relacao com Valor Unico e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | Relacao Total e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2233-2233 | Relacao Binaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2401-2401 | Role em Caso e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2565-2565 | Relacao de Probabilidade e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2657-2657 | Relacao Espacial e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2664-2664 | Relacao Temporal e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2670-2670 | IntentionalRelation e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2696-2696 | Atitude pProposicional e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2709-2709 | Atitude em relacao a um Objeto e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2855-2855 | Relacao Ternaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2862-2862 | Relacao Quaternaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2869-2869 | Relacao Quinquenaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3340-3340 | Predicado e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3351-3351 | Funcao e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3360-3360 | Funcao Unaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3400-3400 | Funcao Binaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3452-3452 | Funcao Ternaria e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3463-3463 | Funcao Quaternaria e' uma sub-classe de InheritableRelation |
| 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 3491-3491 | Predicado Ternario e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | Predicado Quaternario e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3513-3513 | Predicado Quinquenario e' uma sub-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3534-3534 | Relacao estendida a Quantidades e' uma sub-classe de InheritableRelation |
|
|