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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 719-720
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 717-717	The number 1 argument of original balance is an instance of financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 718-718	The number 2 argument of original balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 716-716	original balance is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1871-1871
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1870-1870
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1869-1869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42594-42594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42593-42593
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42592-42592

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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