Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - accountAtSite
accountAtSite

appearance as argument number 1
-------------------------


s__documentation(s__accountAtSite__m,s__EnglishLanguage,'"(accountAtSite ?ACCT ?SITE) means that the UserAccount ?ACCT is associate with the WebSite ?SITE."')

UXExperimentalTerms.kif 780-781
s__domain(s__accountAtSite__m,n__1,s__UserAccount)

UXExperimentalTerms.kif 776-776 The number 1 argument of account at site is an instance of user account
s__domain(s__accountAtSite__m,n__2,s__WebSite)

UXExperimentalTerms.kif 778-778 The number 2 argument of account at site is an instance of WebSite
s__instance(s__accountAtSite__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

UXExperimentalTerms.kif 772-772 account at site is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__accountAtSite__m,'"%1 %n 是在 %2 的 account "')

domainEnglishFormat.kif 2679-2679
s__format(s__ChineseTraditionalLanguage,s__accountAtSite__m,'"%1 %n 是在 %2 的 account "')

domainEnglishFormat.kif 2678-2678
s__format(s__EnglishLanguage,s__accountAtSite__m,'"%1 is an account at %2"')

domainEnglishFormat.kif 2677-2677
s__termFormat(s__EnglishLanguage,s__accountAtSite__m,'"account at site"')

UXExperimentalTerms.kif 774-774

antecedent
-------------------------


( ! [V__ACCT,V__SITE] :
   (((s__instance(V__ACCT,s__UserAccount) &
         s__instance(V__SITE,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__accountAtSite(V__ACCT,V__SITE)
         =>
         (( ? [V__DATABASE, V__SITE_OWNER] :
             ((s__instance(V__DATABASE,s__Database) &
                 s__instance(V__SITE_OWNER,s__Agent) &
                 s__possesses(V__SITE,V__SITE_OWNER)
               &
               s__possesses(V__DATABASE,V__SITE_OWNER)
             &
             s__part(V__ACCT,V__DATABASE))))))))
)
)

UXExperimentalTerms.kif 784-792
( ! [V__USER,V__ACCOUNT,V__SITE] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__ACCOUNT,s__UserAccount) &
         s__instance(V__SITE,s__WebSite))
       =>
       (((s__accountAtSite(V__ACCOUNT,V__SITE)
           &
           s__hasAccount(V__USER,V__ACCOUNT))
       =>
       (s__registeredUser(V__USER,V__SITE)))))
)
)

UXExperimentalTerms.kif 1078-1082
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957

consequent
-------------------------


( ! [V__ACC2,V__ACC1,V__TRANS] :
   (((s__instance(V__ACC2,s__Object) &
         s__instance(V__ACC1,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToBusiness))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACC1,s__BusinessAccount) &
     s__attribute(V__ACC2,s__BusinessAccount))))))))
)
)

UXExperimentalTerms.kif 1935-1954
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__BusinessAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1967-1986
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__ConsumerToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__ConsumerAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1999-2018
( ! [V__USER,V__SITE] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__registeredUser(V__USER,V__SITE)
         =>
         (( ? [V__ACCT] :
             ((s__instance(V__ACCT,s__UserAccount) &
                 s__hasAccount(V__USER,V__ACCT)
               &
               s__accountAtSite(V__ACCT,V__SITE))))))))
)
)

UXExperimentalTerms.kif 1070-1076


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