No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1677-1677	The number 2 argument of inflation rate in country is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1347-1347	The number 2 argument of inflation rate of consumer prices is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1332-1332	The number 2 argument of inflation rate of consumer prices in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11954-11954	The number 2 argument of intelligence quotient is an instance of real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 581-581	The number 2 argument of interest rate per period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1406-1406	The number 3 argument of labor force fraction by occupation is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1388-1388	The number 3 argument of labor force fraction by occupation in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	People.kif 1564-1564	The number 2 argument of language percent in region is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1836-1836	The number 1 argument of less than is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1837-1837	The number 2 argument of less than is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1860-1860	The number 1 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1861-1861	The number 2 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1842-1842	The number 2 argument of load is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1218-1218	The number 2 argument of lowest decile share of household income is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1200-1200	The number 2 argument of lowest decile share of household income in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Military.kif 1006-1006	The number 2 argument of military expenditures fraction of GDP is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Military.kif 991-991	The number 2 argument of military expenditures fraction of GDP in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 1243-1243	The number 3 argument of mixture ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 1244-1244	The number 4 argument of mixture ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 950-950	The number 3 argument of monitor component data is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1227-1227	The number 2 argument of oxygen saturation is an instance of real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 567-567	The number 2 argument of confidence interval is an instance of real number
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 942-942	The number 3 argument of performance result is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31721-31721	The number 2 argument of populationDensity is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1172-1172	The number 2 argument of population fraction below poverty line is an instance of real number
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