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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 3809-3813
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3814-3814 The number 1 argument of financial account is an instance of financial account
(domain financialAccount 2 FinancialCompany) FinancialOntology.kif 3815-3815 The number 2 argument of financial account is an instance of financial company
(instance financialAccount BinaryPredicate) FinancialOntology.kif 3816-3816 financial account is an instance of binary predicate
(subrelation financialAccount partyToAgreement) FinancialOntology.kif 3817-3817 financial account 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
(termFormat EnglishLanguage financialAccount "financial account") domainEnglishFormat.kif 65926-65926

Show without tree

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