registeredUser |
appearance as argument number 1 |
(documentation registeredUser EnglishLanguage "(registedUser ?AGENT ?SITE) means that ?AGENT is a registered user at the WebSite ?SITE - i.e. ?AGENT hasAccount a UserAccount and that UserAccount is an accountAtSite ?SITE. This also means that there is a part of the userDatabase of ?SITE that represents the ?AGENT.") | UXExperimentalTerms.kif 858-861 | |
(domain registeredUser 1 AutonomousAgent) | UXExperimentalTerms.kif 854-854 | registeredUser の数値 1 引数は AutonomousAgent の instance では %n |
(domain registeredUser 2 WebSite) | UXExperimentalTerms.kif 856-856 | registeredUser の数値 2 引数は WebSite の instance では %n |
(instance registeredUser BinaryPredicate) | UXExperimentalTerms.kif 852-852 | registeredUser は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage registeredUser "%1 是 %2 的 registered user ") | domainEnglishFormat.kif 4366-4366 | |
(format ChineseTraditionalLanguage registeredUser "%1 是 %2 的 registered user ") | domainEnglishFormat.kif 4365-4365 | |
(format EnglishLanguage registeredUser "%1 is a registered user of %2") | domainEnglishFormat.kif 4364-4364 | |
(termFormat EnglishLanguage registeredUser "registered user") | UXExperimentalTerms.kif 863-863 |
antecedent |
consequent |
(=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 881-885 | |
(=> (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 |
|
(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE))))) |
UXExperimentalTerms.kif 3629-3638 | |
(=> (and (newRegisteredUsers ?INT1 ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?INT2) (and (instance ?INT2 TimeInterval) (earlier ?INT2 ?INT1) (holdsDuring ?INT2 (registeredUser ?MEMBER ?SITE)))))) |
UXExperimentalTerms.kif 3640-3650 | |
(=> (confirmedRegisteredUser ?USER ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 903-905 | |
(=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1247-1249 |