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 PlanetEarth ist ein fall von Planet %n{nicht}
(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 Das altitude von Aircraft ist SelfConnectedObject %n{nicht} und ** SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht} und ** Aircraft ist ein fall von Aircraft %n{nicht} genau dann wenn 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 Object and LengthMeasure genau dann wenn es gibt SelfConnectedObject um das altitude von ** Object ist ** SelfConnectedObject %n{nicht} und ** SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht}
(=>
    (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