No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3471-3473 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3463-3463 |
域 SiteWideNewSellersFn, 1 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3465-3465 |
域 SiteWideNewSellersFn, 2 and WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3461-3461 |
例 SiteWideNewSellersFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3467-3467 |
範圍 SiteWideNewSellersFn and Collection |