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 3876-3878
(domain paymentsPerPeriod 1 FinancialAccount) FinancialOntology.kif 3873-3873 每期付款 的 1 数量 是 金融账户instance
(domain paymentsPerPeriod 2 CurrencyMeasure) FinancialOntology.kif 3874-3874 每期付款 的 2 数量 是 货币测量instance
(domain paymentsPerPeriod 3 TimeInterval) FinancialOntology.kif 3875-3875 每期付款 的 3 数量 是 时距instance
(instance paymentsPerPeriod TernaryPredicate) FinancialOntology.kif 3872-3872 每期付款三元谓语instance

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


(format ChineseLanguage paymentsPerPeriod "%1 %n{不} payments 对于 %3 每周期 %2 ") domainEnglishFormat.kif 1927-1927
(format ChineseTraditionalLanguage paymentsPerPeriod "%1 %n{不} payments 對於 %3 每周期 %2 ") domainEnglishFormat.kif 1926-1926
(format EnglishLanguage paymentsPerPeriod "%1 %n{doesn't} payments per period %2 for %3") domainEnglishFormat.kif 1925-1925
(termFormat ChineseLanguage paymentsPerPeriod "每期付款") domainEnglishFormat.kif 44882-44882
(termFormat ChineseTraditionalLanguage paymentsPerPeriod "每期付款") domainEnglishFormat.kif 44881-44881
(termFormat EnglishLanguage paymentsPerPeriod "payments per period") domainEnglishFormat.kif 44880-44880

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


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