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 3783-3784
(domain bankAccount 2 Bank-FinancialOrganization) FinancialOntology.kif 3782-3782 domain bankAccount, 2 and Bank-FinancialOrganization
(domainSubclass bankAccount 1 FinancialAccount) FinancialOntology.kif 3781-3781 domainSubclass bankAccount, 1 and FinancialAccount
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3780-3780 instance bankAccount and AsymmetricRelation
(instance bankAccount BinaryPredicate) FinancialOntology.kif 3779-3779 instance bankAccount and BinaryPredicate

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
(termFormat ChineseTraditionalLanguage bankAccount "銀行賬戶") domainEnglishFormat.kif 9822-9822
(termFormat EnglishLanguage bankAccount "bank account") domainEnglishFormat.kif 9821-9821

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


(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3786-3791 bankAccount FinancialAccount and Bank-FinancialOrganization FinancialAccount instance FinancialAccount and FinancialAccount accountAt FinancialAccount and Bank-FinancialOrganization


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