TreeView Knowledge Base Browser - registeredUser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - registeredUser

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 1053-1056
(domain registeredUser 1 Agent)	UXExperimentalTerms.kif 1049-1049	The number 1 argument of registered user is an instance of agent
(domain registeredUser 2 WebSite)	UXExperimentalTerms.kif 1051-1051	The number 2 argument of registered user is an instance of WebSite
(instance registeredUser BinaryPredicate)	UXExperimentalTerms.kif 1047-1047	registered user is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage registeredUser "%1 是 %2 的 registered user ")	domainEnglishFormat.kif 4375-4375
(format ChineseTraditionalLanguage registeredUser "%1 是 %2 的 registered user ")	domainEnglishFormat.kif 4374-4374
(format EnglishLanguage registeredUser "%1 is a registered user of %2")	domainEnglishFormat.kif 4373-4373
(termFormat EnglishLanguage registeredUser "registered user")	UXExperimentalTerms.kif 1058-1058

antecedent

(=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE))))	UXExperimentalTerms.kif 1068-1074	If an agent is a registered user of a WebSite, then there exists an user account such that the user account is an instance of user account and the agent has account the user account and the user account is an account at the WebSite
(=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER))))	UXExperimentalTerms.kif 1060-1066	If an agent is a registered user of a WebSite, then there exist a database and an object such that the database is the user database for the WebSite and the object is a part of the database and the object expresses the agent

consequent

(=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 1076-1080	If an user account is an account at a WebSite and an agent has account the user account, then the agent is a registered user of the WebSite
(=> (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 3633-3660	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an object if the object is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the object is a registered user of the WebSite holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the object is a registered user of the WebSite holds during the time interval, then the object is a member of the collection and the collection is equal to new registrations at the WebSite during the time interval
(=> (and (newRegisteredUsers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?DURING) (and (instance ?DURING TimeInterval) (during ?DURING ?INT) (holdsDuring ?DURING (registeredUser ?MEMBER ?SITE)))))	UXExperimentalTerms.kif 3834-3843	If members of a collection have registered for a WebSite during a time interval and an object is a member of the collection, then there exists another time interval such that the other time interval is an instance of time interval and the other time interval takes place during the time interval and the object is a registered user of the WebSite holds during the other time interval
(=> (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 3845-3855	If members of a collection have registered for a WebSite during a time interval and an object is a member of the collection, then there doesn't exist another time interval such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the object is a registered user of the WebSite holds during the other time interval
(=> (confirmedRegisteredUser ?USER ?SITE) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 1098-1100	If an agent is registered on a WebSite, then the agent is a registered user of the WebSite
(=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 1443-1445	If user an agent on a WebSite is watching a collection, then the agent is a registered user of the WebSite

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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