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 ChineseLanguage originalBalance "%2 %n 是 %1 的 original 金额") domainEnglishFormat.kif 1871-1871
(format ChineseTraditionalLanguage originalBalance "%2 %n 是 %1 的 original 金額") domainEnglishFormat.kif 1870-1870
(format EnglishLanguage originalBalance "%2 is %n an original balance of %1") domainEnglishFormat.kif 1869-1869
(termFormat ChineseLanguage originalBalance "原始余额") domainEnglishFormat.kif 42505-42505
(termFormat ChineseTraditionalLanguage originalBalance "原始餘額") domainEnglishFormat.kif 42504-42504
(termFormat EnglishLanguage originalBalance "original balance") domainEnglishFormat.kif 42503-42503

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