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

Formal Language: 



KB Term:  Term intersection
English Word: 

  periodicPayment

Sigma KEE - periodicPayment
periodicPayment

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


(documentation periodicPayment EnglishLanguage "(periodicPayment ?Pay ?Amount ?Period) holds if ?Pay is one of the periodic payments for the amount ?Amount.") FinancialOntology.kif 739-740
(domain periodicPayment 1 FinancialAccount) FinancialOntology.kif 736-736
(domain periodicPayment 2 CurrencyMeasure) FinancialOntology.kif 737-737
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 738-738
(instance periodicPayment TernaryPredicate) FinancialOntology.kif 735-735

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


(format ChineseLanguage periodicPayment "%1 %n 是 对于 %3 的 periodic 费用 %2 ") domainEnglishFormat.kif 1947-1947
(format ChineseTraditionalLanguage periodicPayment "%1 %n 是 對於 %3 的 periodic 費用 %2 ") domainEnglishFormat.kif 1946-1946
(format EnglishLanguage periodicPayment "%1 is %n periodic payment %2 for %3") domainEnglishFormat.kif 1945-1945
(termFormat ChineseLanguage periodicPayment "定期付款") domainEnglishFormat.kif 45210-45210
(termFormat ChineseTraditionalLanguage periodicPayment "定期付款") domainEnglishFormat.kif 45209-45209
(termFormat EnglishLanguage periodicPayment "periodic payment") domainEnglishFormat.kif 45208-45208

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


(=>
    (periodicPayment ?Account ?Amount ?Period)
    (exists (?Payment ?Class)
        (and
            (instance ?Payment Payment)
            (origin ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (instance ?Payment ?Class)
            (frequency ?Class ?Period))))
FinancialOntology.kif 742-750

consequent
-------------------------


(=>
    (and
        (instance ?Bond Bond)
        (couponInterest ?Bond ?Interest)
        (possesses ?BondHolder ?Bond))
    (exists (?Period ?Payment)
        (and
            (periodicPayment
                (AccountFn ?Bond) ?Interest ?Period)
            (destination ?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278


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