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
(domainSubclass bankAccount 1 FinancialAccount) FinancialOntology.kif 3774-3774
(instance bankAccount AsymmetricRelation) FinancialOntology.kif 3773-3773
(instance bankAccount BinaryPredicate) FinancialOntology.kif 3772-3772

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


(format EnglishLanguage bankAccount "%2 is %n a bank account of %1") domainEnglishFormat.kif 72-72
(termFormat EnglishLanguage bankAccount "bank account") domainEnglishFormat.kif 2070-2070

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


(<=>
    (bankAccount ?AccountType ?Bank)
    (exists (?Account)
        (and
            (instance ?Account ?AccountType)
            (accountAt ?Account ?Bank))))
FinancialOntology.kif 3779-3784


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