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 4046-4048
(subclass LandForm GeographicArea) Geography.kif 4045-4045 Land form is a subclass of geographic area

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


(subclass Archipelago LandForm) Geography.kif 5974-5974 Archipelago is a subclass of land form
(subclass Basin LandForm) Geography.kif 4313-4313 Basin is a subclass of land form
(subclass Butte LandForm) Geography.kif 4242-4242 Butte is a subclass of land form
(subclass Canyon LandForm) Geography.kif 4329-4329 Canyon is a subclass of land form
(subclass Cape LandForm) Geography.kif 5940-5940 Cape is a subclass of land form
(subclass CaveMatrix LandForm) Geography.kif 6181-6181 Cave matrix is a subclass of land form
(subclass Delta LandForm) Geography.kif 5909-5909 Delta is a subclass of land form
(subclass Glacier LandForm) Geography.kif 6131-6131 Glacier is a subclass of land form
(subclass Hill LandForm) Geography.kif 4113-4113 Hill is a subclass of land form
(subclass LowlandArea LandForm) Geography.kif 4054-4054 Lowland area is a subclass of land form
(subclass Mesa LandForm) Geography.kif 4224-4224 Mesa is a subclass of land form
(subclass Mountain LandForm) Geography.kif 4096-4096 Mountain is a subclass of land form
(subclass MountainRange LandForm) Geography.kif 4082-4082 Mountain range is a subclass of land form
(subclass Peninsula LandForm) Geography.kif 5926-5926 Peninsula is a subclass of land form
(subclass Plateau LandForm) Geography.kif 4205-4205 Plateau is a subclass of land form
(subclass Reef LandForm) Geography.kif 6070-6070 Reef is a subclass of land form
(subclass RiverBank LandForm) Geography.kif 5890-5890 River bank is a subclass of land form
(subclass Seacoast LandForm) Geography.kif 6253-6253 Seacoast is a subclass of land form
(subclass Shoal LandForm) Geography.kif 6044-6044 Shoal is a subclass of land form
(subclass SlopedArea LandForm) Geography.kif 4171-4171 Sloped area is a subclass of land form
(subclass UplandArea LandForm) Geography.kif 4050-4050 Upland area is a subclass of land form
(subclass Valley LandForm) Geography.kif 4296-4296 Valley is a subclass of land form
(subclass Volcano LandForm) Geography.kif 4127-4127 Volcano is a subclass of land form
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33228-33228 Volcano is a subclass of land form
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33227-33227 Volcano is a subclass of land form

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 1910-1918
(=>
    (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 2677-2690

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


(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 6053-6060
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2670-2675


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