newRegisteredUsers |
appearance as argument number 1 |
(documentation newRegisteredUsers EnglishLanguage "(newRegisteredUsers ?INT ?SITE ?COLL) means that ?COLL is the Collection of Agents who are registeredUsers of the WebSite ?SITE during some TimeInterval during the TimeInterval ?INT, but were not during an earlier TimeInterval.") | UXExperimentalTerms.kif 3619-3621 | |
(domain newRegisteredUsers 1 TimeInterval) | UXExperimentalTerms.kif 3611-3611 | The number 1 argument of new registered users is an instance of time interval |
(domain newRegisteredUsers 2 WebSite) | UXExperimentalTerms.kif 3613-3613 | The number 2 argument of new registered users is an instance of web site |
(domain newRegisteredUsers 3 Collection) | UXExperimentalTerms.kif 3615-3615 | The number 3 argument of new registered users is an instance of collection |
(instance newRegisteredUsers TernaryPredicate) | UXExperimentalTerms.kif 3609-3609 | new registered users is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage newRegisteredUsers "%3 的成员有 registered 对于 %2 在期间 %1 ") | domainEnglishFormat.kif 3974-3974 | |
(format ChineseTraditionalLanguage newRegisteredUsers "%3 的成員有 registered 對於 %2 在期間 %1 ") | domainEnglishFormat.kif 3973-3973 | |
(format EnglishLanguage newRegisteredUsers "members of %3 have registered for %2 during %1") | domainEnglishFormat.kif 3972-3972 | |
(termFormat EnglishLanguage newRegisteredUsers "new registered users") | UXExperimentalTerms.kif 3617-3617 |
antecedent |