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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - financialAccount
financialAccount

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


(documentation financialAccount EnglishLanguage "A formal banking, brokerage, or business relationship established to provide for regular services, dealings, and other financial transactions. (financialAccount ?ACCOUNT ?ORG) means that ?ACCOUNT is a financial account opened at the FinancialCompany ?ORG.") FinancialOntology.kif 3643-3647
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3648-3648 The number 1 argument of financialAccount is an instance of financial account
(domain financialAccount 2 FinancialCompany) FinancialOntology.kif 3649-3649 The number 2 argument of financialAccount is an instance of financial company
(instance financialAccount BinaryPredicate) FinancialOntology.kif 3650-3650 financialAccount is an instance of binary predicate
(subrelation financialAccount partyToAgreement) FinancialOntology.kif 3651-3651 financialAccount is a subrelation of party to agreement

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


(format ChineseLanguage financialAccount "%2 %n 是 %1 的 financial 帐号") domainEnglishFormat.kif 1003-1003
(format ChineseTraditionalLanguage financialAccount "%2 %n 是 %1 的 financial 帳號") domainEnglishFormat.kif 1002-1002
(format EnglishLanguage financialAccount "%2 is %n a financial account of %1") domainEnglishFormat.kif 1001-1001

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


(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))
FinancialOntology.kif 1124-1129


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