CorporateAccount - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint CorporateAccount PersonalAccount)	FinancialOntology.kif 958-958
(documentation CorporateAccount EnglishLanguage "This is the class of accounts held by corporations. This class is disjoint with PersonalAccounts.")	FinancialOntology.kif 959-960
(subclass CorporateAccount FinancialAccount)	FinancialOntology.kif 957-957

appearance as argument number 2

(termFormat ChineseLanguage CorporateAccount "企业帐户")	domainEnglishFormat.kif 17293-17293
(termFormat ChineseTraditionalLanguage CorporateAccount "企業帳戶")	domainEnglishFormat.kif 17292-17292
(termFormat EnglishLanguage CorporateAccount "corporate account")	domainEnglishFormat.kif 17291-17291

consequent

(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Corporation))
    (instance ?Account CorporateAccount))

FinancialOntology.kif 962-966