TreeView Knowledge Base Browser

appearance as argument number 1

(subclass JointAccount PersonalAccount)	FinancialOntology.kif 1024-1024	Joint account is a subclass of personal account
(documentation JointAccount EnglishLanguage "An account owned by two or more people, usually sharing a household and expenses. Each co_owner has equal access to the account. Most types of accounts, whether it's basic checking, savings or money market, allow for joint use")	FinancialOntology.kif 1025-1027	Joint account is a subclass of personal account

appearance as argument number 2

(termFormat EnglishLanguage JointAccount "joint account")	domainEnglishFormat.kif 31665-31665
(termFormat ChineseTraditionalLanguage JointAccount "聯名賬戶")	domainEnglishFormat.kif 31666-31666
(termFormat ChineseLanguage JointAccount "联名账户")	domainEnglishFormat.kif 31667-31667

consequent

(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))

X is an instance of personal account, the number of instances in the class described by Y is greater than 1 if, and only if X is an instance of joint account