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 3952-3954
(subclass LandForm GeographicArea) Geography.kif 3951-3951 LandForm è una sottoclasse di AreaGeografica

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


(subclass Archipelago LandForm) Geography.kif 5817-5817 Archipelago è una sottoclasse di LandForm
(subclass Basin LandForm) Geography.kif 4219-4219 Basin è una sottoclasse di LandForm
(subclass Butte LandForm) Geography.kif 4148-4148 Butte è una sottoclasse di LandForm
(subclass Canyon LandForm) Geography.kif 4235-4235 Canyon è una sottoclasse di LandForm
(subclass Cape LandForm) Geography.kif 5783-5783 Cape è una sottoclasse di LandForm
(subclass CaveMatrix LandForm) Geography.kif 6024-6024 CaveMatrix è una sottoclasse di LandForm
(subclass Delta LandForm) Geography.kif 5752-5752 Delta è una sottoclasse di LandForm
(subclass Glacier LandForm) Geography.kif 5974-5974 Glacier è una sottoclasse di LandForm
(subclass Hill LandForm) Geography.kif 4019-4019 Hill è una sottoclasse di LandForm
(subclass LowlandArea LandForm) Geography.kif 3960-3960 LowlandArea è una sottoclasse di LandForm
(subclass Mesa LandForm) Geography.kif 4130-4130 Mesa è una sottoclasse di LandForm
(subclass Mountain LandForm) Geography.kif 4002-4002 Mountain è una sottoclasse di LandForm
(subclass MountainRange LandForm) Geography.kif 3988-3988 MountainRange è una sottoclasse di LandForm
(subclass Peninsula LandForm) Geography.kif 5769-5769 Peninsula è una sottoclasse di LandForm
(subclass Plateau LandForm) Geography.kif 4111-4111 Plateau è una sottoclasse di LandForm
(subclass Reef LandForm) Geography.kif 5913-5913 Reef è una sottoclasse di LandForm
(subclass RiverBank LandForm) Geography.kif 5733-5733 RiverBank è una sottoclasse di LandForm
(subclass Seacoast LandForm) Geography.kif 6096-6096 Seacoast è una sottoclasse di LandForm
(subclass Shoal LandForm) Geography.kif 5887-5887 Shoal è una sottoclasse di LandForm
(subclass SlopedArea LandForm) Geography.kif 4077-4077 SlopedArea è una sottoclasse di LandForm
(subclass UplandArea LandForm) Geography.kif 3956-3956 UplandArea è una sottoclasse di LandForm
(subclass Valley LandForm) Geography.kif 4202-4202 Valley è una sottoclasse di LandForm
(subclass Volcano LandForm) Geography.kif 4033-4033 Volcano è una sottoclasse di LandForm
(termFormat ChineseLanguage LandForm "土地形式") domainEnglishFormat.kif 33246-33246 Volcano è una sottoclasse di LandForm
(termFormat ChineseTraditionalLanguage LandForm "土地形式") domainEnglishFormat.kif 33245-33245 Volcano è una sottoclasse di LandForm

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 5896-5903
(=>
    (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