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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiabilityAccount

Sigma KEE - LiabilityAccount
LiabilityAccount

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


(documentation LiabilityAccount EnglishLanguage "An account for which a person is liable") FinancialOntology.kif 1105-1105
(subclass LiabilityAccount FinancialAccount) FinancialOntology.kif 1104-1104 LiabilityAccountFinancialAccountsubclass

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


(subclass CreditAccount LiabilityAccount) FinancialOntology.kif 1151-1151 CreditAccountLiabilityAccountsubclass
(subclass Loan LiabilityAccount) FinancialOntology.kif 1191-1191 LoanLiabilityAccountsubclass
(termFormat EnglishLanguage LiabilityAccount "liability account") domainEnglishFormat.kif 6123-6123 termFormat EnglishLanguage, LiabilityAccount and "liability account"

appearance as argument number 3
-------------------------


(domain minimumPayment 1 LiabilityAccount) FinancialOntology.kif 706-706 minimumPayment 的 1 数量 是 LiabilityAccountinstance

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


(=>
    (and
        (instance ?Account LiabilityAccount)
        (accountHolder ?Account ?Agent)
        (accountAt ?Account ?Bank))
    (exists (?Debt)
        (and
            (property ?Debt Liability)
            (partyToAgreement ?Debt ?Agent)
            (partyToAgreement ?Debt ?Bank))))
FinancialOntology.kif 1107-1116
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account ?MinPayment MonthDuration)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account ?Amount ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 712-725


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners