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 The number 1 argument of amount due is an instance of financial account
(domain amountDue 2 CurrencyMeasure) FinancialOntology.kif 610-610 The number 2 argument of amount due is an instance of currency measure
(domain amountDue 3 TimePosition) FinancialOntology.kif 611-611 The number 3 argument of amount due is an instance of time position
(instance amountDue TernaryPredicate) FinancialOntology.kif 608-608 amount due is an instance of ternary predicate

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


(format EnglishLanguage amountDue "%1 %n{doesn't} amount due %2 for %3") domainEnglishFormat.kif 43-43
(termFormat EnglishLanguage amountDue "amount due") domainEnglishFormat.kif 1644-1644 "amount due" is the printable form of amount due in english language

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 ?AmountDue ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))
FinancialOntology.kif 779-787

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


(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))
FinancialOntology.kif 2412-2417
(=>
    (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 1559-1568
(=>
    (and
        (instance ?Loan SinglePaymentLoan)
        (principalAmount ?Loan ?Principal)
        (maturityDate ?Loan ?Maturity))
    (amountDue ?Loan ?Principal ?Maturity))
FinancialOntology.kif 1540-1545
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners