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 719-720
(domain originalBalance 1 FinancialAccount)	FinancialOntology.kif 717-717	The number 1 argument of original balance is an instance of financial account
(domain originalBalance 2 CurrencyMeasure)	FinancialOntology.kif 718-718	The number 2 argument of original balance is an instance of currency measure
(instance originalBalance BinaryPredicate)	FinancialOntology.kif 716-716	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 42632-42632
(termFormat ChineseTraditionalLanguage originalBalance "原始餘額")	domainEnglishFormat.kif 42631-42631
(termFormat EnglishLanguage originalBalance "original balance")	domainEnglishFormat.kif 42630-42630

consequent

(=> (and (agreementEffectiveDate ?Account ?Date) (currentAccountBalance ?Account ?Date ?Balance)) (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726	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 818-828	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