originalBalance - Sigma Knowledge base Browser

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 721-722
(domain originalBalance 1 FinancialAccount)	FinancialOntology.kif 719-719	The number 1 argument of original balance is an instance of financial account
(domain originalBalance 2 CurrencyMeasure)	FinancialOntology.kif 720-720	The number 2 argument of original balance is an instance of currency measure
(instance originalBalance BinaryPredicate)	FinancialOntology.kif 718-718	original balance is an instance of binary predicate

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

consequent

(=> (and (agreementEffectiveDate ?Account ?Date) (currentAccountBalance ?Account ?Date ?Balance)) (originalBalance ?Account ?Balance))	FinancialOntology.kif 724-728	If a time point is an agreement effective date of a financial account and the financial account current account balance the time point for a currency measure, then the currency measure is an original balance of the financial account
(=> (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	If a real number an unit of measure(s) is a down payment of a loan and an object is a loan for purchase of the loan and value of the object is another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the third real number the unit of measure(s) is an original balance of the loan

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