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 は Planet の instance では %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 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 Aircraft の altitude は 自己接続オブジェクト では %n 自己接続オブジェクト は PlanetEarth の surface では %n Aircraft は Aircraft の instance では %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 自己接続オブジェクト は PlanetEarth の surface では %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 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