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 3976-3978
(subclass LandForm GeographicArea) Geography.kif 3975-3975 LandForm è una sottoclasse di AreaGeografica

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


(subclass Archipelago LandForm) Geography.kif 5841-5841 Archipelago è una sottoclasse di LandForm
(subclass Basin LandForm) Geography.kif 4243-4243 Basin è una sottoclasse di LandForm
(subclass Butte LandForm) Geography.kif 4172-4172 Butte è una sottoclasse di LandForm
(subclass Canyon LandForm) Geography.kif 4259-4259 Canyon è una sottoclasse di LandForm
(subclass Cape LandForm) Geography.kif 5807-5807 Cape è una sottoclasse di LandForm
(subclass CaveMatrix LandForm) Geography.kif 6048-6048 CaveMatrix è una sottoclasse di LandForm
(subclass Delta LandForm) Geography.kif 5776-5776 Delta è una sottoclasse di LandForm
(subclass Glacier LandForm) Geography.kif 5998-5998 Glacier è una sottoclasse di LandForm
(subclass Hill LandForm) Geography.kif 4043-4043 Hill è una sottoclasse di LandForm
(subclass LowlandArea LandForm) Geography.kif 3984-3984 LowlandArea è una sottoclasse di LandForm
(subclass Mesa LandForm) Geography.kif 4154-4154 Mesa è una sottoclasse di LandForm
(subclass Mountain LandForm) Geography.kif 4026-4026 Mountain è una sottoclasse di LandForm
(subclass MountainRange LandForm) Geography.kif 4012-4012 MountainRange è una sottoclasse di LandForm
(subclass Peninsula LandForm) Geography.kif 5793-5793 Peninsula è una sottoclasse di LandForm
(subclass Plateau LandForm) Geography.kif 4135-4135 Plateau è una sottoclasse di LandForm
(subclass Reef LandForm) Geography.kif 5937-5937 Reef è una sottoclasse di LandForm
(subclass RiverBank LandForm) Geography.kif 5757-5757 RiverBank è una sottoclasse di LandForm
(subclass Seacoast LandForm) Geography.kif 6120-6120 Seacoast è una sottoclasse di LandForm
(subclass Shoal LandForm) Geography.kif 5911-5911 Shoal è una sottoclasse di LandForm
(subclass SlopedArea LandForm) Geography.kif 4101-4101 SlopedArea è una sottoclasse di LandForm
(subclass UplandArea LandForm) Geography.kif 3980-3980 UplandArea è una sottoclasse di LandForm
(subclass Valley LandForm) Geography.kif 4226-4226 Valley è una sottoclasse di LandForm
(subclass Volcano LandForm) Geography.kif 4057-4057 Volcano è una sottoclasse di LandForm
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33217-33217
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33216-33216

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 1922-1930
(=>
    (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 2689-2702

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


(=>
    (instance ?LAND Shoal)
    (exists (?PART ?WATER)
        (and
            (instance ?PART LandForm)
            (most ?PART ?LAND)
            (instance ?WATER BodyOfWater)
            (covers ?WATER ?PART))))		 Geography.kif 5920-5927
(=>
    (instance ?WEARING Erosion)
    (exists (?LAND)
        (and
            (patient ?WEARING ?LAND)
            (instance ?LAND LandForm))))		 Geography.kif 2682-2687


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