TreeView Knowledge Base Browser - elevation

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 1897-1902
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1894-1894	The number 1 argument of elevation is an instance of object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1895-1895	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 1893-1893	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 21807-21807
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21806-21806
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21805-21805

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1925-1933	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 UnitOfLength 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 1910-1915	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 1967-1978	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 1943-1957	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 UnitOfLength 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 6467-6480	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 UnitOfLength 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 148-157	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 1917-1923	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 1904-1909	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 1967-1978	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 1943-1957	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 UnitOfLength 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 6467-6480	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 UnitOfLength 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 4735-4740	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 4728-4733	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 1731-1741	If a process is an instance of surface wind speed measuring, then there exist an entity and an object such that the entity is an instance of geographic area and the object is an instance of device and the process is located at 2 and the object is an instrument for the process and 10.0 meter(s) is an elevation of the 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 4582-4584	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 4586-4588	-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 4725-4726	0.0 Meter(s) is an elevation of sea level

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