hasAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - hasAccount

hasAccount

appearance as argument number 1

(documentation hasAccount EnglishLanguage "(hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account.")	QoSontology.kif 2072-2073
(domain hasAccount 1 AutonomousAgent)	QoSontology.kif 2070-2070	The number 1 argument of has account is an instance of agent
(domain hasAccount 2 UserAccount)	QoSontology.kif 2071-2071	The number 2 argument of has account is an instance of user account
(instance hasAccount AsymmetricRelation)	QoSontology.kif 2069-2069	has account is an instance of asymmetric relation
(subrelation hasAccount possesses)	QoSontology.kif 2068-2068	has account is a subrelation of possesses

appearance as argument number 2

(format ChineseLanguage hasAccount "%1 有 account %2 ")	domainEnglishFormat.kif 3602-3602
(format ChineseTraditionalLanguage hasAccount "%1 有 account %2 ")	domainEnglishFormat.kif 3601-3601
(format EnglishLanguage hasAccount "%1 has account %2")	domainEnglishFormat.kif 3600-3600
(termFormat ChineseLanguage hasAccount "有帐户")	domainEnglishFormat.kif 27504-27504
(termFormat ChineseTraditionalLanguage hasAccount "有帳戶")	domainEnglishFormat.kif 27503-27503
(termFormat EnglishLanguage hasAccount "has account")	domainEnglishFormat.kif 27502-27502

antecedent

(=> (and (accountAtSite ?ACCOUNT ?SITE) (hasAccount ?USER ?ACCOUNT)) (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 1078-1082	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 (hasAccount ?U ?AC) (password ?P ?AC) (deviceAccount ?AC ?D) (not (knows ?U (password ?P ?AC))) (knows ?U (recoveryKey ?S ?AC)) (possesses ?U ?D)) (modalAttribute (exists (?C) (and (instance ?C ChangingPassword) (patient ?C ?AC) (agent ?C ?U))) Possibility))	ComputingBrands.kif 4425-4442	If a cognitive agent has account an user account and the user account has password a computer password and device account the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
(=> (and (instance ?ACCOUNT UserAccount) (attribute ?ACCOUNT BusinessAccount) (hasAccount ?USER ?ACCOUNT)) (instance ?USER Business))	UXExperimentalTerms.kif 822-827	If an user account is an instance of user account and business account is an attribute of the user account and an agent has account the user account, then the agent is an instance of business
(=> (and (instance ?CP ChangingAccountInfo) (agent ?CP ?A) (hasAccount ?A ?UA) (accountInformation ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (not (equal ?N2 ?N1)) (accountInformation ?UA ?N2)))))	ComputingBrands.kif 4121-4133	If a process is an instance of change account information and an agent is an agent of the process and the agent has account an user account and the account the user account has information a proposition, then there exists an entity such that the entity is not equal to the proposition and the account the user account has information the entity holds during immediately after the time of existence of the process
(=> (and (instance ?CP ChangingPassword) (agent ?CP ?A) (hasAccount ?A ?UA) (password ?P1 ?UA)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?P2) (and (instance ?P2 ComputerPassword) (not (equal ?P2 ?P1)) (password ?P2 ?UA)))))	ComputingBrands.kif 4077-4090	If a process is an instance of change password and an agent is an agent of the process and the agent has account an user account and the user account has password a computer password, then there exists an entity such that the entity is an instance of computer password and the entity is not equal to the computer password and the user account has password the entity holds during immediately after the time of existence of the process
(=> (and (instance ?CP ChangingUserName) (agent ?CP ?A) (hasAccount ?A ?UA) (userName ?UA ?N1)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?N2) (and (instance ?N2 UserName) (not (equal ?N2 ?N1)) (userName ?UA ?N2)))))	ComputingBrands.kif 4099-4112	If a process is an instance of change user name and an agent is an agent of the process and the agent has account an user account and the user name of the user account is an user name, then there exists an entity such that the entity is an instance of user name and the entity is not equal to the user name and the user name of the user account is the entity holds during immediately after the time of existence of the process
(=> (and (instance ?D DeletingAnAccount) (instance ?AC Account) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (hasAccount ?A ?AC)) (patient ?D ?AC) (agent ?D ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?D)) (not (hasAccount ?A ?AC))))	ComputingBrands.kif 4564-4574	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account the entity holds during immediately after the time of existence of the process
(=> (and (instance ?LF LoginFailure) (agent ?LF ?A) (hasAccount ?A ?AC)) (holdsDuring (WhenFn ?LF) (not (exists (?L) (and (agent ?L ?A) (instance ?L LoggingIn) (patient ?L ?AC))))))	ComputingBrands.kif 4007-4018	If a process is an instance of login failure and an agent is an agent of the process and the agent has account the agentC, then there doesn't exist an entity such that the agent is an agent of the entity and the entity is an instance of logging in and the agentC is a patient of the entity holds during the time of existence of the process
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (accountAtSite ?A ?S) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3970-3984	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (deviceAccount ?A ?C) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3986-4000	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
(=> (and (userIDString ?STRING ?ACCOUNT) (hasAccount ?USER ?ACCOUNT)) (represents ?STRING ?USER))	UXExperimentalTerms.kif 1296-1300	If the ID for an user account is an identifier and an agent has account the user account, then the identifier expresses the agent
(=> (hasAccount ?User ?Account) (exists (?Name) (userName ?Account ?Name)))	QoSontology.kif 2051-2054	If an agent has account an user account, then there exists an user name such that the user name of the user account is the user name
(=> (hasAccount ?User ?Account) (exists (?Password) (password ?Password ?User)))	QoSontology.kif 2088-2091	If an agent has account an user account, then there exists a computer password such that the agent has password the computer password
(=> (holdsDuring ?T (hasAccount ?A ?UA)) (holdsDuring ?T (attribute ?A ComputerUser)))	QoSontology.kif 2075-2079	If an entity has account another entity holds during a time position, then computer user is an attribute of the entity holds during the time position

