Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| registeredUser |
| appearance as argument number 1 |
|
| (instance registeredUser BinaryPredicate) | UXExperimentalTerms.kif 852-852 | registered user is an instance of binary predicate |
| (domain registeredUser 1 AutonomousAgent) | UXExperimentalTerms.kif 854-854 | The number 1 argument of registered user is an instance of agent |
| (domain registeredUser 2 WebSite) | UXExperimentalTerms.kif 856-856 | The number 2 argument of registered user is an instance of web site |
| (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 | The number 2 argument of registered user is an instance of web site |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage registeredUser "registered user") | UXExperimentalTerms.kif 863-863 | |
| (format EnglishLanguage registeredUser "%1 is a registered user of %2") | domainEnglishFormat.kif 4368-4368 | |
| (format ChineseTraditionalLanguage registeredUser "%1 是 %2 的 registered user ") | domainEnglishFormat.kif 4369-4369 | |
| (format ChineseLanguage registeredUser "%1 是 %2 的 registered user ") | domainEnglishFormat.kif 4370-4370 |
| antecedent |
|
|
| (=> (and (instance ?P DigitalPost) (instance ?A AutonomousAgent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W))))) |
ComputerInput.kif 2846-2860 | If All of the following hold: (1) X is an instance of digital post (2) Y is an instance of agent (3) Z is an instance of web site (4) X is a component of Z (5) Y created X (6) Y is a registered user of Z, then X has the purpose there exists W such that W is an instance of disseminating, Y is an agent of W, X is a patient of W, and Z is an instrument for W |
| (=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 865-871 | If X is a registered user of Y, then there exist Z, W such that Z is the user database for Y, W is a part of Z, and W expresses X |
| (=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE)))) |
UXExperimentalTerms.kif 873-879 | If X is a registered user of Y, then there exists Z such that Z is an instance of user account, X has account Z, and Z is an account at Y |
| consequent |
|
|
| (=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 881-885 | If X is an account at Y and Z has account X, then Z is a registered user of Y |
| (=> (confirmedRegisteredUser ?USER ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 903-905 | If X is registered on Y, then X is a registered user of Y |
| (=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1247-1249 | If user X on Y is watching Z, then X is a registered user of Y |
| (=> (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 |
| (=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE))))) |
UXExperimentalTerms.kif 3628-3637 | If members of X have registered for Y during Z and W is a member of X, then there exists V such that V is an instance of timeframe, V takes place during Z, and W is a registered user of Y holds during V |
| (=> (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 3639-3649 | If members of X have registered for Y during Z and W is a member of X, then there doesn't exist V such that V is an instance of timeframe, V happens earlier than Z, and W is a registered user of Y holds during V |
|