ConsumerAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ConsumerAccount

ConsumerAccount(consumer account)

appearance as argument number 1

(documentation ConsumerAccount EnglishLanguage "This attribute represents that the account is considered to be a consumer account.")	UXExperimentalTerms.kif 669-670
(instance ConsumerAccount AccountAttribute)	UXExperimentalTerms.kif 667-667	Consumer account is an instance of account attribute

appearance as argument number 2

(termFormat EnglishLanguage ConsumerAccount "consumer account")

UXExperimentalTerms.kif 668-668

consequent

(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 BusinessAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1759-1778	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 web site 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 web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site 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 web site and the other user account is an account at the web site and business account is an attribute of the user account and consumer account is an attribute of the other user account
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCT1 ConsumerAccount) (attribute ?ACCT2 ConsumerAccount))))	UXExperimentalTerms.kif 1791-1810	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 web site 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 web site is an instance of web site and the agent is an agent of the object and the object ends up at the other agent and the web site 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 web site and the other user account is an account at the web site and consumer account is an attribute of the user account and consumer account is an attribute of the other user account

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