LandArea - Sigma Knowledge base Browser

appearance as argument number 1

(documentation LandArea ChineseLanguage "这是一处主要是坚实地面组成的地区，例如： Nation、山、沙漠等等。注：LandArea 有可能包含相对小范围的 WaterArea。例如：澳大利亚是一处 LandArea，虽然它也有各种各样的河流和湖泊。")	chinese_format.kif 1453-1455
(documentation LandArea EnglishLanguage "An area which is predominantly solid ground, e.g. a Nation, a mountain, a desert, etc. Note that a LandArea may contain some relatively small WaterAreas. For example, Australia is a LandArea even though it contains various rivers and lakes.")	Merge.kif 13106-13109
(subclass LandArea GeographicArea)	Merge.kif 13105-13105	Land area is a subclass of geographic area

appearance as argument number 2

(instance AmericanSamoa LandArea)	CountriesAndRegions.kif 639-639	American samoa is an instance of land area
(instance Anguilla LandArea)	CountriesAndRegions.kif 416-416	Anguilla is an instance of land area
(instance AntarcticArea LandArea)	Geography.kif 3462-3462	Antarctic area is an instance of land area
(instance Aruba LandArea)	CountriesAndRegions.kif 417-417	Aruba is an instance of land area
(instance AshmoreAndCartierIslands LandArea)	CountriesAndRegions.kif 592-592	Ashmore and cartier islands is an instance of land area
(instance BakerIsland LandArea)	CountriesAndRegions.kif 640-640	Baker island is an instance of land area
(instance Bermuda LandArea)	CountriesAndRegions.kif 400-400	Bermuda is an instance of land area
(instance BritishIndianOceanTerritory LandArea)	CountriesAndRegions.kif 565-565	British indian ocean territory is an instance of land area
(instance BritishVirginIslands LandArea)	CountriesAndRegions.kif 418-418	British virgin islands is an instance of land area
(instance CaymanIslands LandArea)	CountriesAndRegions.kif 419-419	Cayman islands is an instance of land area
(instance ChristmasIsland LandArea)	CountriesAndRegions.kif 593-593	Christmas island is an instance of land area
(instance ClippertonIsland LandArea)	CountriesAndRegions.kif 469-469	Clipperton island is an instance of land area
(instance CocosKeelingIslands LandArea)	CountriesAndRegions.kif 594-594	Cocos keeling islands is an instance of land area
(instance CookIslands LandArea)	CountriesAndRegions.kif 641-641	Cook islands is an instance of land area
(instance CoralSeaIslands LandArea)	CountriesAndRegions.kif 642-642	Coral sea islands is an instance of land area
(instance FalklandIslands LandArea)	CountriesAndRegions.kif 492-492	Falkland islands is an instance of land area
(instance FaroeIslands LandArea)	CountriesAndRegions.kif 311-311	Faroe islands is an instance of land area
(instance FrenchGuiana LandArea)	CountriesAndRegions.kif 491-491	French guiana is an instance of land area
(instance FrenchPolynesia LandArea)	CountriesAndRegions.kif 643-643	French polynesia is an instance of land area
(instance FrenchSouthernAndAntarcticLands LandArea)	CountriesAndRegions.kif 587-587	French southern and antarctic lands is an instance of land area
(instance GazaStrip LandArea)	CountriesAndRegions.kif 237-237	Gaza strip is an instance of land area
(instance Gibraltar LandArea)	CountriesAndRegions.kif 388-388	Gibraltar is an instance of land area
(instance Greenland LandArea)	CountriesAndRegions.kif 401-401	Greenland is an instance of land area
(instance Guadeloupe LandArea)	CountriesAndRegions.kif 420-420	Guadeloupe is an instance of land area
(instance Guernsey LandArea)	CountriesAndRegions.kif 344-344	Guernsey is an instance of land area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain groundSubsurfaceType 1 LandArea)	Geography.kif 4064-4064	The number 1 argument of ground subsurface type is an instance of land area
(domain groundSurfaceType 1 LandArea)	Geography.kif 4057-4057	The number 1 argument of ground surface type is an instance of land area
(domain slopeGradient 1 LandArea)	Geography.kif 1627-1627	The number 1 argument of slope gradient is an instance of land area
(domain slopeGradientTowardsOrientation 1 LandArea)	Geography.kif 1640-1640	The number 1 argument of slope gradient towards orientation is an instance of land area
(partition GeographicArea WaterArea LandArea)	Merge.kif 12984-12984	Geographic area is exhaustively partitioned into water area and land area

antecedent

(=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (and (holdsDuring (ImmediatePastFn (WhenFn ?IRRIGATION)) (attribute ?AREA Dry)) (holdsDuring (ImmediateFutureFn (WhenFn ?IRRIGATION)) (attribute ?AREA Damp))))	Geography.kif 5387-5394	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then dry is an attribute of the entity holds during immediately before the time of existence of the process and damp is an attribute of the entity holds during immediately after the time of existence of the process
(=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (hasPurpose ?IRRIGATION (attribute ?AREA FertileTerrain)))	Geography.kif 5396-5401	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then the process purpose fertile terrain is an attribute of the entity
(=> (and (instance ?SINKING LandSubsidence) (patient ?SINKING ?LAND) (instance ?LAND LandArea) (elevation ?LAND ?HEIGHT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?SINKING)) (exists (?HEIGHT2) (and (elevation ?LAND ?HEIGHT2) (lessThan ?HEIGHT2 ?HEIGHT1)))))	Geography.kif 6120-6130	If a process is an instance of land subsidence and an object is a patient of the process and the object is an instance of land area and a length measure is an elevation of the object, then there exists an entity such that the entity is an elevation of the object and the entity is less than the length measure holds during immediately after the time of existence of the process
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Red) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (attribute ?AREA FertileTerrain))	Geography.kif 1796-1802	If a corpuscular object is an instance of soil and red is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is an attribute of the other corpuscular object
(=> (and (instance ?SOIL Soil) (attribute ?SOIL Yellow) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (not (attribute ?AREA FertileTerrain)))	Geography.kif 1788-1794	If a corpuscular object is an instance of soil and yellow is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is not an attribute of the other corpuscular object
(=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above))))	Geography.kif 4067-4076	If a land area is an instance of land area and a kind of substance is a ground surface type of the land area and another kind of substance is a ground subsurface type of the land area, then there exist an object and another object such that the object is an instance of a kind of substance and the other object is an instance of another kind of substance and the object is above to the other object
(=> (and (instance ?basin Basin) (instance ?area LandArea) (earthAltitude ?basin ?height1) (earthAltitude ?area ?height2) (orientation ?basin ?area Adjacent)) (greaterThan ?height2 ?height1))	Geography.kif 4029-4036	If an object is an instance of basin and another object is an instance of land area and the object is a physical quantity above the ground and the other object is another physical quantity above the ground and the object is adjacent to the other object, then the other physical quantity is greater than the physical quantity
(=> (and (instance ?valley Valley) (instance ?area LandArea) (earthAltitude ?valley ?height1) (earthAltitude ?area ?height2) (orientation ?valley ?area Adjacent)) (greaterThan ?height2 ?height1))	Geography.kif 4016-4023	If an object is an instance of valley and another object is an instance of land area and the object is a physical quantity above the ground and the other object is another physical quantity above the ground and the object is adjacent to the other object, then the other physical quantity is greater than the physical quantity
(=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island)))))	Merge.kif 13111-13118	If an object is an instance of land area, then there exists another object such that the object is a part of the other object and the other object is an instance of continent or the other object is an instance of island

consequent

