Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlanetEarth

Sigma KEE - PlanetEarth
PlanetEarth

appearance as argument number 1
-------------------------


(instance PlanetEarth Planet) Geography.kif 3406-3406 PlanetEarthPlanetinstance では %n
(orbits PlanetEarth Sol) Geography.kif 3407-3407 orbits PlanetEarth and Sol

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


(orbits EarthsMoon PlanetEarth) Geography.kif 3399-3399 orbits EarthsMoon and PlanetEarth
(termFormat ChineseLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 46038-46038
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 46037-46037
(termFormat EnglishLanguage PlanetEarth "planet earth") domainEnglishFormat.kif 46036-46036

antecedent
-------------------------


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467 Aircraftaltitude 自己接続オブジェクト では %n 自己接続オブジェクトPlanetEarthsurface では %n AircraftAircraftinstance では %n absoluteHeight Aircraft and AltitudeMeasure
(=>
    (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
(=>
    (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 3999-4010

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (exists (?SEA)
        (and
            (altitude ?OBJ ?SEA ?ALT)
            (surface ?SEA PlanetEarth))))
Geography.kif 2781-2786 earthAltitude オブジェクト and 長さ測定 自己接続オブジェクト オブジェクトaltitude 自己接続オブジェクト では %n 自己接続オブジェクトPlanetEarthsurface では %n
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1907-1912
(=>
    (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
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3515-3517
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3468-3470
(=>
    (instance ?M Meteorite)
    (exists (?T)
        (holdsDuring ?T
            (meetsSpatially ?M PlanetEarth))))
Geography.kif 3429-3433
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3991-3997


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