No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2391-2393 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6152-6155 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1071-1073 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6149-6149 |
O argumento numero 1 de graphMeasure e' uma instancia de Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6150-6150 |
O argumento numero 2 de graphMeasure e' uma instancia de Unidade de Medida |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6148-6148 |
graphMeasure e' uma instancia de Predicado Binario |