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

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2042-2044
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10349-10349
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4462-4462	User account is a subclass of account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2041-2041	User account is a subclass of content bearing object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1979-1979	Apple ID is a subclass of user account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60826-60826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60825-60825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60824-60824

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 774-774	The number 1 argument of account at site is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4331-4331	The number 1 argument of account information is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4077-4077	The number 1 argument of accountPhoneNumber is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4082-4082	The number 2 argument of account used is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3870-3870	The number 1 argument of deviceAccount is an instance of user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2077-2077	The number 2 argument of has account is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4250-4250	The number 2 argument of logged-in during is an instance of user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2104-2104	The number 2 argument of password is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4341-4341	The number 2 argument of recoveryKey is an instance of user account
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4205-4205	The number 1 argument of trusted device is an instance of user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 886-886	The number 1 argument of user feedback score is an instance of user account
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1287-1287	The number 2 argument of user identifier string is an instance of user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2066-2066	The number 1 argument of userName is an instance of user account

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 820-825	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 4402-4411	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 4418-4427	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1301-1306	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 803-807	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1932-1951	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1964-1983	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1996-2015	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1308-1316	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