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 858-861
(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
(instance registeredUser BinaryPredicate)	UXExperimentalTerms.kif 852-852	registered user is an instance of binary predicate

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 863-863

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	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a web site is an instance of web site and the corpuscular object is a component of the web site and the agent created the corpuscular object and the agent is a registered user of the web site, then the corpuscular object has the purpose there exists an entity such that the entity is an instance of disseminating and the agent is an agent of the entity and the corpuscular object is a patient of the entity and the web site is an instrument for the entity
(=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE))))	UXExperimentalTerms.kif 873-879	If an agent is a registered user of a web site, 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 web site
(=> (registeredUser ?USER ?WEBSITE) (exists (?DATABASE ?PART) (and (userDatabase ?DATABASE ?WEBSITE) (part ?PART ?DATABASE) (represents ?PART ?USER))))	UXExperimentalTerms.kif 865-871	If an agent is a registered user of a web site, then there exist a database and an object such that the database is the user database for the web site 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 881-885	If an user account is an account at a web site and an agent has account the user account, then the agent is a registered user of the web site
(=> (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	If a time interval is an instance of time interval and a web site is an instance of web site, then there exists a collection such that the collection is an instance of collection and for all a physical if the physical 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 physical is a registered user of the web site 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 physical is a registered user of the web site holds during the time interval, then the physical is a member of the collection and equal the collection and new registrations at the web site 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 3629-3638	If members of a collection have &ewRegisteredUsers$"registered" for a web site during a time interval and a physical 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 physical is a registered user of the web site 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 3640-3650	If members of a collection have &ewRegisteredUsers$"registered" for a web site during a time interval and a physical 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 physical is a registered user of the web site holds during the other time interval
(=> (confirmedRegisteredUser ?USER ?SITE) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 903-905	If an agent is registered on a web site, then the agent is a registered user of the web site
(=> (watchingListings ?USER ?COLL ?SITE) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 1247-1249	If user an agent on a web site is watching a collection, then the agent is a registered user of the web site

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