SiteWideNewRegistrationsFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3424-3426 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3416-3416 | The number 1 argument of site-wide new registrations is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3418-3418 | The number 2 argument of site-wide new registrations is an instance of web site |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3414-3414 | Site-wide new registrations is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3420-3420 | The range of site-wide new registrations is an instance of collection |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4542-4542 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4541-4541 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4540-4540 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3422-3422 |
consequent |