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
-------------------------


(documentation LandForm EnglishLanguage "A LandForm is the class of geographically and/ or geologically distinct areas that occur on Earth's surface, including mountains, hills, plains, valleys, deltas, and features of submerged land areas such as the ocean floor.") Geography.kif 3838-3840
(subclass LandForm GeographicArea) Geography.kif 3837-3837 Land form is a subclass of geographic area

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


(subclass Archipelago LandForm) Geography.kif 5648-5648 Archipelago is a subclass of land form
(subclass Basin LandForm) Geography.kif 4105-4105 Basin is a subclass of land form
(subclass Butte LandForm) Geography.kif 4034-4034 Butte is a subclass of land form
(subclass Canyon LandForm) Geography.kif 4121-4121 Canyon is a subclass of land form
(subclass Cape LandForm) Geography.kif 5614-5614 Cape is a subclass of land form
(subclass CaveMatrix LandForm) Geography.kif 5855-5855 Cave matrix is a subclass of land form
(subclass Delta LandForm) Geography.kif 5583-5583 Delta is a subclass of land form
(subclass Glacier LandForm) Geography.kif 5805-5805 Glacier is a subclass of land form
(subclass Hill LandForm) Geography.kif 3905-3905 Hill is a subclass of land form
(subclass LowlandArea LandForm) Geography.kif 3846-3846 Lowland area is a subclass of land form
(subclass Mesa LandForm) Geography.kif 4016-4016 Mesa is a subclass of land form
(subclass Mountain LandForm) Geography.kif 3888-3888 Mountain is a subclass of land form
(subclass MountainRange LandForm) Geography.kif 3874-3874 Mountain range is a subclass of land form
(subclass Peninsula LandForm) Geography.kif 5600-5600 Peninsula is a subclass of land form
(subclass Plateau LandForm) Geography.kif 3997-3997 Plateau is a subclass of land form
(subclass Reef LandForm) Geography.kif 5744-5744 Reef is a subclass of land form
(subclass RiverBank LandForm) Geography.kif 5564-5564 River bank is a subclass of land form
(subclass Seacoast LandForm) Geography.kif 5927-5927 Seacoast is a subclass of land form
(subclass Shoal LandForm) Geography.kif 5718-5718 Shoal is a subclass of land form
(subclass SlopedArea LandForm) Geography.kif 3963-3963 Sloped area is a subclass of land form
(subclass UplandArea LandForm) Geography.kif 3842-3842 Upland area is a subclass of land form
(subclass Valley LandForm) Geography.kif 4088-4088 Valley is a subclass of land form
(subclass Volcano LandForm) Geography.kif 3919-3919 Volcano is a subclass of land form
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33204-33204
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33203-33203

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (elevation ?OBJECT
            (MeasureFn ?NUM ?UNIT))
        (instance ?UNIT UnitOfLength)
        (instance ?OBJECT LandForm))
    (exists (?HIGHPOINT)
        (and
            (top ?HIGHPOINT ?OBJECT)
            (distance ?HIGHPOINT SeaLevel
                (MeasureFn ?NUM ?UNIT)))))
Geography.kif 1917-1925
(=>
    (and
        (instance ?WEARING Erosion)
        (instance ?LAND LandForm)
        (patient ?WEARING ?LAND)
        (instance ?U UnitOfVolume)
        (measure ?LAND
            (MeasureFn ?SIZE1 ?U)))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?WEARING))
        (exists (?SIZE2)
            (and
                (measure ?LAND
                    (MeasureFn ?SIZE2 ?U))
                (lessThan ?SIZE2 ?SIZE1)))))
Geography.kif 2675-2688

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


(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5727-5734
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2668-2673


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