consequent

(=> (and (instance ?CP CreatingAnAccount) (agent ?CP ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?CP)) (exists (?UA ?P1 ?N) (and (hasAccount ?A ?UA) (password ?P1 ?UA) (userName ?UA ?N)))))	ComputingBrands.kif 4141-4151	If a process is an instance of creating an account and an agent is an agent of the process, then there exist an entity, another entity and a third entity such that the agent has account the entity and the entity has password the other entity and the user name of the entity is the third entity holds during immediately after the time of existence of the process
(=> (and (instance ?D DeletingAnAccount) (instance ?AC Account) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (hasAccount ?A ?AC)) (patient ?D ?AC) (agent ?D ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?D)) (not (hasAccount ?A ?AC))))	ComputingBrands.kif 4564-4574	If a process is an instance of deleting an account and an entity is an instance of account and an agent has account the entity holds during immediately before the time of existence of the process and the entity is a patient of the process and the agent is an agent of the process, then not the agent has account the entity holds during immediately after the time of existence of the process
(=> (and (instance ?LI LoggingIn) (agent ?LI ?U)) (exists (?A) (hasAccount ?U ?A)))	ComputingBrands.kif 3963-3968	If a process is an instance of logging in and an agent is an agent of the process, then there exists an user account such that the agent has account the user account
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 BusinessAccount))))	UXExperimentalTerms.kif 1933-1952	If an object is an instance of financial transaction and business to business transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and business account is an attribute of the other user account
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1965-1984	If an object is an instance of financial transaction and business to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and business account is an attribute of the user account and consumer account is an attribute of the other user account
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 ConsumerAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1997-2016	If an object is an instance of financial transaction and consumer to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a web site such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the web site and the other user account is an account at the web site and consumer account is an attribute of the user account and consumer account is an attribute of the other user account
(=> (instance ?Account UserAccount) (exists (?User) (hasAccount ?User ?Account)))	QoSontology.kif 2040-2043	If an user account is an instance of user account, then there exists an agent such that the agent has account the user account
(=> (loggedInDuring ?A ?UA ?T) (exists (?L) (and (instance ?L LoggingIn) (agent ?L ?A) (patient ?L ?UA) (hasAccount ?A ?UA) (earlier ?T (WhenFn ?L)))))	ComputingBrands.kif 4335-4343	If an agent is logged-in to an user account during a time interval, then there exists a process such that the process is an instance of logging in and the agent is an agent of the process and the user account is a patient of the process and the agent has account the user account and the time interval happens earlier than the time of existence of the process
(=> (registeredUser ?USER ?SITE) (exists (?ACCT) (and (instance ?ACCT UserAccount) (hasAccount ?USER ?ACCT) (accountAtSite ?ACCT ?SITE))))	UXExperimentalTerms.kif 1070-1076	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

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