No TPTP formula. May not be expressible in strict first order.	Economy.kif 3869-3869	The number 2 argument of currency exchange rate is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3855-3855	The number 2 argument of currency exchange rate in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3818-3818	The number 2 argument of currency value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 674-674	The number 3 argument of current account balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1285-1285	The number 3 argument of customer value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4006-4006	The number 3 argument of daily limit is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 803-803	The number 2 argument of down payment is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3021-3021	The number 2 argument of economic aid donated is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3004-3004	The number 2 argument of economic aid donated in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3063-3063	The number 2 argument of economic aid received net is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3048-3048	The number 2 argument of economic aid received net in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3366-3366	The number 2 argument of employee contribution is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2373-2373	The number 2 argument of export total in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2983-2983	The number 2 argument of external debt is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2971-2971	The number 2 argument of external debt in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2314-2314	The number 2 argument of face value is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3493-3493	The number 2 argument of final price is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 798-798	The number 2 argument of floor loan is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2966-2966	The number 3 argument of GMB is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2995-2995	The number 3 argument of GMV is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2778-2778	The number 2 argument of import total in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3284-3284	The number 2 argument of income 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 income earned is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4054-4054	The number 2 argument of last statement balance is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2012-2012	The number 2 argument of limit price 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