No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4172-4173 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4166-4166 |
The number 1 argument of qualifed page views is an instance of human |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4164-4164 |
Qualifed page views is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4168-4168 |
The range of qualifed page views is an instance of collection |