(=> (and (instance ?ATT TerrainAttribute) (attribute ?OBJECT ?ATT)) (instance ?OBJECT LandArea))	Geography.kif 1695-1699	If an attribute is an instance of terrain attribute and the attribute is an attribute of an object, then the object is an instance of land area
(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?WIND ?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 902-923	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist the other process, a transfer,, , an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the entity is an instance of land area and the transfer ends up at the entity and overlaps spatially the third object and the entity
(=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea)))	Merge.kif 13160-13166	If an object is an instance of island and another object is an instance of geographic area and the object meets the other object, then the other object is not an instance of land area
(=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2))))	Geography.kif 5499-5513	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object is not equal to the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 18839-18868	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , an object and a time duration such that the other process is an instance of discovering and the object is an instance of object and the object is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the object is the time duration and the time duration is greater than 50 year duration(s) and the entity is a surface of another entity and the other entity is an instance of body of water and the object is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the object is below to the entity holds during immediately before the time of existence of the other process
(=> (and (otherLandUseArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?OTHER) (and (instance ?OTHER LandArea) (not (instance ?OTHER ArableLand)) (not (instance ?OTHER PermanentCropLand)) (geographicSubregion ?OTHER ?REGION) (measure ?OTHER (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2139-2151	If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea, then there exists another geographic area such that the other geographic area is an instance of land area and the other geographic area is not an instance of arable land and the other geographic area is not an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the constant quantity and the real number the unit of measure(s)
(=> (attribute ?AREA MountainousTerrain) (instance ?AREA LandArea))	Geography.kif 1746-1748	If mountainous terrain is an attribute of an object, then the object is an instance of land area
(=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND))))	Geography.kif 951-956	If an object is an instance of landlocked area, then there exists another object such that the other object is an instance of land area and the object meets the other object
(=> (instance ?BALCONY Balcony) (exists (?WALL ?LANDAREA) (and (meetsSpatially ?WALL ?BALCONY) (instance ?LANDAREA LandArea) (located ?WALL ?LANDAREA) (orientation ?BALCONY ?LANDAREA Above))))	Mid-level-ontology.kif 13070-13077	If an object is an instance of balcony, then there exist another object and a third object such that the other object meets the object and the third object is an instance of land area and the other object is located at the third object and the object is above to the third object
(=> (instance ?EXCLUSIVEWATERAREA WaterOnlyArea) (not (exists (?LANDAREA) (and (instance ?LANDAREA LandArea) (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))	Geography.kif 602-608	If an object is an instance of water only area, then there doesn't exist another object such that the other object is an instance of land area and the other object is a part of the object
(=> (instance ?Estate RealEstate) (or (instance ?Estate StationaryArtifact) (instance ?Estate LandArea) (exists (?Artifact ?Area) (and (instance ?Artifact StationaryArtifact) (instance ?Area LandArea) (equal ?Estate (MereologicalSumFn ?Artifact ?Area))))))	FinancialOntology.kif 1300-1309	If an object is an instance of real estate, then the object is an instance of stationary artifact or the object is an instance of land area or there exist another object and a third object such that the other object is an instance of stationary artifact and the third object is an instance of land area and the object is equal to the union of the parts of the other object and the third object
(=> (instance ?FOG Fog) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?FOG ?LAND))))	Mid-level-ontology.kif 8645-8650	If an object is an instance of fog, then there exists another object such that the other object is an instance of land area and the object meets the other object
(=> (instance ?INLET Inlet) (exists (?LAND) (and (instance ?LAND LandArea) (penetrates ?INLET ?LAND))))	Geography.kif 4903-4908	If an object is an instance of inlet, then there exists an entity such that the entity is an instance of land area and the object penetrates the entity
(=> (instance ?ISLAND Island) (not (exists (?AREA ?PART1 ?PART2) (and (instance ?AREA LandArea) (part ?PART1 ?ISLAND) (part ?PART2 ?AREA) (not (part ?ISLAND ?AREA)) (not (part ?AREA ?ISLAND)) (meetsSpatially ?PART1 ?PART2)))))	Merge.kif 13146-13158	If an object is an instance of island, then there don't exist another object, a third object and a fourth object such that the other object is an instance of land area and the third object is a part of the object and the fourth object is a part of the other object and the object is not a part of the other object and the other object is not a part of the object and the third object meets the fourth object
(=> (instance ?LAND LandTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT LandVehicle) (instance ?AREA LandArea) (instrument ?LAND ?CRAFT) (located ?CRAFT ?AREA))))	Mid-level-ontology.kif 15363-15370	If a process is an instance of land transportation, then there exist an object and another object such that the object is an instance of land vehicle and the other object is an instance of land area and the object is an instrument for the process and the object is located at the other object
(=> (instance ?LAND LandingWaterLand) (exists (?REGION ?WATERTRANS) (and (instance ?REGION LandArea) (destination ?LAND ?REGION) (subProcess ?WATERTRANS ?LAND) (instance ?WATERTRANS WaterTransportation))))	MilitaryProcesses.kif 811-818	If a process is an instance of landing water land, then there exist an entity and another process such that the entity is an instance of land area and the process ends up at the entity and the other process is a subprocess of the process and the other process is an instance of water transportation
(=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA))))	Geography.kif 4480-4485	If an object is an instance of sea, then there exists another object such that the other object is an instance of land area and the other object meets the object
(=> (instance ?SINKING LandSubsidence) (exists (?LAND) (and (instance ?LAND LandArea) (eventLocated ?SINKING ?LAND) (patient ?SINKING ?LAND))))	Geography.kif 6112-6118	If a process is an instance of land subsidence, then there exists an entity such that the entity is an instance of land area and the process is located at 2 and the entity is a patient of the process
(=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4484-4495	If a corpuscular object is an instance of hammock, then fabric is made of the corpuscular object and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=> (instance ?X PublicAddressSystem) (hasPurpose ?X (exists (?RS ?AREA ?GRP) (and (instance ?AREA LandArea) (located ?X ?AREA) (instance ?GRP GroupOfPeople) (located ?GRP ?AREA) (instance ?RS RadiatingSound) (instrument ?RS ?X) (forall (?PERSON) (=> (member ?PERSON ?GRP) (exists (?HEAR) (and (instance ?HEAR Hearing) (patient ?HEAR ?RS) (agent ?HEAR ?PERSON)))))))))	Mid-level-ontology.kif 24105-24123	If a physical is an instance of public address system, then the physical purpose there exist an entity, another entity and a third entity such that the other entity is an instance of land area and the physical is located at the other entity and the third entity is an instance of group of people and the third entity is located at the other entity and the entity is an instance of radiating sound and the physical is an instrument for the entity and for all a fourth entity if the fourth entity is a member of the third entity, then there exists a fifth entity such that the fifth entity is an instance of hearing and the entity is a patient of the fifth entity and the fourth entity is an agent of the fifth entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: