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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlanetEarth

Sigma KEE - PlanetEarth
PlanetEarth(planet earth)Earth, earth, globe, planet_earth, world

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


s__instance(s__PlanetEarth,s__Planet)

s__instance(s__Planet,s__SetOrClass)

Geography.kif 3252-3252 Planet earth is an instance of planet
s__orbits(s__PlanetEarth,s__Sol)

Geography.kif 3253-3253 Sol is an orbits of planet earth

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


s__orbits(s__EarthsMoon,s__PlanetEarth)

Geography.kif 3245-3245 Planet earth is an orbits of earths moon
s__termFormat(s__EnglishLanguage,s__PlanetEarth,'planet earth')

domainEnglishFormat.kif 8095-8095 "planet earth" is the printable form of planet earth in english language

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


( ∀ [V__OBJ2,V__QUANTITY,V__AIRCRAFT]
   ((s__instance(V__OBJ2,s__SelfConnectedObject)s__and__ms__instance(V__QUANTITY,s__AltitudeMeasure))
    s__=>((s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
      s__and__ms__surface(V__OBJ2,s__PlanetEarth)s__and__ms__instance(V__AIRCRAFT,s__Aircraft))
    s__<⇒
    s__absoluteHeight(V__AIRCRAFT,V__QUANTITY)))
)

MilitaryDevices.kif 1461-1466 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
( ∀ [V__OBJ,V__QUANTITY,V__MEASURE,V__BAROMETER]
   ((s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__surface(V__OBJ,s__PlanetEarth)s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__BAROMETER)
  s__and__ms__instance(V__BAROMETER,s__BarometricAltimeter))
s__=>s__elevation(V__OBJ,V__QUANTITY)))
)

MilitaryDevices.kif 1487-1495
( ∀ [V__ground,V__alt1,V__area,V__alt2,V__place]
   ((s__instance(V__ground,s__SelfConnectedObject)s__and__ms__instance(V__alt1,s__PhysicalQuantity)s__and__ms__instance(V__area,s__Object)s__and__ms__instance(V__alt2,s__PhysicalQuantity))
    s__=>((s__instance(V__place,s__UndergroundArea)s__and__ms__earthAltitude(V__place,V__alt1)
      s__and__ms__surface(V__ground,s__PlanetEarth)s__and__ms__part(V__area,V__ground)
    s__and__ms__orientation(V__place,V__area,s__Below)s__and__ms__earthAltitude(V__area,V__alt2))
s__=>s__greaterThan(V__alt2,V__alt1)))
)

Geography.kif 3781-3789

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


( ∀ [V__OBJ,V__ALT,V__SEA]
   ((s__instance(V__OBJ,s__Object)s__and__ms__instance(V__ALT,s__LengthMeasure)s__and__ms__instance(V__SEA,s__SelfConnectedObject))
    s__=>(s__earthAltitude(V__OBJ,V__ALT)
    s__<⇒
    (s__altitude(V__OBJ,V__SEA,V__ALT)
    s__and__ms__surface(V__SEA,s__PlanetEarth))))
)

Geography.kif 2709-2713 An object is a length measure above the ground if and only if the altitude of the object is a self connected object and the self connected object is a surface of planet earth
( ∀ [V__OBJECT,V__HEIGHT,V__PLACE]
   ((s__instance(V__OBJECT,s__Object)s__and__ms__instance(V__HEIGHT,s__LengthMeasure))
    s__=>((s__elevation(V__OBJECT,V__HEIGHT)
      s__and__ms__located(V__OBJECT,V__PLACE)
    s__and__ms__instance(V__PLACE,s__GeographicArea))
  s__=>s__superficialPart(V__PLACE,s__PlanetEarth)))
)

Geography.kif 1848-1853
( ∀ [V__OBJ,V__QUANTITY,V__MEASURE,V__ABSOLUTEMETER]
   ((s__instance(V__OBJ,s__Physical)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__ABSOLUTEMETER)
  s__and__ms__instance(V__ABSOLUTEMETER,s__AbsoluteAltimeter))
s__=>(s__exists__m[V__OBJ2]
   (s__instance(V__OBJ2,s__SelfConnectedObject)s__and__m(s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
  s__and__ms__surface(V__OBJ2,s__PlanetEarth))))))
)

MilitaryDevices.kif 1440-1450
( ∀ [V__AREA]
   (s__instance(V__AREA,s__Continent)s__=>s__geographicSubregion(V__AREA,s__PlanetEarth))
   )

Geography.kif 3361-3363
( ∀ [V__AREA]
   (s__instance(V__AREA,s__Hemisphere)s__=>s__geographicSubregion(V__AREA,s__PlanetEarth))
   )

Geography.kif 3314-3316
No TPTP formula. May not be expressible in strict first order. Geography.kif 3275-3279
( ∀ [V__place]
   (s__instance(V__place,s__UndergroundArea)s__=>(s__exists__m[V__area,V__ground]
       (s__instance(V__area,s__Object)s__and__ms__instance(V__ground,s__SelfConnectedObject)s__and__m(s__surface(V__ground,s__PlanetEarth)s__and__ms__part(V__area,V__ground)
      s__and__ms__orientation(V__place,V__area,s__Below)))))
)

Geography.kif 3773-3779


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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