elevation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - elevation

elevation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1882-1887
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1879-1879	The number 1 argument of elevation is an instance of object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1880-1880	The number 2 argument of elevation is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1878-1878	elevation is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 891-891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 890-890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 889-889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21825-21825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21824-21824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21823-21823

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1910-1918	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of unit of length and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1895-1900	If a length measure is an elevation of an object and the object is located at another object and the other object is an instance of geographic area, then the other object is a superficial part of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1952-1963	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 1928-1942	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 6847-6860	If a process is an instance of land subsidence and an object is a patient of the process and the object is an instance of land 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 object, then there exists an entity such that the entity the unit of measure(s) is an elevation of the object and the entity is less than the real number holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1902-1908	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1889-1894	If a length measure is an elevation of an object, then there exists another object such that the other object is an instance of geographic area and the object is located at the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1952-1963	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 1928-1942	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.	MilitaryDevices.kif 1488-1496	If a process is an instance of measuring and a self connected object is a patient of the process and the self connected object is a surface of planet earth and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the length measure is an elevation of the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6847-6860	If a process is an instance of land subsidence and an object is a patient of the process and the object is an instance of land 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 object, then there exists an entity such that the entity the unit of measure(s) is an elevation of the object and the entity is less than the real number holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4906-4911	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 foot length(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4904	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.	Weather.kif 1714-1724	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

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4752-4754	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 4756-4758	-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 4896-4897	0.0 Meter(s) is an elevation of sea level

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