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

Formal Language: 



KB Term:  Term intersection
English Word: 

  paymentsPerPeriod

Sigma KEE - paymentsPerPeriod
paymentsPerPeriod

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


(documentation paymentsPerPeriod EnglishLanguage "(paymentsPerPeriod ?Account ?Amount ?Period) holds if ?Amount is the amount paid on the FinancialAccount ?Account during the time period ?Period.") FinancialOntology.kif 3692-3694
(domain paymentsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3689-3689 paymentsPerPeriod 的 1 数量 是 FinancialAccountinstance
(domain paymentsPerPeriod 2 CurrencyMeasure) FinancialOntology.kif 3690-3690 paymentsPerPeriod 的 2 数量 是 货币测量instance
(domain paymentsPerPeriod 3 TimeInterval) FinancialOntology.kif 3691-3691 paymentsPerPeriod 的 3 数量 是 时距instance
(instance paymentsPerPeriod TernaryPredicate) FinancialOntology.kif 3688-3688 paymentsPerPeriod三元谓语instance

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


(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3") domainEnglishFormat.kif 489-489
(termFormat EnglishLanguage paymentsPerPeriod "payments per period") domainEnglishFormat.kif 7900-7900 termFormat EnglishLanguage, paymentsPerPeriod and "payments per period"

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


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