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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PersonalAccount
PersonalAccount(personal account)
personal_account, 个人账户, 個人賬戶

appearance as argument number 1
-------------------------


(documentation PersonalAccount EnglishLanguage "This is the class of personal accounts, as opposed to CorporateAccounts.") FinancialOntology.kif 938-939
(externalImage PersonalAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") pictureList.kif 10209-10209 "http://upload.wikimedia.org/wikipedia/commons/9/99/ Gnucash-account-summary.png" is a URL depicting personal account
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 937-937 Personal account is a subclass of financial account

appearance as argument number 2
-------------------------


(disjoint CorporateAccount PersonalAccount) FinancialOntology.kif 959-959 Corporate account is disjoint from personal account
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3273-3273 Individual retirement account is a subclass of personal account
(subclass JointAccount PersonalAccount) FinancialOntology.kif 947-947 Joint account is a subclass of personal account
(termFormat ChineseLanguage PersonalAccount "个人账户") domainEnglishFormat.kif 45229-45229 "个人账户" is the printable form of personal account in ChineseLanguage
(termFormat ChineseTraditionalLanguage PersonalAccount "個人賬戶") domainEnglishFormat.kif 45228-45228 "個人賬戶" is the printable form of personal account in ChineseTraditionalLanguage
(termFormat EnglishLanguage PersonalAccount "personal account") domainEnglishFormat.kif 45227-45227 "personal account" is the printable form of personal account in english language

antecedent
-------------------------


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 566-571

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 941-945 A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners