No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4076-4077 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4072-4072 |
域 qualifiedPageView, 1 and 試驗 |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4074-4074 |
域 qualifiedPageView, 2 and AccessingWebPage |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 4070-4070 |
例 qualifiedPageView and BinaryPredicate |