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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3858-3860
(domain paymentsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3855-3855 paymentsPerPeriod の数値 1 引数は FinancialAccountinstance では %n
(domain paymentsPerPeriod 2 CurrencyMeasure) FinancialOntology.kif 3856-3856 paymentsPerPeriod の数値 2 引数は 通貨測定instance では %n
(domain paymentsPerPeriod 3 TimeInterval) FinancialOntology.kif 3857-3857 paymentsPerPeriod の数値 3 引数は 時間間隔instance では %n
(instance paymentsPerPeriod TernaryPredicate) FinancialOntology.kif 3854-3854 paymentsPerPeriod3進述語instance では %n

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 44880-44880
(termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款") domainEnglishFormat.kif 44879-44879
(termFormat EnglishLanguage paymentsPerPeriod "payments per period") domainEnglishFormat.kif 44878-44878

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


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