| 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 1055-1058 | |
| (domain registeredUser 1 AutonomousAgent) | UXExperimentalTerms.kif 1051-1051 | |
| (domain registeredUser 2 WebSite) | UXExperimentalTerms.kif 1053-1053 | |
| (instance registeredUser BinaryPredicate) | UXExperimentalTerms.kif 1049-1049 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage registeredUser "%1 是 %2 的 registered user ") | domainEnglishFormat.kif 4370-4370 | |
| (format ChineseTraditionalLanguage registeredUser "%1 是 %2 的 registered user ") | domainEnglishFormat.kif 4369-4369 | |
| (format EnglishLanguage registeredUser "%1 is a registered user of %2") | domainEnglishFormat.kif 4368-4368 | |
| (termFormat EnglishLanguage registeredUser "registered user") | UXExperimentalTerms.kif 1060-1060 |
| 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 2830-2844 | |
| (=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE)))) |
UXExperimentalTerms.kif 1070-1076 | |
| (=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER)))) |
UXExperimentalTerms.kif 1062-1068 |
| consequent |
|
|
| (=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1078-1082 | |
| (=> (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 3634-3661 | |
| (=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE))))) |
UXExperimentalTerms.kif 3835-3844 | |
| (=> (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 3846-3856 | |
| (=> (confirmedRegisteredUser ?USER ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1100-1102 | |
| (=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE)) |
UXExperimentalTerms.kif 1444-1446 |
|
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