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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandForm
LandForm(land form)Pillars_of_Hercules

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


s__documentation(s__LandForm,s__EnglishLanguage,'"A LandForm is the class of geographically and/ or geologically distinct areas that occur on Earths surface, including mountains, hills, plains, valleys, deltas, and features of submerged land areas such as the ocean floor."')

Geography.kif 3814-3816
s__instance(s__LandForm,s__Class)

s__subclass(s__LandForm,s__GeographicArea)

s__instance(s__GeographicArea,s__Class)

Geography.kif 3813-3813 Land form is a subclass of geographic area

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


s__instance(s__LandForm,s__Class)

s__instance(s__Archipelago,s__Class)

s__subclass(s__Archipelago,s__LandForm)

Geography.kif 5623-5623 Archipelago is a subclass of land form
s__subclass(s__Basin,s__LandForm)

s__instance(s__LandForm,s__Class)

s__instance(s__Basin,s__Class)

Geography.kif 4081-4081 Basin is a subclass of land form
s__instance(s__Butte,s__Class)

s__instance(s__LandForm,s__Class)

s__subclass(s__Butte,s__LandForm)

Geography.kif 4010-4010 Butte is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__Canyon,s__LandForm)

s__instance(s__Canyon,s__Class)

Geography.kif 4097-4097 Canyon is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__Cape,s__LandForm)

s__instance(s__Cape,s__Class)

Geography.kif 5589-5589 Cape is a subclass of land form
s__instance(s__CaveMatrix,s__Class)

s__instance(s__LandForm,s__Class)

s__subclass(s__CaveMatrix,s__LandForm)

Geography.kif 5830-5830 Cave matrix is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__Delta,s__Class)

s__subclass(s__Delta,s__LandForm)

Geography.kif 5558-5558 Delta is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__Glacier,s__Class)

s__subclass(s__Glacier,s__LandForm)

Geography.kif 5780-5780 Glacier is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__Hill,s__Class)

s__subclass(s__Hill,s__LandForm)

Geography.kif 3881-3881 Hill is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__LowlandArea,s__Class)

s__subclass(s__LowlandArea,s__LandForm)

Geography.kif 3822-3822 Lowland area is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__Mesa,s__Class)

s__subclass(s__Mesa,s__LandForm)

Geography.kif 3992-3992 Mesa is a subclass of land form
s__instance(s__Mountain,s__Class)

s__instance(s__LandForm,s__Class)

s__subclass(s__Mountain,s__LandForm)

Geography.kif 3864-3864 Mountain is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__MountainRange,s__Class)

s__subclass(s__MountainRange,s__LandForm)

Geography.kif 3850-3850 Mountain range is a subclass of land form
s__instance(s__LandForm,s__Class)

s__instance(s__Peninsula,s__Class)

s__subclass(s__Peninsula,s__LandForm)

Geography.kif 5575-5575 Peninsula is a subclass of land form
s__subclass(s__Plateau,s__LandForm)

s__instance(s__LandForm,s__Class)

s__instance(s__Plateau,s__Class)

Geography.kif 3973-3973 Plateau is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__Reef,s__LandForm)

s__instance(s__Reef,s__Class)

Geography.kif 5719-5719 Reef is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__RiverBank,s__LandForm)

s__instance(s__RiverBank,s__Class)

Geography.kif 5539-5539 River bank is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__Seacoast,s__LandForm)

s__instance(s__Seacoast,s__Class)

Geography.kif 5902-5902 Seacoast is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__Shoal,s__LandForm)

s__instance(s__Shoal,s__Class)

Geography.kif 5693-5693 Shoal is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__SlopedArea,s__LandForm)

s__instance(s__SlopedArea,s__Class)

Geography.kif 3939-3939 Sloped area is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__UplandArea,s__LandForm)

s__instance(s__UplandArea,s__Class)

Geography.kif 3818-3818 Upland area is a subclass of land form
s__subclass(s__Valley,s__LandForm)

s__instance(s__LandForm,s__Class)

s__instance(s__Valley,s__Class)

Geography.kif 4064-4064 Valley is a subclass of land form
s__instance(s__LandForm,s__Class)

s__subclass(s__Volcano,s__LandForm)

s__instance(s__Volcano,s__Class)

Geography.kif 3895-3895 Volcano is a subclass of land form
s__termFormat(s__ChineseLanguage,s__LandForm,'"土地形式"')

domainEnglishFormat.kif 33204-33204
s__termFormat(s__ChineseTraditionalLanguage,s__LandForm,'"土地形式"')

domainEnglishFormat.kif 33203-33203

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__OBJECT,V__NUM,V__UNIT] :
   ((s__instance(V__NUM,s__RealNumber) =>
       (((s__elevation(V__OBJECT,s__MeasureFn(V__NUM,V__UNIT))
         &
         s__instance(V__UNIT,s__UnitOfLength) &
         s__instance(V__OBJECT,s__LandForm))
       =>
       (( ? [V__HIGHPOINT] :
           ((s__instance(V__HIGHPOINT,s__SelfConnectedObject) &
               (s__top(V__HIGHPOINT,V__OBJECT)
               &
               s__distance(V__HIGHPOINT,s__SeaLevel,s__MeasureFn(V__NUM,V__UNIT))))))))))
)
)

Geography.kif 1893-1901
No TPTP formula. May not be expressible in strict first order. Geography.kif 2651-2664

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


( ! [V__LAND] :
   ((s__instance(V__LAND,s__Shoal) =>
       (( ? [V__PART, V__WATER] :
           ((s__instance(V__PART,s__LandForm) &
               s__most(V__PART,V__LAND)
             &
             s__instance(V__WATER,s__BodyOfWater) &
             s__covers(V__WATER,V__PART))))))
)
)

Geography.kif 5702-5709
( ! [V__WEARING] :
   ((s__instance(V__WEARING,s__Erosion) =>
       (( ? [V__LAND] :
           ((s__patient(V__WEARING,V__LAND)
             &
             s__instance(V__LAND,s__LandForm))))))
   )
)

Geography.kif 2644-2649


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