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 634-635
s__domain(s__currentAccountBalance__m,n__1,s__FinancialAccount)

FinancialOntology.kif 631-631 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 632-632 The number 2 argument of current account balance is an instance of day
s__domain(s__currentAccountBalance__m,n__3,s__CurrencyMeasure)

FinancialOntology.kif 633-633 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 630-630 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 3653-3653 available balance is a subrelation of current account balance
s__termFormat(s__ChineseLanguage,s__currentAccountBalance__m,'"目前账户余额"')

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

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

domainEnglishFormat.kif 18035-18035

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 675-679
( ! [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 732-737
( ! [V__Amount,V__Date,V__Balance,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Balance,s__CurrencyMeasure))
     =>
     (s__instance(V__Account,s__FinancialAccount) &
       s__minimumBalance(V__Account,s__UsingAnAccount,V__Balance)
     &
     s__currentAccountBalance(V__Account,V__Date,V__Amount)
   &
   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 657-667
( ! [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 2411-2416
( ! [V__Amount,V__Balance2,V__Balance1,V__Deposit,V__Account] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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 1390-1407
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Withdrawal] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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 1340-1345
( ! [V__Amount,V__Balance2,V__Balance1,V__Account,V__Payment] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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__CurrencyMeasure) &
       s__instance(V__Balance2,s__CurrencyMeasure) &
       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 3887-3893


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