No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1426-1438	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 2437
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1407-1419	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 914 or the real number is less than or equal to 1523
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1464-1474	If an object is an instance of airport and very long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1391-1400	If an object is an instance of airport and very short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is less than 914
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1964-1975	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1940-1954	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 912-916	If a geographic area is an instance of landlocked area and an unit of measure is an instance of unit of length, then 0.0 the unit of measure(s) is a total coastline of the geographic area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28812-28816	If a physical is an instance of actinium and the physical is an instance of atom, then the measure of the physical is 227 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27478-27482	If a physical is an instance of aluminum and the physical is an instance of atom, then the measure of the physical is 26.9815 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28918-28922	If a physical is an instance of americium and the physical is an instance of atom, then the measure of the physical is 243 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28112-28116	If a physical is an instance of antimony and the physical is an instance of atom, then the measure of the physical is 121.75 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27561-27565	If a physical is an instance of argon and the physical is an instance of atom, then the measure of the physical is 39.948 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27809-27813	If a physical is an instance of arsenic and the physical is an instance of atom, then the measure of the physical is 74.922 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28745-28749	If a physical is an instance of astatine and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28206-28210	If a physical is an instance of barium and the physical is an instance of atom, then the measure of the physical is 137.34 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28952-28956	If a physical is an instance of berkelium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27318-27322	If a physical is an instance of beryllium and the physical is an instance of atom, then the measure of the physical is 9.0122 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28710-28714	If a physical is an instance of bismuth and the physical is an instance of atom, then the measure of the physical is 208.980 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27334-27338	If a physical is an instance of boron and the physical is an instance of atom, then the measure of the physical is 10.811 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27840-27844	If a physical is an instance of bromine and the physical is an instance of atom, then the measure of the physical is 79.909 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28064-28068	If a physical is an instance of cadmium and the physical is an instance of atom, then the measure of the physical is 112.40 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28180-28184	If a physical is an instance of caesium and the physical is an instance of atom, then the measure of the physical is 132.90545 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27592-27596	If a physical is an instance of calcium and the physical is an instance of atom, then the measure of the physical is 40.08 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28969-28973	If a physical is an instance of californium and the physical is an instance of atom, then the measure of the physical is 249 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27353-27357	If a physical is an instance of carbon and the physical is an instance of atom, then the measure of the physical is 12.01115 amu(s)
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