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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PersonalAccount
PersonalAccount

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


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

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


(disjoint CorporateAccount PersonalAccount) FinancialOntology.kif 958-958 disjoint CorporateAccount and PersonalAccount
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3280-3280 subclass IndividualRetirementAccount and PersonalAccount
(subclass JointAccount PersonalAccount) FinancialOntology.kif 946-946 subclass JointAccount and PersonalAccount
(termFormat ChineseLanguage PersonalAccount "个人账户") domainEnglishFormat.kif 45199-45199
(termFormat ChineseTraditionalLanguage PersonalAccount "個人賬戶") domainEnglishFormat.kif 45198-45198
(termFormat EnglishLanguage PersonalAccount "personal account") domainEnglishFormat.kif 45197-45197

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 951-955 instance Entity and PersonalAccount greaterThan CardinalityFn KappaFn SymbolicString and accountHolder Entity and SymbolicString and 1 instance Entity and JointAccount
(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 565-570

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 940-944 accountHolder FinancialAccount and CognitiveAgent instance CognitiveAgent and Human instance FinancialAccount and PersonalAccount


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