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 2024-2026
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10349-10349	"http://upload.wikimedia.org/wikipedia/commons/9/99/ Gnucash-account-summary.png" is a URL depicting user account
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2023-2023	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.

domainEnglishFormat.kif 10565-10565

"user account" is the printable form of user account in english language

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.	QoSontology.kif 2059-2059	The number 2 argument of has account 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

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 a computer user has account the user account, then the computer user is an instance of Business
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 2028-2031	If an user account is an instance of user account, then there exists a computer user such that the computer user has account the user account

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 805-809	If an entity is an attribute of an object and the entity 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,, , a computer user,, , another computer user 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 computer user is an instance of agent and the other computer user is an instance of agent and the Website is an instance of WebSite and the computer user is an agent of the object and the object ends up at the other computer user and the Website is an instrument for the object and the computer user has account the user account and the other computer user 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,, , a computer user,, , another computer user 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 computer user is an instance of agent and the other computer user is an instance of agent and the Website is an instance of WebSite and the computer user is an agent of the object and the object ends up at the other computer user and the Website is an instrument for the object and the computer user has account the user account and the other computer user 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,, , a computer user,, , another computer user 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 computer user is an instance of agent and the other computer user is an instance of agent and the Website is an instance of WebSite and the computer user is an agent of the object and the object ends up at the other computer user and the Website is an instrument for the object and the computer user has account the user account and the other computer user 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 1069-1075	If a computer user 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 computer user 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners