PlanetEarth - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(orbits EarthsMoon PlanetEarth)	Geography.kif 3524-3524	Planet earth is an orbits of earths moon
(termFormat ChineseLanguage PlanetEarth "行星地球")	domainEnglishFormat.kif 46040-46040	Planet earth is an orbits of earths moon
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球")	domainEnglishFormat.kif 46039-46039	Planet earth is an orbits of earths moon
(termFormat EnglishLanguage PlanetEarth "planet earth")	domainEnglishFormat.kif 46038-46038	Planet earth is an orbits of earths moon

antecedent

(=>
    (and
        (instance ?place UndergroundArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?place
            (MeasureFn ?alt1 ?U))
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area
            (MeasureFn ?alt2 ?U)))
    (greaterThan ?alt2 ?alt1))

Geography.kif 4206-4217

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

(<=> (earthAltitude ?OBJ ?ALT) (exists (?SEA) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth))))	Geography.kif 2906-2911	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
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 2032-2037	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 (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N))))	Geography.kif 3961-3968	If equal an object and 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
(=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S))))	Geography.kif 3988-3995	If equal an object and 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
(=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth))	Geography.kif 3640-3642	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 3593-3595	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 3554-3558	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 4198-4204	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

KB Term:			Term intersection

English Word: