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 612-613
(domain amountDue 1 FinancialAccount) FinancialOntology.kif 609-609
(domain amountDue 2 CurrencyMeasure) FinancialOntology.kif 610-610
(domain amountDue 3 TimePosition) FinancialOntology.kif 611-611
(instance amountDue TernaryPredicate) FinancialOntology.kif 608-608

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 7269-7269
(termFormat ChineseTraditionalLanguage amountDue "到期金額") domainEnglishFormat.kif 7268-7268
(termFormat EnglishLanguage amountDue "amount due") domainEnglishFormat.kif 7267-7267

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 615-627
(=>
    (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 788-796

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


(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))
FinancialOntology.kif 2430-2435
(=>
    (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 1570-1579
(=>
    (and
        (instance ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))
FinancialOntology.kif 1551-1556
(=>
    (and
        (maturityDate ?Account ?Date)
        (principalAmount ?Account ?Principal))
    (amountDue ?Account ?Principal ?Date))
FinancialOntology.kif 596-600


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