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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PersonalAccount

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 993-994
(externalImage PersonalAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") pictureList.kif 10188-10188
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 992-992 PersonalAccount est une sous-classe de FinancialAccount

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


(disjoint CorporateAccount PersonalAccount) FinancialOntology.kif 1014-1014 CorporateAccount est disjoint de PersonalAccount
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3385-3385 IndividualRetirementAccount est une sous-classe de PersonalAccount
(subclass JointAccount PersonalAccount) FinancialOntology.kif 1002-1002 JointAccount est une sous-classe de PersonalAccount
(termFormat ChineseLanguage PersonalAccount "个人账户") domainEnglishFormat.kif 45300-45300
(termFormat ChineseTraditionalLanguage PersonalAccount "個人賬戶") domainEnglishFormat.kif 45299-45299
(termFormat EnglishLanguage PersonalAccount "personal account") domainEnglishFormat.kif 45298-45298

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 1007-1011 Entit� est une instance de PersonalAccount le nombre d' instances dans la classe d�crite par cha�ne sympbolique est plus grand que 1 entit� est une instance de JointAccount
(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 606-611

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 996-1000 accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount


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

Show without tree


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