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 672-673
(domain originalBalance 1 FinancialAccount) FinancialOntology.kif 670-670 The number 1 argument of original balance is an instance of financial account
(domain originalBalance 2 CurrencyMeasure) FinancialOntology.kif 671-671 The number 2 argument of original balance is an instance of currency measure
(instance originalBalance BinaryPredicate) FinancialOntology.kif 669-669 original balance is an instance of binary predicate

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 42511-42511
(termFormat ChineseTraditionalLanguage originalBalance "原始餘額") domainEnglishFormat.kif 42510-42510
(termFormat EnglishLanguage originalBalance "original balance") domainEnglishFormat.kif 42509-42509

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


(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))
FinancialOntology.kif 675-679
(=>
    (and
        (downPayment ?Loan ?Amount)
        (loanForPurchase ?Loan ?Purchase)
        (monetaryValue ?Purchase ?Value)
        (equal ?Balance
            (SubtractionFn ?Value ?Amount)))
    (originalBalance ?Loan ?Balance))
FinancialOntology.kif 766-772


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 is open source software produced by Articulate Software and its partners