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 3564-3564 PlanetEarthPlanetinstance では
(orbits PlanetEarth Sol) Geography.kif 3565-3565 orbits PlanetEarth and Sol

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


(orbits EarthsMoon PlanetEarth) Geography.kif 3557-3557 orbits EarthsMoon and PlanetEarth
(termFormat ChineseLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 46040-46040 orbits EarthsMoon and PlanetEarth
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") domainEnglishFormat.kif 46039-46039 orbits EarthsMoon and PlanetEarth
(termFormat EnglishLanguage PlanetEarth "planet earth") domainEnglishFormat.kif 46038-46038 orbits EarthsMoon and PlanetEarth

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


(=>
    (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 4239-4250

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


(<=>
    (earthAltitude ?OBJ ?ALT)
    (exists (?SEA)
        (and
            (altitude ?OBJ ?SEA ?ALT)
            (surface ?SEA PlanetEarth))))
Geography.kif 2939-2944 earthAltitude オブジェクト and 長さ測定 自己接続オブジェクト オブジェクトaltitude 自己接続オブジェクト では 自己接続オブジェクトPlanetEarthsurface では
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))
Geography.kif 2065-2070
(=>
    (and
        (equal ?N NorthPole)
        (located ?N ArcticRegion))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?N))))
Geography.kif 3994-4001
(=>
    (and
        (equal ?S SouthPole)
        (located ?S Antarctica))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?S))))
Geography.kif 4021-4028
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3673-3675
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3626-3628
(=>
    (instance ?M Meteorite)
    (exists (?T)
        (holdsDuring ?T
            (meetsSpatially ?M PlanetEarth))))
Geography.kif 3587-3591
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 4231-4237


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