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 2025-2027
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 2024-2024	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.	Facebook.kif 28-28	Social networking account is a subclass of user account
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10569-10569	"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 777-777	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 2060-2060	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 889-889	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 1289-1289	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 823-828	If an object is an instance of user account and business account is an attribute of the object and a computer user has account the object, then the computer user is an instance of Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1303-1308	If an entity is an instance of user account, then there exists another entity such that the other entity is an instance of Identifier and the ID for the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2029-2032	If an entity is an instance of user account, then there exists a computer user such that the computer user has account the entity

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 806-810	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 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 entity, another entity,, , a computer user,, , another computer user and a Website such that the entity is an instance of user account and the other entity 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 entity and the other computer user has account the other entity and the entity is an account at the Website and the other entity 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 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 entity, another entity,, , a computer user,, , another computer user and a Website such that the entity is an instance of user account and the other entity 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 entity and the other computer user has account the other entity and the entity is an account at the Website and the other entity 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 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 entity, another entity,, , a computer user,, , another computer user and a Website such that the entity is an instance of user account and the other entity 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 entity and the other computer user has account the other entity and the entity is an account at the Website and the other entity 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 a computer user is a registered user of a Website, then there exists an entity such that the entity is an instance of user account and the computer user has account the entity and the entity is an account at the Website
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1310-1318	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