TreeView Knowledge Base Browser

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 3854-3858
(domain financialAccount 1 FinancialAccount)	FinancialOntology.kif 3859-3859	The number 1 argument of financial account is an instance of financial account
(domain financialAccount 2 FinancialCompany)	FinancialOntology.kif 3860-3860	The number 2 argument of financial account is an instance of financial company
(instance financialAccount BinaryPredicate)	FinancialOntology.kif 3861-3861	financial account is an instance of binary predicate
(subrelation financialAccount partyToAgreement)	FinancialOntology.kif 3862-3862	financial account is a subrelation of party to agreement

appearance as argument number 2

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

consequent

(=>
    (and
        (instance ?P PensionPlan)
        (accountHolder ?P ?A)
        (employs ?O ?A))
    (financialAccount ?P ?O))

If X is an instance of pension plan, Y holds account X, and Z employs Y, then X is a financial account of Z