BusinessAccount - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BusinessAccount EnglishLanguage "This attribute represents that the account is considered to be a business account.")	UXExperimentalTerms.kif 657-658
(instance BusinessAccount AccountAttribute)	UXExperimentalTerms.kif 655-655	BusinessAccount ist ein fall von AccountAttribute %n{nicht}

appearance as argument number 2

(termFormat EnglishLanguage BusinessAccount "business account")

UXExperimentalTerms.kif 656-656

antecedent

(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))

UXExperimentalTerms.kif 660-665

Wenn UserAccount ist ein fall von UserAccount %n{nicht} und BusinessAccount ist ein attribut von ** UserAccount %n{nicht} und hasAccount AutonomousAgent and ** UserAccount,
dann ** AutonomousAgent ist ein fall von Business %n{nicht}

consequent

(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (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 BusinessAccount))))	UXExperimentalTerms.kif 1727-1746	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToBusiness ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und BusinessAccount ist ein attribut von UserAccount %n{nicht} und BusinessAccount ist ein attribut von ** UserAccount %n{nicht}
(=> (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	Wenn Object ist ein fall von FinancialTransaction %n{nicht} und BusinessToConsumer ist ein attribut von Object %n{nicht}, dann es gibt UserAccount, UserAccount,, , AutonomousAgent,, , AutonomousAgent, and und WebSite um UserAccount ist ein fall von UserAccount %n{nicht} und UserAccount ist ein fall von UserAccount %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgent %n{nicht} und WebSite ist ein fall von WebSite %n{nicht} und Object ist der agent von AutonomousAgent %n{nicht} und Object endet an AutonomousAgent %n{nicht} und WebSite ist ein instrument fuer Object %n{nicht} und hasAccount AutonomousAgent and UserAccount und hasAccount AutonomousAgent and UserAccount und accountAtSite UserAccount and WebSite und accountAtSite UserAccount and WebSite und BusinessAccount ist ein attribut von UserAccount %n{nicht} und ConsumerAccount ist ein attribut von ** UserAccount %n{nicht}

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

KB Term:			Term intersection

English Word: