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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 定期付款 的 1 数量 是 金融账户instance
(domain periodicPayment 2 CurrencyMeasure) FinancialOntology.kif 737-737 定期付款 的 2 数量 是 货币测量instance
(domain periodicPayment 3 TimeDuration) FinancialOntology.kif 738-738 定期付款 的 3 数量 是 持续时间instance
(instance periodicPayment TernaryPredicate) FinancialOntology.kif 735-735 定期付款三元谓语instance

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


    (periodicPayment ?Account ?Amount ?Period)
    (exists (?Payment ?Class)
            (instance ?Payment Payment)
            (origin ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (instance ?Payment ?Class)
            (frequency ?Class ?Period))))
FinancialOntology.kif 742-750


        (instance ?Bond Bond)
        (couponInterest ?Bond ?Interest)
        (possesses ?BondHolder ?Bond))
    (exists (?Period ?Payment)
                (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