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


(documentation currentAccountBalance EnglishLanguage "(currentAccountBalance ?Account ?Date ?Amount) means that ?Amount is the balance of the FinancialAccount ?Account as of the date ?Date.") FinancialOntology.kif 634-635
(domain currentAccountBalance 1 FinancialAccount) FinancialOntology.kif 631-631 The number 1 argument of current account balance is an instance of financial account
(domain currentAccountBalance 2 Day) FinancialOntology.kif 632-632 The number 2 argument of current account balance is an instance of day
(domain currentAccountBalance 3 CurrencyMeasure) FinancialOntology.kif 633-633 The number 3 argument of current account balance is an instance of currency measure
(instance currentAccountBalance TernaryPredicate) FinancialOntology.kif 630-630 current account balance is an instance of ternary predicate

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


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

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


(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))
FinancialOntology.kif 675-679
(=>
    (and
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Balance UnitedStatesDollar))
        (lessThan ?Balance 0)
        (equal ?Overdraft
            (SubtractionFn 0 ?Balance)))
    (overdraft ?Account
        (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))
FinancialOntology.kif 732-737
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account UsingAnAccount ?Balance)
        (currentAccountBalance ?Account ?Date ?Amount)
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 657-667
(=>
    (and
        (instance ?Bond CallableBond)
        (currentAccountBalance
            (AccountFn ?Bond) ?Date ?Amount)
        (callDate ?Bond ?Date))
    (amountDue
        (AccountFn ?Bond) ?Amount ?Date))
FinancialOntology.kif 2410-2415
(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit)) ?Balance1)
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit)) ?Balance2))
FinancialOntology.kif 428-436
(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment)) ?Balance2))
FinancialOntology.kif 408-416
(=>
    (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 1390-1407
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal)) ?Balance2))
FinancialOntology.kif 449-457

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


(=>
    (and
        (instance ?Deposit Deposit)
        (instance ?Account FinancialAccount)
        (destination ?Deposit
            (CurrencyFn ?Account))
        (transactionAmount ?Deposit ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Deposit)) ?Balance1)
        (equal ?Balance2
            (AdditionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Deposit)) ?Balance2))
FinancialOntology.kif 428-436
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1340-1345
(=>
    (and
        (instance ?Payment Payment)
        (origin ?Payment
            (CurrencyFn ?Account))
        (instance ?Account FinancialAccount)
        (transactionAmount ?Payment ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Payment)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (WhenFn ?Payment)) ?Balance2))
FinancialOntology.kif 408-416
(=>
    (and
        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal ?Account)
        (transactionAmount ?Withdrawal ?Amount)
        (currentAccountBalance ?Account
            (ImmediatePastFn
                (WhenFn ?Withdrawal)) ?Balance1)
        (equal ?Balance2
            (SubtractionFn ?Balance1 ?Amount)))
    (currentAccountBalance ?Account
        (ImmediateFutureFn
            (FutureFn ?Withdrawal)) ?Balance2))
FinancialOntology.kif 449-457
(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))
FinancialOntology.kif 3886-3892


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