| appearance as argument number 1 |
|
| (instance SiteWideNewRegistrationsFn BinaryFunction) | UXExperimentalTerms.kif 3413-3413 | Site_wide new registrations is an instance of binary function |
| (domain SiteWideNewRegistrationsFn 1 TimeInterval) | UXExperimentalTerms.kif 3415-3415 | The number 1 argument of site_wide new registrations is an instance of timeframe |
| (domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3417-3417 | The number 2 argument of site_wide new registrations is an instance of web site |
| (range SiteWideNewRegistrationsFn Collection) | UXExperimentalTerms.kif 3419-3419 | The range of site_wide new registrations is an instance of collection |
| (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 3423-3425 | The range of site_wide new registrations is an instance of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SiteWideNewRegistrationsFn "site_wide new registrations") | UXExperimentalTerms.kif 3421-3421 | |
| (format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1") | domainEnglishFormat.kif 4544-4544 | |
| (format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ") | domainEnglishFormat.kif 4545-4545 | |
| (format ChineseLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期间 %1 ") | domainEnglishFormat.kif 4546-4546 |
| 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 3427-3454 | If X is an instance of timeframe and Y is an instance of web site, then All of the following hold: (1) there exists Z such that Z is an instance of collection (2) W W is an instance of human (3) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (4) ?INTERVAL_BEFORE happens earlier than X (5) W is a registered user of Y holds during ?INTERVAL_BEFORE (6) there exists ?INTERVAL_DURING such that ?INTERVAL_DURING is an instance of timeframe (7) ?INTERVAL_DURING takes place during X (8) W is a registered user of Y holds during XW is a member of Z (9) equal Z (10) new registrations at Y during X |
|
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