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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasAccount
hasAccount

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


s__documentation(s__hasAccount__m,s__EnglishLanguage,'"(hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account."')

QoSontology.kif 2078-2079
s__domain(s__hasAccount__m,n__1,s__Agent)

QoSontology.kif 2076-2076 The number 1 argument of has account is an instance of agent
s__domain(s__hasAccount__m,n__2,s__UserAccount)

QoSontology.kif 2077-2077 The number 2 argument of has account is an instance of user account
s__instance(s__hasAccount__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

QoSontology.kif 2075-2075 has account is an instance of asymmetric relation
s__subrelation(s__hasAccount__m,s__possesses__m)

QoSontology.kif 2074-2074 has account is a subrelation of possesses

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


s__format(s__ChineseLanguage,s__hasAccount__m,'"%1 有 account %2 "')

domainEnglishFormat.kif 3607-3607
s__format(s__ChineseTraditionalLanguage,s__hasAccount__m,'"%1 有 account %2 "')

domainEnglishFormat.kif 3606-3606
s__format(s__EnglishLanguage,s__hasAccount__m,'"%1 has account %2"')

domainEnglishFormat.kif 3605-3605
s__termFormat(s__ChineseLanguage,s__hasAccount__m,'"有帐户"')

domainEnglishFormat.kif 27489-27489
s__termFormat(s__ChineseTraditionalLanguage,s__hasAccount__m,'"有帳戶"')

domainEnglishFormat.kif 27488-27488
s__termFormat(s__EnglishLanguage,s__hasAccount__m,'"has account"')

domainEnglishFormat.kif 27487-27487

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


( ! [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 4398-4415
( ! [V__USER,V__ACCOUNT] :
   ((s__instance(V__USER,s__Agent) =>
       (((s__instance(V__ACCOUNT,s__UserAccount) &
             s__attribute(V__ACCOUNT,s__BusinessAccount) &
             s__hasAccount(V__USER,V__ACCOUNT))
         =>
         (s__instance(V__USER,s__Business)))))
   )
)

UXExperimentalTerms.kif 822-827
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4094-4106
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4050-4063
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4072-4085
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4537-4547
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3980-3991
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973
( ! [V__STRING,V__USER,V__ACCOUNT] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__USER,s__Agent) &
         s__instance(V__ACCOUNT,s__UserAccount))
       =>
       (((s__userIDString(V__STRING,V__ACCOUNT)
           &
           s__hasAccount(V__USER,V__ACCOUNT))
       =>
       (s__represents(V__STRING,V__USER)))))
)
)

UXExperimentalTerms.kif 1296-1300
( ! [V__Account,V__User] :
   (((s__instance(V__Account,s__UserAccount) &
         s__instance(V__User,s__Agent))
       =>
       ((s__hasAccount(V__User,V__Account)
         =>
         (( ? [V__Name] :
             ((s__instance(V__Name,s__UserName) &
                 s__userName(V__Account,V__Name))))))))
)
)

QoSontology.kif 2057-2060
( ! [V__Account,V__User] :
   (((s__instance(V__Account,s__UserAccount) &
         s__instance(V__User,s__Agent) &
         s__instance(V__User,s__UserAccount))
       =>
       ((s__hasAccount(V__User,V__Account)
         =>
         (( ? [V__Password] :
             ((s__instance(V__Password,s__ComputerPassword) &
                 s__password(V__Password,V__User))))))))
)
)

QoSontology.kif 2094-2097
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2081-2085

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4114-4124
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4537-4547
( ! [V__U,V__LI] :
   ((s__instance(V__U,s__Agent) =>
       (((s__instance(V__LI,s__LoggingIn) &
             s__agent(V__LI,V__U))
         =>
         (( ? [V__A] :
             ((s__instance(V__A,s__UserAccount) &
                 s__hasAccount(V__U,V__A))))))))
)
)

ComputingBrands.kif 3936-3941
( ! [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__Account] :
   ((s__instance(V__Account,s__UserAccount) =>
       (( ? [V__User] :
           ((s__instance(V__User,s__Agent) &
               s__hasAccount(V__User,V__Account))))))
   )
)

QoSontology.kif 2046-2049
( ! [V__A,V__T,V__UA] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__T,s__TimeInterval) &
         s__instance(V__UA,s__UserAccount))
       =>
       ((s__loggedInDuring(V__A,V__UA,V__T)
         =>
         (( ? [V__L] :
             ((s__instance(V__L,s__LoggingIn) &
                 s__agent(V__L,V__A)
               &
               s__patient(V__L,V__UA)
             &
             s__hasAccount(V__A,V__UA)
           &
           s__earlier(V__T,s__WhenFn(V__L)))))))))
)
)

ComputingBrands.kif 4308-4316
( ! [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