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 3940-3941
(domain bankAccount 2 BankFinancialOrganization) FinancialOntology.kif 3939-3939 银行账户 的 2 数量 是 BankFinancialOrganizationinstance
(domainSubclass bankAccount 1 FinancialAccount) FinancialOntology.kif 3938-3938 银行账户 的 1 数量 是 金融账户subclass
(instance bankAccount BinaryPredicate) FinancialOntology.kif 3937-3937 银行账户二元谓语instance

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

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


(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3943-3948 BankFinancialOrganization 有点 金融账户bank 帐号 若且唯若 有存在 另一个 金融账户 这样 那个 另外 金融账户 有点 金融账户instance那个 另外 金融账户 是被 那个 BankFinancialOrganization held


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