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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PersonalAccount

appearance as argument number 1

(documentation PersonalAccount EnglishLanguage "This is the class of personal accounts, as opposed to CorporateAccounts.") FinancialOntology.kif 993-994
(externalImage PersonalAccount " 9/ 99/ Gnucash-account-summary.png") pictureList.kif 10188-10188
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 992-992 子類 個人賬戶 and 金融賬戶

appearance as argument number 2

(disjoint CorporateAccount PersonalAccount) FinancialOntology.kif 1014-1014 不相交的 企業帳戶 and 個人賬戶
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3385-3385 子類 個人退休賬戶 and 個人賬戶
(subclass JointAccount PersonalAccount) FinancialOntology.kif 1002-1002 子類 聯名賬戶 and 個人賬戶
(termFormat ChineseLanguage PersonalAccount "个人账户") domainEnglishFormat.kif 45300-45300
(termFormat ChineseTraditionalLanguage PersonalAccount "個人賬戶") domainEnglishFormat.kif 45299-45299
(termFormat EnglishLanguage PersonalAccount "personal account") domainEnglishFormat.kif 45298-45298


        (instance ?Account PersonalAccount)
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 1007-1011 Entity and 個人賬戶 比較多 基數 卡帕 SymbolicString and SymbolicString 持有 account Entity and 1 Entity and 聯名賬戶
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 606-611


        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 996-1000 CognitiveAgent 持有 account 金融賬戶 CognitiveAgent and Human 金融賬戶 and 個人賬戶

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 3.0 is open source software produced by Articulate Software and its partners