No TPTP formula. May not be expressible in strict first order.	Media.kif 2198-2207	If there can be at most an integer values to argument another integer of a relation, then there exist a symbolic string and @ARGS such that the number of instances in the class described by the symbolic string is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7371-7375	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0 and the real number is less than or equal to 360.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 362-364	If the measure of a physical is a real number angular degree(s), then the real number is less than or equal to 360.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 374-376	If the measure of a physical is a real number arc minute(s), then the real number is less than or equal to 60.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 393-395	If the measure of a physical is a real number arc second(s), then the real number is less than or equal to 60.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2553-2555	If the measure of a physical is a real number PH value(s), then the real number is less than or equal to 14.0
No TPTP formula. May not be expressible in strict first order.	Military.kif 1014-1016	If a real number is a military expenditures fraction of GDP of a geopolitical area, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Military.kif 1000-1002	If a geopolitical area is military expenditures fraction ofGDP in period a real number for a time interval, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1180-1182	If a real number is a population fraction below poverty line of a geopolitical area, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1166-1168	If a geopolitical area is population fraction below poverty line in period a real number for a kind of time interval, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3303-3307	If a real number is a potential of hydrogen of a solution, then the real number is greater than or equal to 0.0 and the real number is less than or equal to 14.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1082-1084	If a geopolitical area is sector composition of GDP an industry attribute for a real number, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1067-1069	If a geopolitical area is the sector composition of GDP in period an industry attribute for a real number with a kind of time interval, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1452-1454	If a geopolitical area is unemployment rate of area a real number for , then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1441-1443	If a geopolitical area is unemployment rate of area in period a real number for a kind of time interval, then the real number is less than or equal to 1.0

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