No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3162-3163 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3158-3158 |
O argumento numero 1 de GPIFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3160-3160 |
O argumento numero 2 de GPIFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3156-3156 |
GPIFn e' uma instancia de Funcao Binaria |