Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - periodicPayment
periodicPayment

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


(instance periodicPayment TernaryPredicate) FinancialOntology.kif 757-757 periodic payment is an instance of ternary predicate
(domain periodicPayment 1 FinancialAccount) FinancialOntology.kif 758-758 The number 1 argument of periodic payment is an instance of financial account
(domain periodicPayment 2 CurrencyMeasure) FinancialOntology.kif 759-759 The number 2 argument of periodic payment is an instance of currency measure
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 760-760 The number 3 argument of periodic payment is an instance of time duration
(documentation periodicPayment EnglishLanguage "(periodicPayment ?Pay ?Amount ?Period) holds if ?Pay is one of the periodic payments for the amount ?Amount.") FinancialOntology.kif 761-762 The number 3 argument of periodic payment is an instance of time duration

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


(format EnglishLanguage periodicPayment "%1 is %n periodic payment %2 for %3") domainEnglishFormat.kif 1949-1949
(format ChineseTraditionalLanguage periodicPayment "%1 %n 是 對於 %3 的 periodic 費用 %2 ") domainEnglishFormat.kif 1950-1950
(format ChineseLanguage periodicPayment "%1 %n 是 对于 %3 的 periodic 费用 %2 ") domainEnglishFormat.kif 1951-1951
(termFormat EnglishLanguage periodicPayment "periodic payment") domainEnglishFormat.kif 45203-45203
(termFormat ChineseTraditionalLanguage periodicPayment "定期付款") domainEnglishFormat.kif 45204-45204
(termFormat ChineseLanguage periodicPayment "定期付款") domainEnglishFormat.kif 45205-45205

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 764-772 If X is periodic payment Y for Z, then there exist W, V such that W is an instance of payment, W originates at the currency of X, Y is a transaction amount of W, W is an instance of V, and V occurs every Z

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 2311-2319 If X is an instance of bond, Y is a coupon interest of X, and Z possesses X, then there exist W, V such that the account of X is periodic payment Y for W, and V ends up at Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners