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 699-700
(domain periodicPayment 1 FinancialAccount) FinancialOntology.kif 696-696 The number 1 argument of periodic payment is an instance of financial account
(domain periodicPayment 2 CurrencyMeasure) FinancialOntology.kif 697-697 The number 2 argument of periodic payment is an instance of currency measure
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 698-698 The number 3 argument of periodic payment is an instance of time duration
(instance periodicPayment TernaryPredicate) FinancialOntology.kif 695-695 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 702-709

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 2240-2248


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