Meter - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2490-2492
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6396-6399
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1849-1849
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6394-6394	Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6393-6393	Meter is an instance of UnitOfLength

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37264-37264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37263-37263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37262-37262

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1300-1307	If a geographic area is an instance of tropical climate zone and for all a month and a length measure if the geographic area average rainfall for period the month for the length measure, then the length measure is greater than or equal to 60 one thousandth of a meter(s) , then the geographic area is an instance of wet tropical climate zone
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1276-1287	If a process is an instance of fog and the process is located at 2 and a region is an instance of atmospheric region and an object is an instance of aerosal and the object located at time the time of existence of the process for the region and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1546-1553	If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is hertz an unit of measure(s) and the wavelength of the radiating is meter another unit of measure(s), then meter the other unit of measure(s) is equal to meter 299792458 and the unit of measure(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1432-1443	If an object is an instance of airport and long runway airport is an attribute of the object, then there exist another object and a quantity 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 quantity and the quantity is greater than or equal to 2438 meter(s) or the quantity is less than or equal to 3047 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1414-1425	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 quantity 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 quantity and the quantity is greater than or equal to 1524 meter(s) or the quantity is less than or equal to 2437 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1396-1407	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 quantity 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 quantity and the quantity is greater than or equal to 914 meter(s) or the quantity is less than or equal to 1523 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1450-1459	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 quantity 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 quantity and the quantity is greater than 3047 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1380-1389	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 quantity 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 quantity and the quantity is less than 914 meter(s)
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1546-1553	If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is hertz an unit of measure(s) and the wavelength of the radiating is meter another unit of measure(s), then meter the other unit of measure(s) is equal to meter 299792458 and the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 400-405	If a railway is an instance of railway and the railway the attribute broad gauge and a length measure is a track width of the railway, then the length measure is greater than 1.44 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 447-452	If a railway is an instance of railway and the railway the attribute narrow gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.435 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 423-428	If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway, then the length measure is greater than or equal to 1.435 meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 430-435	If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway, then the length measure is less than or equal to 1.44 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4456-4460	If a self connected object is an instance of sea and the top of the self connected object is another self connected object, then the altitude of the other self connected object is sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4518-4522	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0 meter(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4409-4413	If antarctic circumpolar current originates at an object and antarctic circumpolar current ends up at a physical, then the distance between the object and the physical is 21000 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3699-3701	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3711-3713	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3707-3709	If a real number is equal to 1 and the real number, then the real number nautical mile(s) is equal to the real number and 1852 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16894-16900	If a real number is equal to 1 and the real number, then the real number Nanometer(s) is equal to the real number and 0.000000001 meter(s)
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1662-1674	If a self connected object is an instance of Amphibious Assault Vehicle, then the length of the self connected object is 7.94 meter(s) and the width of the self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of the self connected object and the height of the self connected object is 3.26 meter(s) and 480 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1235-1247	If a self connected object is an instance of AG m114, then the length of the self connected object is 1.63 meter(s) and the width of the self connected object is 0.71 meter(s) and the height of the self connected object is 0.71 meter(s) and 45 kilogram(s) is a weight of the self connected object and 8 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1155-1167	If a self connected object is an instance of AG m65, then the length of the self connected object is 2.55 meter(s) and the width of the self connected object is 0.7 meter(s) and the height of the self connected object is 0.7 meter(s) and 302 kilogram(s) is a weight of the self connected object and 27 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1900-1912	If a self connected object is an instance of A h1, then the length of the self connected object is 17.68 meter(s) and the width of the self connected object is 14.63 meter(s) and the height of the self connected object is 4.44 meter(s) and 4634 kilogram(s) is a weight of the self connected object and 587 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1189-1201	If a self connected object is an instance of AI m9, then the length of the self connected object is 2.85 meter(s) and the width of the self connected object is 0.63 meter(s) and the height of the self connected object is 0.63 meter(s) and 91 kilogram(s) is a weight of the self connected object and 18 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1309-1314	If a geographic area is an instance of wet tropical climate zone, then for all a month and a length measure if the geographic area average rainfall for period the month for the length measure, then the length measure is greater than or equal to 60 one thousandth of a meter(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 205-211	If an object is an instance of bacterium, then there exists a real number such that the width of the object is the real number meter(s) and the real number is greater than or equal to 0.000001 and the real number is less than or equal to 0.000002
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1860-1872	If a self connected object is an instance of C h46 d, then the length of the self connected object is 25.72 meter(s) and the width of the self connected object is 15.54 meter(s) and the height of the self connected object is 5.1 meter(s) and 7047 kilogram(s) is a weight of the self connected object and 676 kilometer(s) is an effective range of the self connected object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4400-4400	0 Meter(s) is an elevation of the elevation high point of southern ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4401-4401	-7235 Meter(s) is an elevation of the elevation low point of southern ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4516-4516	0 Meter(s) is an elevation of sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3697-3697	1 Nautical mile(s) is equal to 1852 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 624-625	1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3749-3750	1 Square meter(s) is equal to 1 meter(s) and 1 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6869-6871	A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6482-6484	A real number centimeter(s) is equal to the real number and 0.01 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6882-6884	A real number foot length(s) is equal to the real number and 0.3048 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6889-6891	A real number inch(s) is equal to the real number and 0.0254 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6501-6504	A real number kilometer(s) is equal to the real number and 1000 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6435-6438	A real number micrometer(s) is equal to the real number and 0.0000001 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6896-6898	A real number mile(s) is equal to the real number and 1609.344 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6491-6494	A real number millimeter(s) is equal to the real number and 0.001 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3768-3768	Square kilometer is equal to the square unit of 1 thousand meters
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3767-3767	Square meter is equal to the square unit of meter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4393-4393	The length of the shoreline of southern ocean and antarctica is 17968 1 thousand meters(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: