No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4019-4020 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4015-4015 |
O argumento numero 1 de experimentID e' uma instancia de Identifier |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4017-4017 |
O argumento numero 2 de experimentID e' uma instancia de Experimenting |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4013-4013 |
experimentID e' uma instancia de Predicado Binario |