SiteWideNewSellersFn |
appearance as argument number 1 |
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 | The number 1 argument of site-wide new sellers is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3465-3465 | The number 2 argument of site-wide new sellers is an instance of web site |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3461-3461 | Site-wide new sellers is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3467-3467 | The range of site-wide new sellers is an instance of collection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4546-4546 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4545-4545 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4544-4544 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3469-3469 |
consequent |