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 2041-2043
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10338-10338
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4505-4505	User account is a subclass of account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2040-2040	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 1969-1969	Apple ID is a subclass of user account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60809-60809
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60808-60808
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60807-60807

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 776-776	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 4374-4374	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 4120-4120	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 4125-4125	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 3913-3913	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 2076-2076	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 4293-4293	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 2103-2103	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 4384-4384	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 4248-4248	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 888-888	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 1288-1288	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 2065-2065	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 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 4445-4454	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 4461-4470	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 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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2045-2048	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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