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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currentAccountBalance
currentAccountBalance

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


s__documentation(s__currentAccountBalance__m,s__EnglishLanguage,'"(currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the FinancialAccount ?Account as of the date ?Date."')

FinancialOntology.kif 635-636
s__domain(s__currentAccountBalance__m,n__1,s__FinancialAccount)

FinancialOntology.kif 632-632 The number 1 argument of current account balance is an instance of financial account
s__domain(s__currentAccountBalance__m,n__2,s__Day)

FinancialOntology.kif 633-633 The number 2 argument of current account balance is an instance of day
s__domain(s__currentAccountBalance__m,n__3,s__CurrencyMeasure)

FinancialOntology.kif 634-634 The number 3 argument of current account balance is an instance of currency measure
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__currentAccountBalance__m,s__TernaryPredicate)

FinancialOntology.kif 631-631 current account balance is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__currentAccountBalance__m,'"%1 %n{不是} 对于 %3 的 current 帐户存款"')

domainEnglishFormat.kif 620-620
s__format(s__ChineseTraditionalLanguage,s__currentAccountBalance__m,'"%1 %n{不是} 對於 %3 的 current 帳戶存款"')

domainEnglishFormat.kif 619-619
s__format(s__EnglishLanguage,s__currentAccountBalance__m,'"%1 %n{doesnt} current account balance %2 for %3"')

domainEnglishFormat.kif 618-618
s__subrelation(s__availableBalance__m,s__currentAccountBalance__m)

FinancialOntology.kif 3695-3695 available balance is a subrelation of current account balance
s__termFormat(s__ChineseLanguage,s__currentAccountBalance__m,'"目前账户余额"')

domainEnglishFormat.kif 18105-18105
s__termFormat(s__ChineseTraditionalLanguage,s__currentAccountBalance__m,'"目前賬戶餘額"')

domainEnglishFormat.kif 18104-18104
s__termFormat(s__EnglishLanguage,s__currentAccountBalance__m,'"current account balance"')

domainEnglishFormat.kif 18103-18103

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


( ! [V__Date,V__Balance,V__Account] :
   (((s__instance(V__Date,s__TimePoint) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount))
       =>
       (((s__agreementEffectiveDate(V__Account,V__Date)
           &
           s__currentAccountBalance(V__Account,V__Date,V__Balance))
       =>
       (s__originalBalance(V__Account,V__Balance)))))
)
)

FinancialOntology.kif 682-686
( ! [V__Date,V__Balance,V__Account,V__Overdraft] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Overdraft,s__RealNumber))
       =>
       (((s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Balance,s__UnitedStatesDollar))
           &
           s__lessThan(V__Balance,n__0)
         &
         (V__Overdraft = s__SubtractionFn(n__0,V__Balance)))
     =>
     (s__overdraft(V__Account,s__MeasureFn(V__Overdraft,s__UnitedStatesDollar),V__Date)))))
)
)

FinancialOntology.kif 742-747
( ! [V__Amount,V__Date,V__Balance,V__U,V__Account] :
   (((s__instance(V__Amount,s__RealNumber) &
         s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__RealNumber))
       =>
       (((s__instance(V__Account,s__FinancialAccount) &
             s__minimumBalance(V__Account,s__UsingAnAccount,s__MeasureFn(V__Balance,V__U))
         &
         s__instance(V__U,s__UnitOfCurrency) &
         s__currentAccountBalance(V__Account,V__Date,s__MeasureFn(V__Amount,V__U))
     &
     s__lessThan(V__Amount,V__Balance))
=>
(( ? [V__Penalty] :
     ((s__instance(V__Penalty,s__Penalty) &
         s__date(V__Penalty,V__Date)
       &
       s__destination(V__Penalty,s__CurrencyFn(V__Account)))))))))
)
)

FinancialOntology.kif 661-674
( ! [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__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Deposit,s__Deposit) &
             s__instance(V__Account,s__FinancialAccount) &
             s__destination(V__Deposit,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Deposit,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit))
  ,V__Balance1)
&
(V__Balance2 = s__AdditionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2)))))
)
)

FinancialOntology.kif 428-436
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Payment,s__Payment) &
             s__origin(V__Payment,s__CurrencyFn(V__Account))
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__transactionAmount(V__Payment,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment))
  ,V__Balance1)
&
(V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment))
,V__Balance2)))))
)
)

