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
-------------------------


s__documentation(s__amountDue__m,s__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
s__domain(s__amountDue__m,n__1,s__FinancialAccount)

FinancialOntology.kif 609-609 The number 1 argument of amount due is an instance of financial account
s__domain(s__amountDue__m,n__2,s__CurrencyMeasure)

FinancialOntology.kif 610-610 The number 2 argument of amount due is an instance of currency measure
s__domain(s__amountDue__m,n__3,s__TimePosition)

FinancialOntology.kif 611-611 The number 3 argument of amount due is an instance of time position
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__amountDue__m,s__TernaryPredicate)

FinancialOntology.kif 608-608 amount due is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__amountDue__m,'"%1 %n{不是} 对于 %3 到期的 amount %2"')

domainEnglishFormat.kif 136-136
s__format(s__ChineseTraditionalLanguage,s__amountDue__m,'"%1 %n{不是} 對於 %3 到期的 amount %2 "')

domainEnglishFormat.kif 135-135
s__format(s__EnglishLanguage,s__amountDue__m,'"%1 %n{doesnt} amount due %2 for %3"')

domainEnglishFormat.kif 134-134
s__termFormat(s__ChineseLanguage,s__amountDue__m,'"到期金额"')

domainEnglishFormat.kif 7269-7269
s__termFormat(s__ChineseTraditionalLanguage,s__amountDue__m,'"到期金額"')

domainEnglishFormat.kif 7268-7268
s__termFormat(s__EnglishLanguage,s__amountDue__m,'"amount due"')

domainEnglishFormat.kif 7267-7267

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 615-627
( ! [V__Amount,V__Date,V__Account,V__Payment,V__DueDate] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Payment,s__FinancialTransaction) &
         s__instance(V__DueDate,s__TimeInterval))
       =>
       (((s__transactionAmount(V__Payment,V__Amount)
           &
           s__date(V__Payment,V__Date)
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__destination(V__Payment,s__CurrencyFn(V__Account))
     &
     s__amountDue(V__Account,V__Amount,V__DueDate)
   &
   s__before(s__EndFn(V__Date)
,s__BeginFn(V__DueDate)))
=>
(s__instance(V__Payment,s__Prepayment)))))
)
)

FinancialOntology.kif 788-796

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


( ! [V__Amount,V__Date,V__Bond] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Date,s__Day))
       =>
       (((s__instance(V__Bond,s__CallableBond) &
             s__currentAccountBalance(s__AccountFn(V__Bond)
          ,V__Date,V__Amount)
         &
         s__callDate(V__Bond,V__Date))
     =>
     (s__amountDue(s__AccountFn(V__Bond)
    ,V__Amount,V__Date)))))
)
)

FinancialOntology.kif 2430-2435
( ! [V__Period,V__Loan,V__Date,V__Interest,V__Principal] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Date,s__TimeInterval) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Loan,s__InterestOnlyLoan) &
             s__agreementPeriod(V__Loan,V__Period)
           &
           s__principalAmount(V__Loan,V__Principal)
         &
         s__interestEarned(V__Loan,V__Interest,V__Period))
     =>
     ((s__amountDue(V__Loan,V__Principal,s__EndFn(V__Period))
     &
     s__amountDue(V__Loan,V__Interest,V__Date)
   &
   s__before(s__EndFn(V__Date)
,s__EndFn(V__Period)))))))
)
)

FinancialOntology.kif 1570-1579
( ! [V__Loan,V__Maturity,V__Principal] :
   (((s__instance(V__Maturity,s__Day) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__instance(V__Loan,s__SinglePaymentLoan) &
             s__principalAmount(V__Loan,V__Principal)
           &
           s__maturityDate(V__Loan,V__Maturity))
       =>
       (s__amountDue(V__Loan,V__Principal,V__Maturity)))))
)
)

FinancialOntology.kif 1551-1556
( ! [V__Date,V__Account,V__Principal] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Principal,s__CurrencyMeasure))
       =>
       (((s__maturityDate(V__Account,V__Date)
           &
           s__principalAmount(V__Account,V__Principal))
       =>
       (s__amountDue(V__Account,V__Principal,V__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