No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4615-4617 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4609-4609 |
O argumento numero 1 de meceCollection e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4611-4611 |
O argumento numero 2 de meceCollection e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4607-4607 |
meceCollection e' uma instancia de Predicado Binario |