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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - accountAt
accountAt

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


(documentation accountAt EnglishLanguage "(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.") FinancialOntology.kif 232-233
(domain accountAt 1 FinancialAccount) FinancialOntology.kif 230-230 domain accountAt, 1 and FinancialAccount
(domain accountAt 2 FinancialOrganization) FinancialOntology.kif 231-231 domain accountAt, 2 and FinancialOrganization
(instance accountAt BinaryPredicate) FinancialOntology.kif 229-229 instance accountAt and BinaryPredicate
(subrelation accountAt partyToAgreement) FinancialOntology.kif 228-228 subrelation accountAt and partyToAgreement

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


(format ChineseLanguage accountAt "%1 %n 是被 %2 held ") domainEnglishFormat.kif 2671-2671
(format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ") domainEnglishFormat.kif 2670-2670
(format EnglishLanguage accountAt "%1 is held by %2") domainEnglishFormat.kif 2669-2669
(termFormat ChineseLanguage accountAt "帐号在") domainEnglishFormat.kif 5243-5243 termFormat ChineseLanguage, accountAt and "帐号在"
(termFormat ChineseTraditionalLanguage accountAt "帳號在") domainEnglishFormat.kif 5242-5242 termFormat ChineseTraditionalLanguage, accountAt and "帳號在"
(termFormat EnglishLanguage accountAt "account at") domainEnglishFormat.kif 5241-5241 termFormat EnglishLanguage, accountAt and "account at"

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


(=>
    (and
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (customer ?Agent ?Bank))
FinancialOntology.kif 3519-3523
(=>
    (and
        (instance ?Account CreditAccount)
        (accountAt ?Account ?Organization)
        (accountHolder ?Account ?Agent)
        (interestEarned ?Account ?Interest ?Period))
    (exists (?Payment)
        (and
            (origin ?Payment ?Agent)
            (transactionAmount ?Payment ?Interest)
            (destination ?Payment ?Organization))))
FinancialOntology.kif 1153-1163
(=>
    (and
        (instance ?Account FinancialAccount)
        (accountAt ?Account ?Bank))
    (exists (?Activity)
        (and
            (instance ?Activity ControllingAnAccount)
            (patient ?Activity ?Account)
            (agent ?Activity ?Bank))))
FinancialOntology.kif 76-84
(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))
FinancialOntology.kif 1106-1115
(=>
    (and
        (instance ?Controlling ControllingAnAccount)
        (patient ?Controlling ?Account)
        (accountAt ?Account ?Bank))
    (agent ?Controlling ?Bank))
FinancialOntology.kif 356-361

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


(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3785-3790 bankAccount FinancialAccount and Bank-FinancialOrganization FinancialAccount instance FinancialAccount and FinancialAccount accountAt FinancialAccount and Bank-FinancialOrganization
(=>
    (and
        (instance ?Card BankCard)
        (issuedBy ?Card ?Bank))
    (exists (?Account)
        (and
            (instance ?Account FinancialAccount)
            (cardAccount ?Card ?Account)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 188-196
(=>
    (and
        (instance ?Opening OpeningAnAccount)
        (eventLocated ?Opening ?Bank)
        (instance ?Bank FinancialOrganization)
        (agent ?Opening ?Agent)
        (equal
            (WhenFn ?Opening) ?OpeningTime))
    (exists (?Account ?AccountPeriod)
        (and
            (agreementPeriod ?Account ?AccountPeriod)
            (meetsTemporally ?OpeningTime ?AccountPeriod)
            (instance ?Account FinancialAccount)
            (accountAt ?Account ?Bank)
            (accountHolder ?Account ?Agent))))
FinancialOntology.kif 293-306
(=>
    (instance ?Account FinancialAccount)
    (exists (?Organization)
        (and
            (instance ?Organization FinancialOrganization)
            (accountAt ?Account ?Organization))))
FinancialOntology.kif 69-74


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