| LandArea(土地面積) | |
| 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 14292-14295 | |
| (subclass LandArea GeographicArea) | Merge.kif 14291-14291 | 土地面積 は 地理的地域 の subclass では %n |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain groundSubsurfaceType 1 LandArea) | Geography.kif 4355-4355 | groundSubsurfaceType の数値 1 引数は 土地面積 の instance では %n |
| (domain groundSurfaceType 1 LandArea) | Geography.kif 4348-4348 | groundSurfaceType の数値 1 引数は 土地面積 の instance では %n |
| (domain slopeGradient 1 LandArea) | Geography.kif 1662-1662 | slopeGradient の数値 1 引数は 土地面積 の instance では %n |
| (domain slopeGradientTowardsOrientation 1 LandArea) | Geography.kif 1675-1675 | slopeGradientTowardsOrientation の数値 1 引数は 土地面積 の instance では %n |
| (partition GeographicArea WaterArea LandArea) | Merge.kif 14170-14170 | 地理的地域 は 水域 + 土地面積 に exhaustively partitioned %n |
| antecedent |
|
|
| (=> (and (instance ?F Flooding) (instance ?L LandArea) (eventLocated ?F ?L) (instance ?T TimePoint) (before ?T (WhenFn ?F))) (modalAttribute (holdsDuring ?T (instance ?L SubmergedLandArea)) Unlikely)) |
Weather.kif 1987-1997 | |
| (=> (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 5781-5788 | |
| (=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (hasPurpose ?IRRIGATION (attribute ?AREA FertileTerrain))) |
Geography.kif 5790-5795 | |
| (=> (and (instance ?SINKING LandSubsidence) (patient ?SINKING ?LAND) (instance ?LAND LandArea) (instance ?U UnitOfLength) (elevation ?LAND (MeasureFn ?HEIGHT1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?SINKING)) (exists (?HEIGHT2) (and (elevation ?LAND (MeasureFn ?HEIGHT2 ?U)) (lessThan ?HEIGHT2 ?HEIGHT1))))) |
Geography.kif 6849-6862 | |
| (=> (and (instance ?SOIL Soil) (attribute ?SOIL Red) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (attribute ?AREA FertileTerrain)) |
Geography.kif 1831-1837 | |
| (=> (and (instance ?SOIL Soil) (attribute ?SOIL Yellow) (instance ?AREA LandArea) (component ?SOIL ?AREA)) (not (attribute ?AREA FertileTerrain))) |
Geography.kif 1823-1829 | |
| (=> (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 4358-4367 | |
| (=> (and (instance ?basin Basin) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?basin (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?basin ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 4317-4327 | |
| (=> (and (instance ?valley Valley) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?valley (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?valley ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 4301-4311 | |
| (=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island))))) |
Merge.kif 14297-14304 |
| consequent |
|
|
| (=> (and (instance ?ATT TerrainAttribute) (attribute ?OBJECT ?ATT)) (instance ?OBJECT LandArea)) |
Geography.kif 1730-1734 | |
| (=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (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 1666-1687 |
|
| (=> (and (instance ?ISLE Island) (instance ?AREA GeographicArea) (meetsSpatially ?ISLE ?AREA)) (not (instance ?AREA LandArea))) |
Merge.kif 14346-14352 | |
| (=> (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 5893-5907 |
|
| (=> (and (instance ?TC TropicalCyclone) (destination ?TC ?DEST) (instance ?DEST GeographicArea)) (not (exists (?L ?SL ?X) (and (instance ?L LandArea) (instance ?SL Shoreline) (located ?DEST ?L) (distance ?L ?SL (MeasureFn ?X Mile)) (greaterThan ?X 200.0))))) |
Weather.kif 677-690 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (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 22764-22794 |
|
| (=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2166-2184 |
|
| (=> (attribute ?AREA MountainousTerrain) (instance ?AREA LandArea)) |
Geography.kif 1781-1783 | |
| (=> (instance ?AREA LandlockedArea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?AREA ?LAND)))) |
Geography.kif 947-952 | |
| (=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater)))))) |
Transportation.kif 1752-1762 | |
| (=> (instance ?BALCONY Balcony) (exists (?WALL ?LANDAREA) (and (meetsSpatially ?WALL ?BALCONY) (instance ?LANDAREA LandArea) (located ?WALL ?LANDAREA) (orientation ?BALCONY ?LANDAREA Above)))) |
Mid-level-ontology.kif 16758-16765 | |
| (=> (instance ?EXCLUSIVEWATERAREA WaterOnlyArea) (not (exists (?LANDAREA) (and (instance ?LANDAREA LandArea) (part ?LANDAREA ?EXCLUSIVEWATERAREA))))) |
Geography.kif 595-601 | |
| (=> (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 1375-1384 | |
| (=> (instance ?FOG Fog) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?FOG ?LAND)))) |
Mid-level-ontology.kif 10175-10180 | |
| (=> (instance ?INLET Inlet) (exists (?LAND) (and (instance ?LAND LandArea) (penetrates ?INLET ?LAND)))) |
Geography.kif 5295-5300 | |
| (=> (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 14332-14344 | |
| (=> (instance ?LAND LandTransportation) (exists (?CRAFT ?AREA) (and (instance ?CRAFT LandVehicle) (instance ?AREA LandArea) (instrument ?LAND ?CRAFT) (located ?CRAFT ?AREA)))) |
Mid-level-ontology.kif 19322-19329 | |
| (=> (instance ?LAND LandingWaterLand) (exists (?REGION ?WATERTRANS) (and (instance ?REGION LandArea) (destination ?LAND ?REGION) (subProcess ?WATERTRANS ?LAND) (instance ?WATERTRANS WaterTransportation)))) |
MilitaryProcesses.kif 811-818 | |
| (=> (instance ?MINE LandMine) (hasPurpose ?MINE (exists (?L ?E ?M ?O) (and (instance ?L LandArea) (located ?MINE ?L) (instance ?E Explosion) (instrument ?E ?MINE) (locatedAtTime ?MINE (WhenFn ?E) ?L) (causes ?M ?E) (instance ?M Motion) (eventLocated ?M ?L) (origin ?M ?O) (orientation ?O ?MINE On) (or (instance ?O Human) (instance ?O LandVehicle)))))) |
Mid-level-ontology.kif 19413-19431 |
|
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4861-4866 | |
| (=> (instance ?SINKING LandSubsidence) (exists (?LAND) (and (instance ?LAND LandArea) (eventLocated ?SINKING ?LAND) (patient ?SINKING ?LAND)))) |
Geography.kif 6841-6847 | |
| (=> (instance ?WAY LandTransitway) (hasPurpose ?WAY (exists (?MOVE ?LAND) (and (instance ?MOVE Translocation) (path ?MOVE ?WAY) (eventLocated ?MOVE ?LAND) (instance ?LAND LandArea))))) |
Merge.kif 14427-14435 | |
| (=> (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 4401-4412 | |
| (=> (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 28004-28022 |
|
|
|