No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3099-3099 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3096-3096 |
O argumento numero 1 de coilCount e' uma instancia de WireCoil |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3097-3097 |
O argumento numero 2 de coilCount e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3095-3095 |
coilCount e' uma instancia de Predicado Binario |