PlanetEarth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PlanetEarth

PlanetEarth(planet earth)

Earth, earth, globe, world

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3394-3394	Planet earth is an instance of planet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3395-3395	Sol is an orbits of planet earth

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3387-3387	Planet earth is an orbits of earths moon
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46069-46069	Planet earth is an orbits of earths moon
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46068-46068	Planet earth is an orbits of earths moon
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46067-46067	Planet earth is an orbits of earths moon

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	The altitude of an aircraft relative to a self connected object is an altitude measure and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if the altitude measure is the absolute height of the aircraft
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 4069-4080	If an object is an instance of underground area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another real number the unit of measure(s) above the ground, then the other real number is greater than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2769-2774	An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object relative to the self connected object is the length measure and the self connected object is a surface of planet earth
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 3824-3831	If an object is equal to North Pole and the object is located at arctic region, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3851-3858	If an object is equal to South Pole and the object is located at antarctica, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	If a process is an instance of measuring and a physical is a patient of the process 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 absolute altimeter, then there exists the physical2 such that the altitude of the physical relative to the physical2 is the length measure and the physical2 is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3503-3505	If a geographic area is an instance of continent, then the geographic area is a geographic subregion of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3456-3458	If a geographic area is an instance of hemisphere, then the geographic area is a geographic subregion of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3417-3421	If an entity is an instance of meteorite, then there exists a time position such that the entity meets planet earth holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4061-4067	If an object is an instance of underground area, then there exist another object and a self connected object such that the self connected object is a surface of planet earth and the other object is a part of the self connected object and the object is below to the other object

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