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

Formal Language: 


KB Term:  Term intersection
English Word: 

  originalBalance

 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 721-722
(domain originalBalance 1 FinancialAccount) FinancialOntology.kif 719-719
(domain originalBalance 2 CurrencyMeasure) FinancialOntology.kif 720-720
(instance originalBalance BinaryPredicate) FinancialOntology.kif 718-718

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


(format ChineseLanguage originalBalance "%2 %n 是 %1 的 original 金额") domainEnglishFormat.kif 1875-1875
(format ChineseTraditionalLanguage originalBalance "%2 %n 是 %1 的 original 金額") domainEnglishFormat.kif 1874-1874
(format EnglishLanguage originalBalance "%2 is %n an original balance of %1") domainEnglishFormat.kif 1873-1873
(termFormat ChineseLanguage originalBalance "原始余额") domainEnglishFormat.kif 42596-42596
(termFormat ChineseTraditionalLanguage originalBalance "原始餘額") domainEnglishFormat.kif 42595-42595
(termFormat EnglishLanguage originalBalance "original balance") domainEnglishFormat.kif 42594-42594

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


(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))		 FinancialOntology.kif 724-728
(=>
    (and
        (downPayment ?Loan
            (MeasureFn ?Amount ?CUNIT))
        (loanForPurchase ?Loan ?Purchase)
        (monetaryValue ?Purchase
            (MeasureFn ?Value ?CUNIT))
        (equal ?Balance
            (SubtractionFn ?Value ?Amount)))
    (originalBalance ?Loan
        (MeasureFn ?Balance ?CUNIT)))		 FinancialOntology.kif 820-830


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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