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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 LiabilityAccount は FinancialAccount の subclass では %n

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


(subclass CreditAccount LiabilityAccount) FinancialOntology.kif 1151-1151 CreditAccount は LiabilityAccount の subclass では %n
(subclass Loan LiabilityAccount) FinancialOntology.kif 1191-1191 Loan は LiabilityAccount の subclass では %n
(termFormat ChineseLanguage LiabilityAccount "责任账户") domainEnglishFormat.kif 34141-34141 termFormat ChineseLanguage, LiabilityAccount and "责任账户"
(termFormat ChineseTraditionalLanguage LiabilityAccount "責任賬戶") domainEnglishFormat.kif 34140-34140 termFormat ChineseTraditionalLanguage, LiabilityAccount and "責任賬戶"
(termFormat EnglishLanguage LiabilityAccount "liability account") domainEnglishFormat.kif 34139-34139 termFormat EnglishLanguage, LiabilityAccount and "liability account"

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


(domain minimumPayment 1 LiabilityAccount) FinancialOntology.kif 706-706 minimumPayment の数値 1 引数は LiabilityAccount の instance では %n

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 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