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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of periodic payment is an instance of financial account
(domain periodicPayment 2 CurrencyMeasure) FinancialOntology.kif 737-737 The number 2 argument of periodic payment is an instance of currency measure
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 738-738 The number 3 argument of periodic payment is an instance of time duration
(instance periodicPayment TernaryPredicate) FinancialOntology.kif 735-735 periodic payment is an instance of ternary predicate

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 45193-45193
(termFormat ChineseTraditionalLanguage periodicPayment "定期付款") domainEnglishFormat.kif 45192-45192
(termFormat EnglishLanguage periodicPayment "periodic payment") domainEnglishFormat.kif 45191-45191

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


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

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 2278-2286


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