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 |
The number 1 argument of site speed is an instance of accessing web page |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3745-3745 |
Site speed is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3749-3749 |
The range of site speed is an instance of time interval |