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 6718-6721
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1184-1186
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1847-1847
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6716-6716	Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6715-6715	Meter is an instance of unit of length

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37352-37352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37351-37351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37350-37350

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1480-1487	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3366-3379	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object 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.0
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1570-1577	If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is a real number hertz(s) and the wavelength of the radiating is another real number meter(s), then equal the other real number meter(s) and 299792458 and the real number meter(s)
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 403-409	If a railway is an instance of railway and the railway the attribute broad gauge and a real number meter(s) is a track width of the railway, then the real number is greater than 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 453-458	If a railway is an instance of railway and the railway the attribute narrow gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 427-433	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is greater than or equal to 1.435
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.44
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 721-725	If a real number meter(s) is a length of crude oil pipeline of a geographic area and another real number meter(s) is a total pipeline in area of the geographic area, then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 744-748	If a real number meter(s) is a length of natural gas pipeline of a geographic area and another real number meter(s) is a total pipeline in area of the geographic area, then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 767-771	If a real number meter(s) is a length of petroleum product pipeline of a geographic area and another real number meter(s) is a total pipeline in area of the geographic area, then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3184-3189	If a real number meter(s) is a &avigableForDraft$"navigable" for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is greater than the other real number, then the water area is capable of doing the trip of the water vehicle as a path
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3191-3196	If a real number meter(s) is a &avigableForDraft$"navigable" for draft of a water area and another real number meter(s) is a laden draft of a water vehicle and the real number is less than or equal to the other real number, then the water area is not capable of doing the trip of the water vehicle as a path

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1574-1586	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 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 2438 or the real number is less than or equal to 3047
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1555-1567	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 1536-1548	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 1593-1603	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 1520-1529	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.	ComputingBrands.kif 1570-1577	If a radiating is an instance of radiating electromagnetic and the frequency of the carrier of the radiating is a real number hertz(s) and the wavelength of the radiating is another real number meter(s), then equal the other real number meter(s) and 299792458 and the real number meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33827-33834	If an object is an instance of ruler and a process is an instance of measuring and the object is an instrument for the process and a real number is an instance of LinearExtent and the real number is a result of the process, then the real number is less than 10.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5005-5010	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 relative to sea level is 0.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5084-5089	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.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 4937-4943	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.0 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1489-1496	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4120-4126	If equal a physical quantity and a real number nautical mile(s), then equal the physical quantity and the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4145-4152	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 1.852 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4136-4143	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20654-20660	If equal a real number and 1.0 and the real number, then equal the real number nanometer(s) and the real number and 0.000000001 meter(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 205-211	If a physical is an instance of bacterium, then there exists a real number such that the width of the physical 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.	Transportation.kif 900-902	If a water area is an instance of deep draft harbor, then 13.7 meter(s) is a &avigableForDraft$"navigable" for draft of the water area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2561-2571	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3471-3480	If a process is an instance of blizzard, then there exist a region and a real number such that the region is an instance of geographic area and the process is located at the region and the visibility at the region during the time of existence of the process is the real number meter(s) and the real number is less than 400.0
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1179-1184	If a physical is an instance of yellow fever virus, then there exists a real number such that the width of the physical is the real number meter(s) and equal the real number and 0.00000002
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4284-4288	If a physical is an instance of full-sized bed, then the width of the physical is 1.35 meter(s) and the length of the physical is 2.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4227-4231	If a physical is an instance of king-sized bed, then the width of the physical is 1.9 meter(s) and the length of the physical is 2.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4258-4262	If a physical is an instance of queen-sized bed, then the width of the physical is 1.5 meter(s) and the length of the physical is 2.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4310-4314	If a physical is an instance of twin-sized bed, then the width of the physical is 1.0 meter(s) and the length of the physical is 2.0 meter(s)

statement

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4923-4925	0.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 4927-4929	-7235.0 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 5081-5082	0.0 Meter(s) is an elevation of sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4116-4118	equal 1.0 nautical mile(s) and 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7213-7219	equal a real number angstrom(s) and the real number and 1.0 and 100000.0 and 100000.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6805-6807	equal a real number centimeter(s) and the real number and 0.01 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7230-7232	equal a real number foot length(s) and the real number and 0.3048 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7237-7239	equal a real number inch(s) and the real number and 0.0254 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6824-6827	equal a real number kilometer(s) and the real number and 1000 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7434-7437	equal a real number micrometer(s) and the real number and 0.0000001 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7244-7246	equal a real number mile(s) and the real number and 1609.344 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6814-6817	equal a real number millimeter(s) and the real number and 0.001 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 787-787	equal square kilometer and the square unit of 1 thousand meters
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4207-4207	equal square meter and the square unit of meter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4911-4914	The length of the shoreline of southern ocean and antarctica is 17968.0 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: