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

Formal Language: 



KB Term:  Term intersection
English Word: 

  financialAccount

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 3796-3800
(domain financialAccount 1 FinancialAccount) FinancialOntology.kif 3801-3801 financialAccount 的 1 数量 是 金融账户instance
(domain financialAccount 2 FinancialCompany) FinancialOntology.kif 3802-3802 financialAccount 的 2 数量 是 金融公司instance
(instance financialAccount BinaryPredicate) FinancialOntology.kif 3803-3803 financialAccount二元谓语instance
(subrelation financialAccount partyToAgreement) FinancialOntology.kif 3804-3804 financialAccount协议的一方subrelation

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 65829-65829

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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