No TPTP formula. May not be expressible in strict first order.	Catalog.kif 205-205	The number 3 argument of price range is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 730-730	The number 2 argument of principal amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 416-416	The number 2 argument of product price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7603-7603	The number 2 argument of profit is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 333-333	The number 2 argument of published price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3864-3864	The number 2 argument of purchases per period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 410-410	The number 2 argument of reserve Price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1121-1121	The number 3 argument of sector value of GDP is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1097-1097	The number 3 argument of sector value of GDP in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 896-896	The number 3 argument of service fee is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4111-4111	The number 3 argument of short balance amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30886-30886	The number 3 argument of shortage is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4078-4078	The number 2 argument of statement interest is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2610-2610	The number 2 argument of strike price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3306-3306	The number 2 argument of tax deferred income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1397-1397	The number 2 argument of total balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 950-950	The number 2 argument of totalGDP is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 937-937	The number 2 argument of totalGDP in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11851-11851	The number 2 argument of transaction amount is an instance of currency measure

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