UserAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UserAccount

UserAccount(user account)

appearance as argument number 1

s__documentation(s__UserAccount,s__EnglishLanguage,'"An established relationship between a user and a computer, network or information service. User accounts require a username and password, and new user accounts are given a default set of permissions."')	QoSontology.kif 2042-2044
s__externalImage(s__UserAccount,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png"')	pictureList.kif 10347-10347
s__subclass(s__UserAccount,s__Account) s__instance(s__Account,s__Class) s__instance(s__UserAccount,s__Class)	ComputingBrands.kif 4513-4513	User account is a subclass of account
s__subclass(s__UserAccount,s__ContentBearingObject) s__instance(s__ContentBearingObject,s__Class) s__instance(s__UserAccount,s__Class)	QoSontology.kif 2041-2041	User account is a subclass of content bearing object

appearance as argument number 2

s__instance(s__AppleID,s__Class) s__subclass(s__AppleID,s__UserAccount) s__instance(s__UserAccount,s__Class)	ComputingBrands.kif 1968-1968	Apple ID is a subclass of user account
s__termFormat(s__ChineseLanguage,s__UserAccount,'"用户帐号"')	domainEnglishFormat.kif 60809-60809
s__termFormat(s__ChineseTraditionalLanguage,s__UserAccount,'"用戶帳號"')	domainEnglishFormat.kif 60808-60808
s__termFormat(s__EnglishLanguage,s__UserAccount,'"user account"')	domainEnglishFormat.kif 60807-60807

appearance as argument number 3

s__domain(s__accountAtSite__m,n__1,s__UserAccount)	UXExperimentalTerms.kif 776-776	The number 1 argument of account at site is an instance of user account
s__domain(s__accountInformation__m,n__1,s__UserAccount)	ComputingBrands.kif 4382-4382	The number 1 argument of account information is an instance of user account
s__domain(s__accountPhoneNumber__m,n__1,s__UserAccount)	ComputingBrands.kif 4128-4128	The number 1 argument of accountPhoneNumber is an instance of user account
s__domain(s__accountUsed__m,n__2,s__UserAccount)	ComputingBrands.kif 4133-4133	The number 2 argument of account used is an instance of user account
s__domain(s__deviceAccount__m,n__1,s__UserAccount)	ComputingBrands.kif 3921-3921	The number 1 argument of deviceAccount is an instance of user account
s__domain(s__hasAccount__m,n__2,s__UserAccount)	QoSontology.kif 2077-2077	The number 2 argument of has account is an instance of user account
s__domain(s__loggedInDuring__m,n__2,s__UserAccount)	ComputingBrands.kif 4301-4301	The number 2 argument of logged-in during is an instance of user account
s__domain(s__password__m,n__2,s__UserAccount)	QoSontology.kif 2104-2104	The number 2 argument of password is an instance of user account
s__domain(s__recoveryKey__m,n__2,s__UserAccount)	ComputingBrands.kif 4392-4392	The number 2 argument of recoveryKey is an instance of user account
s__domain(s__trustedDevice__m,n__1,s__UserAccount)	ComputingBrands.kif 4256-4256	The number 1 argument of trusted device is an instance of user account
s__domain(s__userFeedbackScore__m,n__1,s__UserAccount)	UXExperimentalTerms.kif 888-888	The number 1 argument of user feedback score is an instance of user account
s__domain(s__userIDString__m,n__2,s__UserAccount)	UXExperimentalTerms.kif 1288-1288	The number 2 argument of user identifier string is an instance of user account
s__domain(s__userName__m,n__1,s__UserAccount)	QoSontology.kif 2066-2066	The number 1 argument of userName is an instance of user account

antecedent

( ! [V__USER,V__ACCOUNT] : ((s__instance(V__USER,s__Agent) => (((s__instance(V__ACCOUNT,s__UserAccount) & s__attribute(V__ACCOUNT,s__BusinessAccount) & s__hasAccount(V__USER,V__ACCOUNT)) => (s__instance(V__USER,s__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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4453-4462	If a process is an instance of activating a deactivated account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately before the time of existence of the process and account active is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4469-4478	If a process is an instance of de-activating an account and an entity is an instance of user account and the entity is a patient of the process, then account deactivated is an attribute of the entity holds during immediately after the time of existence of the process and account active is an attribute of the entity holds during immediately before the time of existence of the process
( ! [V__ACCOUNT] : ((s__instance(V__ACCOUNT,s__UserAccount) => (( ? [V__STRING] : ((s__instance(V__STRING,s__Identifier) & s__userIDString(V__STRING,V__ACCOUNT)))))) ) )	UXExperimentalTerms.kif 1302-1307	If an user account is an instance of user account, then there exists an Identifier such that the Identifier is an instance of Identifier and the ID for the user account is the Identifier
( ! [V__Account] : ((s__instance(V__Account,s__UserAccount) => (( ? [V__User] : ((s__instance(V__User,s__Agent) & s__hasAccount(V__User,V__Account)))))) ) )	QoSontology.kif 2046-2049	If an user account is an instance of user account, then there exists an agent such that the agent has account the user account

consequent

( ! [V__ACCT,V__ATTR] : ((s__instance(V__ACCT,s__Object) => (((s__attribute(V__ACCT,V__ATTR) & s__instance(V__ATTR,s__AccountAttribute)) => (s__instance(V__ACCT,s__UserAccount))))) ) )	UXExperimentalTerms.kif 805-809	If an attribute is an attribute of an object and the attribute is an instance of account attribute, then the object is an instance of user account
( ! [V__ACC2,V__ACC1,V__TRANS] : (((s__instance(V__ACC2,s__Object) & s__instance(V__ACC1,s__Object)) => (((s__instance(V__TRANS,s__FinancialTransaction) & s__attribute(V__TRANS,s__BusinessToBusiness)) => (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] : ((s__instance(V__ACCT1,s__UserAccount) & s__instance(V__ACCT2,s__UserAccount) & s__instance(V__USER1,s__Agent) & s__instance(V__USER2,s__Agent) & s__instance(V__SITE,s__WebSite) & s__agent(V__TRANS,V__USER1) & s__destination(V__TRANS,V__USER2) & s__instrument(V__TRANS,V__SITE) & s__hasAccount(V__USER1,V__ACCT1) & s__hasAccount(V__USER2,V__ACCT2) & s__accountAtSite(V__ACCT1,V__SITE) & s__accountAtSite(V__ACCT2,V__SITE) & s__attribute(V__ACC1,s__BusinessAccount) & s__attribute(V__ACC2,s__BusinessAccount)))))))) ) )	UXExperimentalTerms.kif 1935-1954	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 WebSite 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 WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite 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 WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and business account is an attribute of a third object
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] : (((s__instance(V__ACCOUNT1,s__Object) & s__instance(V__ACCOUNT2,s__Object)) => (((s__instance(V__TRANS,s__FinancialTransaction) & s__attribute(V__TRANS,s__BusinessToConsumer)) => (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] : ((s__instance(V__ACCT1,s__UserAccount) & s__instance(V__ACCT2,s__UserAccount) & s__instance(V__USER1,s__Agent) & s__instance(V__USER2,s__Agent) & s__instance(V__SITE,s__WebSite) & s__agent(V__TRANS,V__USER1) & s__destination(V__TRANS,V__USER2) & s__instrument(V__TRANS,V__SITE) & s__hasAccount(V__USER1,V__ACCT1) & s__hasAccount(V__USER2,V__ACCT2) & s__accountAtSite(V__ACCT1,V__SITE) & s__accountAtSite(V__ACCT2,V__SITE) & s__attribute(V__ACCOUNT1,s__BusinessAccount) & s__attribute(V__ACCOUNT2,s__ConsumerAccount)))))))) ) )	UXExperimentalTerms.kif 1967-1986	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 WebSite 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 WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite 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 WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and consumer account is an attribute of a third object
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] : (((s__instance(V__ACCOUNT1,s__Object) & s__instance(V__ACCOUNT2,s__Object)) => (((s__instance(V__TRANS,s__FinancialTransaction) & s__attribute(V__TRANS,s__ConsumerToConsumer)) => (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] : ((s__instance(V__ACCT1,s__UserAccount) & s__instance(V__ACCT2,s__UserAccount) & s__instance(V__USER1,s__Agent) & s__instance(V__USER2,s__Agent) & s__instance(V__SITE,s__WebSite) & s__agent(V__TRANS,V__USER1) & s__destination(V__TRANS,V__USER2) & s__instrument(V__TRANS,V__SITE) & s__hasAccount(V__USER1,V__ACCT1) & s__hasAccount(V__USER2,V__ACCT2) & s__accountAtSite(V__ACCT1,V__SITE) & s__accountAtSite(V__ACCT2,V__SITE) & s__attribute(V__ACCOUNT1,s__ConsumerAccount) & s__attribute(V__ACCOUNT2,s__ConsumerAccount)))))))) ) )	UXExperimentalTerms.kif 1999-2018	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 WebSite 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 WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite 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 WebSite and the other user account is an account at the WebSite and consumer account is an attribute of another object and consumer account is an attribute of a third object
( ! [V__USER,V__SITE] : (((s__instance(V__USER,s__Agent) & s__instance(V__SITE,s__WebSite)) => ((s__registeredUser(V__USER,V__SITE) => (( ? [V__ACCT] : ((s__instance(V__ACCT,s__UserAccount) & s__hasAccount(V__USER,V__ACCT) & s__accountAtSite(V__ACCT,V__SITE)))))))) ) )	UXExperimentalTerms.kif 1070-1076	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1309-1317	If the ID for an user account is an Identifier, then the statement there doesn't exist the user account2 such that the user account2 is an instance of user account and the ID for the user account2 is the Identifier has the modal force of likely

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