PersonalAccount - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PersonalAccount FinancialAccount)	FinancialOntology.kif 994-994	Personal account is a subclass of financial account
(documentation PersonalAccount EnglishLanguage "This is the class of personal accounts, as opposed to CorporateAccounts.")	FinancialOntology.kif 995-996	Personal account is a subclass of financial account
(externalImage PersonalAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png")	pictureList.kif 10186-10186	Personal account is a subclass of financial account

appearance as argument number 2

(subclass JointAccount PersonalAccount)	FinancialOntology.kif 1004-1004	Joint account is a subclass of personal account
(disjoint CorporateAccount PersonalAccount)	FinancialOntology.kif 1016-1016	Corporate account is disjoint from personal account
(subclass IndividualRetirementAccount PersonalAccount)	FinancialOntology.kif 3402-3402	Individual retirement account is a subclass of personal account
(termFormat EnglishLanguage PersonalAccount "personal account")	domainEnglishFormat.kif 45293-45293	Individual retirement account is a subclass of personal account
(termFormat ChineseTraditionalLanguage PersonalAccount "個人賬戶")	domainEnglishFormat.kif 45294-45294	Individual retirement account is a subclass of personal account
(termFormat ChineseLanguage PersonalAccount "个人账户")	domainEnglishFormat.kif 45295-45295	Individual retirement account is a subclass of personal account

antecedent

(=> (and (instance ?Account PersonalAccount) (currentInterestRate ?Account ?Date ?Rate) (primeInterestRate ?Date ?PrimeRate)) (greaterThan ?Rate ?PrimeRate))	FinancialOntology.kif 608-613	If X is an instance of personal account, X current interest rate Y for Z, and W is a prime interest rate of Y, then Z is greater than W
(<=> (and (instance ?Account PersonalAccount) (greaterThan (CardinalityFn (KappaFn ?Agent (accountHolder ?Account ?Agent))) 1)) (instance ?Account JointAccount))	FinancialOntology.kif 1009-1013	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

consequent

(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))

X holds account Y, X is an instance of human if, and only if Y is an instance of personal account