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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - bankAccount
bankAccount

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


(documentation bankAccount EnglishLanguage "(bankAccount ?Type ?Bank) holds if ?Type is a type of the financial accounts offered by the bank.") FinancialOntology.kif 3776-3777
(domain bankAccount 2 Bank-FinancialOrganization) FinancialOntology.kif 3775-3775 The number 2 argument of bank account is an instance of bank- financial organization
(domainSubclass bankAccount 1 FinancialAccount) FinancialOntology.kif 3774-3774 The number 1 argument of bank account is a subclass of financial account
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3773-3773 bank account is an instance of asymmetric relation
(instance bankAccount BinaryPredicate) FinancialOntology.kif 3772-3772 bank account is an instance of binary predicate

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


(format ChineseLanguage bankAccount "%2 是 %1 的 bank 帐号") domainEnglishFormat.kif 252-252
(format ChineseTraditionalLanguage bankAccount "%2 是 %1 的 bank 帳號") domainEnglishFormat.kif 251-251
(format EnglishLanguage bankAccount "%2 is %n a bank account of %1") domainEnglishFormat.kif 250-250
(termFormat ChineseLanguage bankAccount "银行账户") domainEnglishFormat.kif 9823-9823 "银行账户" is the printable form of bank account in ChineseLanguage
(termFormat ChineseTraditionalLanguage bankAccount "銀行賬戶") domainEnglishFormat.kif 9822-9822 "銀行賬戶" is the printable form of bank account in ChineseTraditionalLanguage
(termFormat EnglishLanguage bankAccount "bank account") domainEnglishFormat.kif 9821-9821 "bank account" is the printable form of bank account in english language

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


(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3779-3784 A bank- financial organization is a bank account of a kind of financial account if and only if there exists another financial account such that the other financial account is an instance of a kind of financial account and the other financial account is held by the bank- financial organization


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