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 定期付款 的 1 数量 是 金融账户instance
(domain periodicPayment 2 CurrencyMeasure) FinancialOntology.kif 737-737 定期付款 的 2 数量 是 货币测量instance
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 738-738 定期付款 的 3 数量 是 持续时间instance
(instance periodicPayment TernaryPredicate) FinancialOntology.kif 735-735 定期付款三元谓语instance

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