| 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 3424-3426 | |
| (domain SiteWideNewRegistrationsFn 1 TimeInterval) | UXExperimentalTerms.kif 3416-3416 | SiteWideNewRegistrationsFn の数値 1 引数は 時間間隔 の instance では |
| (domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3418-3418 | SiteWideNewRegistrationsFn の数値 2 引数は WebSite の instance では |
| (instance SiteWideNewRegistrationsFn BinaryFunction) | UXExperimentalTerms.kif 3414-3414 | SiteWideNewRegistrationsFn は 2変数関数 の instance では |
| (range SiteWideNewRegistrationsFn Collection) | UXExperimentalTerms.kif 3420-3420 | SiteWideNewRegistrationsFn の range は コレクション のインスタンス では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期间 %1 ") | domainEnglishFormat.kif 4546-4546 | |
| (format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ") | domainEnglishFormat.kif 4545-4545 | |
| (format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1") | domainEnglishFormat.kif 4544-4544 | |
| (termFormat EnglishLanguage SiteWideNewRegistrationsFn "site_wide new registrations") | UXExperimentalTerms.kif 3422-3422 |
| 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 3428-3455 |
|
|
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