No TPTP formula. May not be expressible in strict first order.	Economy.kif 1156-1156	The number 2 argument of population fraction below poverty line in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3301-3301	The number 2 argument of potential of hydrogen is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 999-999	The number 2 argument of real growth rate of GDP is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 986-986	The number 2 argument of real growth rate of GDP in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17876-17876	The number 3 argument of relative angle is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 465-465	The number 2 argument of roasted to temperature is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1075-1075	The number 3 argument of sector composition ofGDP is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1058-1058	The number 3 argument of sector composition of GDP in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1689-1689	The number 3 argument of slope gradient towards orientation is an instance of real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 605-605	The number 3 argument of t test result is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1447-1447	The number 2 argument of unemployment rate of area is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1433-1433	The number 2 argument of unemployment rate of area in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 711-711	The number 2 argument of user feedback score is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1860-1860	The number 4 argument of vote fraction received is an instance of real number

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