FinancialOntology.kif 408-416
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Time,s__Day) &
         s__instance(V__Collateral,s__Collateral) &
         s__instance(V__Borrower,s__CognitiveAgent))
       =>
       (((s__instance(V__Refinancing,s__Refinancing) &
             s__time(V__Refinancing,V__Time)
           &
           s__instance(V__Loan,s__Loan) &
           s__securedBy(V__Loan,V__Collateral)
         &
         s__borrower(V__Loan,V__Borrower)
       &
       s__currentAccountBalance(V__Loan,V__Time,V__Amount)
     &
     s__patient(V__Refinancing,V__Loan))
=>
(( ? [V__NewLoan, V__Payment] :
     ((s__instance(V__Payment,s__FinancialTransaction) &
         (s__instance(V__NewLoan,s__Loan) &
           s__borrower(V__NewLoan,V__Borrower)
         &
         s__securedBy(V__Loan,V__Collateral)
       &
       s__destination(V__Payment,s__CurrencyFn(V__Loan))
   &
   s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))))))
)
)

FinancialOntology.kif 1403-1420
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Withdrawal,s__Withdrawal) &
             s__instance(V__Account,s__FinancialAccount) &
             s__origin(V__Withdrawal,V__Account)
           &
           s__transactionAmount(V__Withdrawal,V__Amount)
         &
         s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal))
    ,V__Balance1)
   &
   (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal))
,V__Balance2)))))
)
)

FinancialOntology.kif 449-457

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


( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Deposit,s__Deposit) &
             s__instance(V__Account,s__FinancialAccount) &
             s__destination(V__Deposit,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Deposit,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Deposit))
  ,V__Balance1)
&
(V__Balance2 = s__AdditionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Deposit))
,V__Balance2)))))
)
)

FinancialOntology.kif 428-436
( ! [V__BAL,V__LOAN,V__START] :
   (((s__instance(V__BAL,s__CurrencyMeasure) &
         s__instance(V__START,s__TimePoint) &
         s__instance(V__START,s__Day))
       =>
       (((s__instance(V__LOAN,s__Loan) &
             (V__START = s__BeginFn(V__LOAN))
           &
           s__totalBalance(V__LOAN,V__BAL))
       =>
       (s__currentAccountBalance(V__LOAN,V__START,V__BAL)))))
)
)

FinancialOntology.kif 1353-1358
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Payment,s__Payment) &
             s__origin(V__Payment,s__CurrencyFn(V__Account))
         &
         s__instance(V__Account,s__FinancialAccount) &
         s__transactionAmount(V__Payment,V__Amount)
       &
       s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Payment))
  ,V__Balance1)
&
(V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__WhenFn(V__Payment))
,V__Balance2)))))
)
)

FinancialOntology.kif 408-416
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   (((s__instance(V__Amount,s__Number) &
         s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Balance2,s__Number) &
         s__instance(V__Balance2,s__CurrencyMeasure) &
         s__instance(V__Balance1,s__Number) &
         s__instance(V__Balance1,s__CurrencyMeasure))
       =>
       (((s__instance(V__Withdrawal,s__Withdrawal) &
             s__instance(V__Account,s__FinancialAccount) &
             s__origin(V__Withdrawal,V__Account)
           &
           s__transactionAmount(V__Withdrawal,V__Amount)
         &
         s__currentAccountBalance(V__Account,s__ImmediatePastFn(s__WhenFn(V__Withdrawal))
    ,V__Balance1)
   &
   (V__Balance2 = s__SubtractionFn(V__Balance1,V__Amount)))
=>
(s__currentAccountBalance(V__Account,s__ImmediateFutureFn(s__FutureFn(V__Withdrawal))
,V__Balance2)))))
)
)

FinancialOntology.kif 449-457
( ! [V__Date,V__Balance,V__Account] :
   (((s__instance(V__Date,s__Day) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount))
       =>
       ((s__lastStatementBalance(V__Account,V__Balance)
         =>
         (( ? [V__Statement] :
             ((s__instance(V__Statement,s__BankStatement) &
                 (s__lastStatement(V__Account,V__Statement)
                 &
                 s__dateOfStatement(V__Statement,V__Date)
               &
               s__currentAccountBalance(V__Account,V__Date,V__Balance)))))))))
)
)

FinancialOntology.kif 3935-3941


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