No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4158-4158	The number 2 argument of loan fee amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3918-3918	The number 2 argument of loan interest is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7205-7205	The number 2 argument of loss is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4102-4102	The number 3 argument of margin balance amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4120-4120	The number 3 argument of market value amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Military.kif 968-968	The number 2 argument of military expenditures in US dollars is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Military.kif 952-952	The number 2 argument of military expenditures in US dollars in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 681-681	The number 3 argument of minimum balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 754-754	The number 2 argument of minimum payment is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7784-7784	The number 2 argument of monetary value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16967-16967	The number 4 argument of monetary wage is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3278-3278	The number 2 argument of monthly income is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 270-270	The number 2 argument of negotiated price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3461-3461	The number 2 argument of net amount is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 867-867	The number 2 argument of net worth is an instance of currency measure
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 779-779	The number 2 argument of overdraft is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3856-3856	The number 2 argument of payments per period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1035-1035	The number 2 argument of per capita GDP is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1022-1022	The number 2 argument of per capitaGDP in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 737-737	The number 2 argument of periodic payment is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1883-1883	The number 3 argument of potential loss is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2722-2722	The number 2 argument of premium is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7737-7737	The number 2 argument of price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 204-204	The number 2 argument of price range is an instance of currency measure
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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