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 3810-3812
(domain paymentsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3807-3807 The number 1 argument of payments per period is an instance of financial account
(domain paymentsPerPeriod 2 CurrencyMeasure) FinancialOntology.kif 3808-3808 The number 2 argument of payments per period is an instance of currency measure
(domain paymentsPerPeriod 3 TimeInterval) FinancialOntology.kif 3809-3809 The number 3 argument of payments per period is an instance of time interval
(instance paymentsPerPeriod TernaryPredicate) FinancialOntology.kif 3806-3806 payments per period is an instance of ternary predicate

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


(format ChineseLanguage paymentsPerPeriod "%1 %n{不} payments 对于 %3 每周期 %2 ") domainEnglishFormat.kif 1923-1923
(format ChineseTraditionalLanguage paymentsPerPeriod "%1 %n{不} payments 對於 %3 每周期 %2 ") domainEnglishFormat.kif 1922-1922
(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3") domainEnglishFormat.kif 1921-1921
(termFormat ChineseLanguage paymentsPerPeriod "每期付款") domainEnglishFormat.kif 44857-44857
(termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款") domainEnglishFormat.kif 44856-44856
(termFormat EnglishLanguage paymentsPerPeriod "payments per period") domainEnglishFormat.kif 44855-44855

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


(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (exists (?Payment ?Month)
            (and
                (instance ?Month Month)
                (destination ?Payment
                    (CurrencyFn ?Account))
                (paymentsPerPeriod ?Account
                    (MeasureFn ?Amount ?U) ?Month)
                (lessThan ?Amount ?MinPayment))))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 758-774


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