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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandForm
LandForm

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 3771-3773
(subclass LandForm GeographicArea) Geography.kif 3770-3770

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


(subclass Archipelago LandForm) Geography.kif 5532-5532
(subclass Basin LandForm) Geography.kif 4025-4025
(subclass Butte LandForm) Geography.kif 3959-3959
(subclass Canyon LandForm) Geography.kif 4038-4038
(subclass Cape LandForm) Geography.kif 5498-5498
(subclass CaveMatrix LandForm) Geography.kif 5737-5737
(subclass Delta LandForm) Geography.kif 5467-5467
(subclass Glacier LandForm) Geography.kif 5688-5688
(subclass Hill LandForm) Geography.kif 3835-3835
(subclass LowlandArea LandForm) Geography.kif 3779-3779
(subclass Mesa LandForm) Geography.kif 3941-3941
(subclass Mountain LandForm) Geography.kif 3818-3818
(subclass MountainRange LandForm) Geography.kif 3804-3804
(subclass Peninsula LandForm) Geography.kif 5484-5484
(subclass Plateau LandForm) Geography.kif 3922-3922
(subclass Reef LandForm) Geography.kif 5627-5627
(subclass RiverBank LandForm) Geography.kif 5448-5448
(subclass Seacoast LandForm) Geography.kif 5809-5809
(subclass Shoal LandForm) Geography.kif 5601-5601
(subclass SlopedArea LandForm) Geography.kif 3893-3893
(subclass UplandArea LandForm) Geography.kif 3775-3775
(subclass Valley LandForm) Geography.kif 4011-4011
(subclass Volcano LandForm) Geography.kif 3849-3849
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33145-33145
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33144-33144

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 1875-1883
(=>
    (and
        (instance ?WEARING Erosion)
        (instance ?LAND LandForm)
        (patient ?WEARING ?LAND)
        (measure ?LAND ?SIZE1)
        (instance ?SIZE1 VolumeMeasure))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?WEARING))
        (exists (?SIZE2)
            (and
                (measure ?LAND ?SIZE2)
                (instance ?SIZE2 VolumeMeasure)
                (lessThan ?SIZE2 ?SIZE1)))))
Geography.kif 2630-2642

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


(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))
Geography.kif 5610-5617
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))
Geography.kif 2623-2628


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