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 995-996
(externalImage PersonalAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") pictureList.kif 10186-10186
(subclass PersonalAccount FinancialAccount) FinancialOntology.kif 994-994 PersonalAccountFinancialAccountsubclass では

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


(disjoint CorporateAccount PersonalAccount) FinancialOntology.kif 1016-1016 CorporateAccountPersonalAccountdisjoint では
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3402-3402 IndividualRetirementAccountPersonalAccountsubclass では
(subclass JointAccount PersonalAccount) FinancialOntology.kif 1004-1004 JointAccountPersonalAccountsubclass では
(termFormat ChineseLanguage PersonalAccount "个人账户") domainEnglishFormat.kif 45302-45302 JointAccountPersonalAccountsubclass では
(termFormat ChineseTraditionalLanguage PersonalAccount "個人賬戶") domainEnglishFormat.kif 45301-45301 JointAccountPersonalAccountsubclass では
(termFormat EnglishLanguage PersonalAccount "personal account") domainEnglishFormat.kif 45300-45300 JointAccountPersonalAccountsubclass では

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


(<=>
    (and
        (instance ?Account PersonalAccount)
        (greaterThan
            (CardinalityFn
                (KappaFn ?Agent
                    (accountHolder ?Account ?Agent))) 1))
    (instance ?Account JointAccount))
FinancialOntology.kif 1009-1013 エンティティーPersonalAccountinstance では エンティティー classinstances の数 は 1 より greater では  エンティティーJointAccountinstance では
(=>
    (and
        (instance ?Account PersonalAccount)
        (currentInterestRate ?Account ?Date ?Rate)
        (primeInterestRate ?Date ?PrimeRate))
    (greaterThan ?Rate ?PrimeRate))
FinancialOntology.kif 608-613

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


(<=>
    (and
        (accountHolder ?Account ?Agent)
        (instance ?Agent Human))
    (instance ?Account PersonalAccount))
FinancialOntology.kif 998-1002 accountHolder FinancialAccount and 認識エージェント 認識エージェント人[人間]instance では FinancialAccountPersonalAccountinstance では


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