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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlanetEarth
PlanetEarth(行星地球)

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


(instance PlanetEarth Planet) Geography.kif 3406-3406 例 行星地球 and 行星
(orbits PlanetEarth Sol) Geography.kif 3407-3407 太陽 是 行星地球 的 orbits

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


(orbits EarthsMoon PlanetEarth) Geography.kif 3399-3399 行星地球 是 地球月亮 的 orbits
(termFormat ChineseLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 46040-46040
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 46039-46039
(termFormat EnglishLanguage PlanetEarth "planet earth") domainEnglishFormat.kif 46038-46038

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


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))		 MilitaryDevices.kif 1462-1467 高度 飛機, SelfConnectedObject and 高度測量 表面 SelfConnectedObject and 行星地球 例 飛機 and 飛機 高度測量 是 absolute 飛機 的高度
(=>
    (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 Object 是 LengthMeasure above 地表 SelfConnectedObject 高度 Object, SelfConnectedObject and LengthMeasure 表面 SelfConnectedObject and 行星地球
(=>
    (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 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