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


KB Term:  Term intersection
English Word: 

  originalBalance

 Sigma KEE - originalBalance
originalBalance

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


(instance originalBalance BinaryPredicate) FinancialOntology.kif 738-738 original balance is an instance of binary predicate
(domain originalBalance 1 FinancialAccount) FinancialOntology.kif 739-739 The number 1 argument of original balance is an instance of financial account
(domain originalBalance 2 CurrencyMeasure) FinancialOntology.kif 740-740 The number 2 argument of original balance is an instance of currency measure
(documentation originalBalance EnglishLanguage "(originalBalance ?ACCOUNT ?BALANCE) means that ?BALANCE is the balance of the account at the time the account is opened.") FinancialOntology.kif 741-742 The number 2 argument of original balance is an instance of currency measure

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


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

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


(=>
    (and
        (agreementEffectiveDate ?Account ?Date)
        (currentAccountBalance ?Account ?Date ?Balance))
    (originalBalance ?Account ?Balance))		 FinancialOntology.kif 744-748 If X is an agreement effective date of Y and Y current account balance X for Z, then Z is an original balance of Y
(=>
    (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 840-850 If X Y(s) is a down payment of Z, W is a loan for purchase of Z, value of W is V Y(s), and equal U and (V and X), then U Y(s) is an original balance of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners