No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3753-3757 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3747-3747 |
O argumento numero 1 de SiteSpeedFn e' uma instancia de AccessingWebPage |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3745-3745 |
SiteSpeedFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3749-3749 |
O contra-dominio de SiteSpeedFn e' uma instancia de Intervalo Temporal |