periodicPayment - Sigma Knowledge base Browser

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

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

If a financial account is periodic payment a currency measure for a time duration,
then there exist a financial transaction and a kind of process such that the financial transaction is an instance of payment and the financial transaction originates at the currency of the financial account and the currency measure is a transaction amount of the financial transaction and the financial transaction is an instance of a kind of process and the kind of process occurs every the time duration

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

If a bond is an instance of bond and an interest is a coupon interest of the bond and the bondHolder possesses the bond,
then there exist a time duration and a process such that the account of the bond is periodic payment the interest for the time duration and the process ends up at the bondHolder

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

KB Term:			Term intersection

English Word: