| 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 | |
| (domain periodicPayment 2 CurrencyMeasure) | FinancialOntology.kif 737-737 | |
| (domain periodicPayment 3 TimeDuration) | FinancialOntology.kif 738-738 | |
| (instance periodicPayment TernaryPredicate) | FinancialOntology.kif 735-735 |
| 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 45243-45243 | |
| (termFormat ChineseTraditionalLanguage periodicPayment "定期付款") | domainEnglishFormat.kif 45242-45242 | |
| (termFormat EnglishLanguage periodicPayment "periodic payment") | domainEnglishFormat.kif 45241-45241 |
| 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 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