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

(instance PlanetEarth Planet)	Geography.kif 3265-3265	Planet earth is an instance of planet
(orbits PlanetEarth Sol)	Geography.kif 3266-3266	Sol is an orbits of planet earth

appearance as argument number 2

(orbits EarthsMoon PlanetEarth)	Geography.kif 3258-3258	Planet earth is an orbits of earths moon
(termFormat ChineseLanguage PlanetEarth "行星地球")	domainEnglishFormat.kif 45937-45937
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球")	domainEnglishFormat.kif 45936-45936
(termFormat EnglishLanguage PlanetEarth "planet earth")	domainEnglishFormat.kif 45935-45935

antecedent

(<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY))	MilitaryDevices.kif 1462-1467	The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY))	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
(=> (and (instance ?place UndergroundArea) (earthAltitude ?place ?alt1) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area ?alt2)) (greaterThan ?alt2 ?alt1))	Geography.kif 3794-3802	If an object is an instance of underground area and the object is a physical quantity 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 physical quantity above the ground, then the other physical quantity is greater than the physical quantity

consequent

(<=> (earthAltitude ?OBJ ?ALT) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth)))	Geography.kif 2721-2725	An object is a length measure above the ground if and only if the altitude of the object is a self connected object and the self connected object is a surface of planet earth
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 1860-1865	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
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ABSOLUTEMETER) (instance ?ABSOLUTEMETER AbsoluteAltimeter)) (exists (?OBJ2) (and (altitude ?OBJ ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth))))	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 is the physical2 and the physical2 is a surface of planet earth
(=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth))	Geography.kif 3374-3376	If a geographic area is an instance of continent, then the geographic area is a geographic subregion of planet earth
(=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth))	Geography.kif 3327-3329	If a geographic area is an instance of hemisphere, then the geographic area is a geographic subregion of planet earth
(=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth))))	Geography.kif 3288-3292	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
(=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below))))	Geography.kif 3786-3792	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners