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 938-939
(externalImage PersonalAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") pictureList.kif 10209-10209 externalImage PersonalAccount and "http://upload.wikimedia.org/wikipedia/commons/9/99/ Gnucash-account-summary.png"
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 937-937 subclass PersonalAccount and FinancialAccount

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


(disjoint CorporateAccount PersonalAccount) FinancialOntology.kif 959-959 disjoint CorporateAccount and PersonalAccount
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3273-3273 subclass IndividualRetirementAccount and PersonalAccount
(subclass JointAccount PersonalAccount) FinancialOntology.kif 947-947 subclass JointAccount and PersonalAccount
(termFormat EnglishLanguage PersonalAccount "personal account") domainEnglishFormat.kif 7971-7971 termFormat EnglishLanguage, PersonalAccount and "personal account"

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 952-956 instance エンティティー and PersonalAccount greaterThan CardinalityFn KappaFn 記号文字列 and accountHolder エンティティー and 記号文字列 and 1 instance エンティティー and JointAccount
(=>
    (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 accountHolder FinancialAccount and 認識エージェント instance 認識エージェント and 人[人間] 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