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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - originalBalance
originalBalance

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


(documentation originalBalance EnglishLanguage "(originalBalance ?ACCOUNT ?BALANCE) means that ?BALANCE is the balance of the account at the time the account is opened.") FinancialOntology.kif 673-674
(domain originalBalance 1 FinancialAccount) FinancialOntology.kif 671-671
(domain originalBalance 2 CurrencyMeasure) FinancialOntology.kif 672-672
(instance originalBalance BinaryPredicate) FinancialOntology.kif 670-670

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


(format EnglishLanguage originalBalance "%2 is %n an original balance of %1") domainEnglishFormat.kif 476-476
(termFormat EnglishLanguage originalBalance "original balance") domainEnglishFormat.kif 7517-7517

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


(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))
FinancialOntology.kif 676-680
(=>
    (and
        (downPayment ?Loan ?Amount)
        (loanForPurchase ?Loan ?Purchase)
        (monetaryValue ?Purchase ?Value)
        (equal ?Balance
            (SubtractionFn ?Value ?Amount)))
    (originalBalance ?Loan ?Balance))
FinancialOntology.kif 767-773


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