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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - amountDue
amountDue

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


(documentation amountDue EnglishLanguage "(amountDue ?ACCOUNT ?AMOUNT ?DATE) means ?DATE is the date on which the amount of Money ?AMOUNT of a particular ?ACCOUNT is due and payable") FinancialOntology.kif 654-655
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 651-651 amountDue の数値 1 引数は FinancialAccount の instance では
(domain amountDue 2 CurrencyMeasure) FinancialOntology.kif 652-652 amountDue の数値 2 引数は 通貨測定 の instance では
(domain amountDue 3 TimePosition) FinancialOntology.kif 653-653 amountDue の数値 3 引数は 時間位置 の instance では
(instance amountDue TernaryPredicate) FinancialOntology.kif 650-650 amountDue は 3進述語 の instance では

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


(format ChineseLanguage amountDue "%1 %n{不是} 对于 %3 到期的 amount %2") domainEnglishFormat.kif 136-136
(format ChineseTraditionalLanguage amountDue "%1 %n{不是} 對於 %3 到期的 amount %2 ") domainEnglishFormat.kif 135-135
(format EnglishLanguage amountDue "%1 %n{doesn't} amount due %2 for %3") domainEnglishFormat.kif 134-134
(termFormat ChineseLanguage amountDue "到期金额") domainEnglishFormat.kif 7267-7267
(termFormat ChineseTraditionalLanguage amountDue "到期金額") domainEnglishFormat.kif 7266-7266
(termFormat EnglishLanguage amountDue "amount due") domainEnglishFormat.kif 7265-7265

antecedent
-------------------------


(=>
    (and
        (amountDue ?Account ?Amount ?DueDate)
        (accountHolder ?Account ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (instance ?Payment Payment)
                (transactionAmount ?Payment ?Amount)
                (or
                    (destination ?Payment
                        (CurrencyFn ?Account))
                    (origin ?Payment
                        (CurrencyFn ?Account)))
                (date ?Payment ?Date)
                (beforeOrEqual
                    (EndFn ?Date)
                    (BeginFn ?DueDate)))) ?Agent))		 FinancialOntology.kif 657-669
(=>
    (and
        (transactionAmount ?Payment ?Amount)
        (date ?Payment ?Date)
        (instance ?Account FinancialAccount)
        (destination ?Payment
            (CurrencyFn ?Account))
        (amountDue ?Account ?Amount ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))		 FinancialOntology.kif 836-844

consequent
-------------------------


(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2506-2511
(=>
    (and
        (instance ?Loan InterestOnlyLoan)
        (agreementPeriod ?Loan ?Period)
        (principalAmount ?Loan ?Principal)
        (interestEarned ?Loan ?Interest ?Period))
    (and
        (amountDue ?Loan ?Principal
            (EndFn ?Period))
        (amountDue ?Loan ?Interest ?Date)
        (before
            (EndFn ?Date)
            (EndFn ?Period))))		 FinancialOntology.kif 1631-1640
(=>
    (and
        (instance ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))		 FinancialOntology.kif 1612-1617
(=>
    (and
        (maturityDate ?Account ?Date)
        (principalAmount ?Account ?Principal))
    (amountDue ?Account ?Principal ?Date))		 FinancialOntology.kif 638-642


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