| appearance as argument number 1 |
|
| (documentation SiteWideNewRegistrationsFn EnglishLanguage "(SiteWideNewRegistrationsFn ?INTERVAL ?SITE) returns a collection of Agents who were not registerUsers of ?SITE before ?INTERVAL, but were registeredUsers for some Interval during ?INTERVAL") | UXExperimentalTerms.kif 3632-3634 | |
| (domain SiteWideNewRegistrationsFn 1 TimeInterval) | UXExperimentalTerms.kif 3624-3624 | |
| (domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3626-3626 | |
| (instance SiteWideNewRegistrationsFn BinaryFunction) | UXExperimentalTerms.kif 3622-3622 | |
| (range SiteWideNewRegistrationsFn Collection) | UXExperimentalTerms.kif 3628-3628 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期间 %1 ") | domainEnglishFormat.kif 4551-4551 | |
| (format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ") | domainEnglishFormat.kif 4550-4550 | |
| (format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1") | domainEnglishFormat.kif 4549-4549 | |
| (termFormat EnglishLanguage SiteWideNewRegistrationsFn "site-wide new registrations") | UXExperimentalTerms.kif 3630-3630 |
| consequent |
|
|
| (=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE))))) |
UXExperimentalTerms.kif 3636-3663 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners