No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3090-3091 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3084-3084 |
O argumento numero 1 de PPIFn e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3086-3086 |
O argumento numero 2 de PPIFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3082-3082 |
PPIFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3088-3088 |
O contra-dominio de PPIFn e' uma instancia de Numero Real |