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 3394-3394 Planet earth is an instance of planet
(orbits PlanetEarth Sol) Geography.kif 3395-3395 Sol is an orbits of planet earth

appearance as argument number 2
-------------------------


(orbits EarthsMoon PlanetEarth) Geography.kif 3387-3387 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
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1619-1624 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
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (surface ?OBJ PlanetEarth)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (elevation ?OBJ ?QUANTITY))
MilitaryDevices.kif 1645-1653
(=>
    (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 4069-4080

consequent
-------------------------


(<=>
    (earthAltitude ?OBJ ?ALT)
    (exists (?SEA)
        (and
            (altitude ?OBJ ?SEA ?ALT)
            (surface ?SEA PlanetEarth))))
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
(=>
    (and
        (angleOfFire ?S ?A)
        (instrument ?S ?G)
        (instance ?G Gun)
        (part ?B ?G)
        (instance ?B GunBarrel)
        (instance ?L FiniteLineInSpace)
        (endPointsOfLineInSpace ?P1 ?P2 ?L)
        (objectEnds ?P1 ?P2 ?B)
        (eventLocated ?S ?R)
        (instance ?R GeographicArea) part ?P ?R)
    (planeAngleMeasure ?L
        (LevelPlaneFn ?P PlanetEarth) ?A))
MilitaryDevices.kif 258-272
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1895-1900
(=>
    (and
        (equal ?N NorthPole)
        (located ?N ArcticRegion))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?N))))
Geography.kif 3824-3831
(=>
    (and
        (equal ?S SouthPole)
        (located ?S Antarctica))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?S))))
Geography.kif 3851-3858
(=>
    (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 1598-1608
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3503-3505
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3456-3458
(=>
    (instance ?M Meteorite)
    (exists (?T)
        (holdsDuring ?T
            (meetsSpatially ?M PlanetEarth))))
Geography.kif 3417-3421
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 4061-4067


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