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 3265-3265 instance PlanetEarth and Planet
(orbits PlanetEarth Sol) Geography.kif 3266-3266 orbits PlanetEarth and Sol

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


(orbits EarthsMoon PlanetEarth) Geography.kif 3258-3258 orbits EarthsMoon and PlanetEarth
(termFormat ChineseLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 45973-45973 termFormat ChineseLanguage, PlanetEarth and "行星地球"
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 45972-45972 termFormat ChineseTraditionalLanguage, PlanetEarth and "行星地球"
(termFormat EnglishLanguage PlanetEarth "planet earth") domainEnglishFormat.kif 45971-45971 termFormat EnglishLanguage, PlanetEarth and "planet earth"

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


(<=>
    (and
        (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY)
        (surface ?OBJ2 PlanetEarth)
        (instance ?AIRCRAFT Aircraft))
    (absoluteHeight ?AIRCRAFT ?QUANTITY))
MilitaryDevices.kif 1462-1467 altitude Aircraft, SelfConnectedObject and AltitudeMeasure surface SelfConnectedObject and PlanetEarth instance Aircraft and Aircraft 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)
        (earthAltitude ?place ?alt1)
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area ?alt2))
    (greaterThan ?alt2 ?alt1))
Geography.kif 3794-3802

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (and
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))
Geography.kif 2721-2725 earthAltitude Object and LengthMeasure altitude Object, SelfConnectedObject and LengthMeasure surface SelfConnectedObject and PlanetEarth
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 1860-1865
(=>
    (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 3374-3376
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3327-3329
(=>
    (instance ?M Meteorite)
    (exists (?T)
        (holdsDuring ?T
            (meetsSpatially ?M PlanetEarth))))
Geography.kif 3288-3292
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3786-3792


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