TreeView 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 6693-6696
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 1848-1848
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6691-6691	Meter is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6690-6690	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 37355-37355
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37354-37354
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37353-37353

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	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 2537-2550	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 the other real number meter(s) is equal to 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 2653-2658	If a real number meter(s) is a 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 2660-2665	If a real number meter(s) is a 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 1445-1457	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 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.	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 the other real number meter(s) is equal to 299792458 and the real number meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4743-4748	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 4808-4813	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 4675-4681	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 1325-1332	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 3869-3875	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 3894-3901	If a real number is equal to 1.0 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 3885-3892	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19032-19038	If a real number is equal to 1.0 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.0 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.0 kilogram(s) is a weight of the self connected object and 8.0 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.0 kilogram(s) is a weight of the self connected object and 27.0 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.0 kilogram(s) is a weight of the self connected object and 587.0 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.0 kilogram(s) is a weight of the self connected object and 18.0 kilometer(s) is an effective range of the self connected object
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.	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.0 kilogram(s) is a weight of the self connected object and 676.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1788-1800	If a self connected object is an instance of C h53 e, then the length of the self connected object is 30.2 meter(s) and the width of the self connected object is 24.1 meter(s) and the height of the self connected object is 8.46 meter(s) and 15071.0 kilogram(s) is a weight of the self connected object and 2000.0 kilometer(s) is an effective range of the self connected object
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 navigable for draft of the water area
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1744-1756	If a self connected object is an instance of harrier2, then the length of the self connected object is 14.1 meter(s) and the width of the self connected object is 9.2 meter(s) and the height of the self connected object is 3.5 meter(s) and 5700.0 kilogram(s) is a weight of the self connected object and 1000.0 kilometer(s) is an effective range of the self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1542-1554	If a self connected object is an instance of LAV25, then the length of the self connected object is 6.39 meter(s) and the width of the self connected object is 2.5 meter(s) and the height of the self connected object is 2.69 meter(s) and 12802.8 kilogram(s) is a weight of the self connected object and 660.1 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 4661-4663	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 4665-4667	-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 4805-4806	0.0 Meter(s) is an elevation of sea level
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3865-3867	1.0 Nautical mile(s) is equal to 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7173-7175	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 6780-6782	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 7186-7188	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 7193-7195	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 6799-6802	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 7075-7078	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 7200-7202	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 6789-6792	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 3973-3973	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 3972-3972	Square meter is equal to the square unit of meter
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4649-4652	The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s)

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

Show without tree

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: