Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - currentAccountBalance
currentAccountBalance

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


(instance currentAccountBalance TernaryPredicate) FinancialOntology.kif 693-693 current account balance is an instance of ternary predicate
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 694-694 The number 1 argument of current account balance is an instance of financial account
(domainSubclass currentAccountBalance 2 Day) FinancialOntology.kif 695-695 The number 2 argument of current account balance is a subclass of day
(domain currentAccountBalance 3 CurrencyMeasure) FinancialOntology.kif 696-696 The number 3 argument of current account balance is an instance of currency measure
(documentation currentAccountBalance EnglishLanguage "(currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the FinancialAccount ?Account as of the date ?Date.") FinancialOntology.kif 697-698 The number 3 argument of current account balance is an instance of currency measure

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


(subrelation availableBalance currentAccountBalance) FinancialOntology.kif 3864-3864 available balance is a subrelation of current account balance
(format EnglishLanguage currentAccountBalance "%1 %n{doesn't} current account balance %2 for %3") domainEnglishFormat.kif 618-618 available balance is a subrelation of current account balance
(format ChineseTraditionalLanguage currentAccountBalance "%1 %n{不是} 對於 %3 的 current 帳戶存款") domainEnglishFormat.kif 619-619 available balance is a subrelation of current account balance
(format ChineseLanguage currentAccountBalance "%1 %n{不是} 对于 %3 的 current 帐户存款") domainEnglishFormat.kif 620-620 available balance is a subrelation of current account balance
(termFormat EnglishLanguage currentAccountBalance "current account balance") domainEnglishFormat.kif 18114-18114 available balance is a subrelation of current account balance
(termFormat ChineseTraditionalLanguage currentAccountBalance "目前賬戶餘額") domainEnglishFormat.kif 18115-18115 available balance is a subrelation of current account balance
(termFormat ChineseLanguage currentAccountBalance "目前账户余额") domainEnglishFormat.kif 18116-18116 available balance is a subrelation of current account balance

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


(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 410-426 If All of the following hold: (1) X is an instance of payment (2) X originates at the currency of Y (3) Y is an instance of financial account (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after the time of existence of X for U W(s)
(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 457-474 If All of the following hold: (1) X is an instance of deposit (2) Y is an instance of financial account (3) X ends up at the currency of Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s)
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 487-502 If All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s)
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account UsingAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency)
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Amount ?U))
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 723-736 If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X
(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))		 FinancialOntology.kif 744-748 If X is an agreement effective date of Y and Y current account balance X for Z, then Z is an original balance of Y
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))		 FinancialOntology.kif 805-810 If X current account balance Y for Z united states dollar(s), Z is less than 0, and equal W and (0 and Z), then X is overdraft W united states dollar(s) for Y
(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Time ?Amount)
        (patient ?Refinancing ?Loan))
    (exists (?NewLoan ?Payment)
        (and
            (instance ?NewLoan Loan)
            (borrower ?NewLoan ?Borrower)
            (securedBy ?Loan ?Collateral)
            (destination ?Payment
                (CurrencyFn ?Loan))
            (time ?Payment ?Time)
            (origin ?Payment
                (CurrencyFn ?NewLoan))
            (transactionAmount ?Payment ?Amount))))		 FinancialOntology.kif 1491-1508 If All of the following hold: (1) X is an instance of refinancing (2) X exists during Y (3) Z is an instance of loan (4) W is a secured by of Z (5) Z is the borrower of V (6) Z current account balance Y for U (7) Z is a patient of X, then All of the following hold: (1) there exist T (2) S such that T is an instance of loan (3) T is the borrower of V (4) W is a secured by of Z (5) S ends up at the currency of Z (6) S exists during Y (7) S originates at the currency of T (8) U is a transaction amount of S
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))		 FinancialOntology.kif 2530-2535 If X is an instance of callable bond, the account of X current account balance Y for Z, and Y is a call date of X, then the account of X amount due Z for Y

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


(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 410-426 If All of the following hold: (1) X is an instance of payment (2) X originates at the currency of Y (3) Y is an instance of financial account (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after the time of existence of X for U W(s)
(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 457-474 If All of the following hold: (1) X is an instance of deposit (2) Y is an instance of financial account (3) X ends up at the currency of Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s)
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal
            (MeasureFn ?Amount ?CUNIT))
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal))
            (MeasureFn ?Balance1 ?CUNIT))
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal))
        (MeasureFn ?Balance2 ?CUNIT)))		 FinancialOntology.kif 487-502 If All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s)
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))		 FinancialOntology.kif 1439-1444 If X is an instance of loan, equal Y and the beginning of X, and Z is a total balance of X, then X current account balance Y for Z
(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement ?Date)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))		 FinancialOntology.kif 4102-4108 If X is a last statement balance of Y, then there exist Z, W such that Z is a last statement of Y, W is a date of statement of Z, and Y current account balance W for X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners