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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandArea
LandArea(land area)Abila, Abruzzi, Abruzzi_e_Molise, Abyla, Acadia, Acores, Acre, Aegadean_Islands, Aegadean_Isles, Aegates, Aegean, Afro-Asian, Akmola, Alpine, Alsace, Alsatia, Alsatian, America, American, Anatolia, Andean, Andorran, Apulia, Aquitaine, Aquitania, Arabia, Arabian, Arabian_Peninsula, Aragon, Arcadia, Ardennes, Areopagus, Armageddon, Asama, Asia_Minor, Assyria, Astana, Athos, Attica, Australasia, Austronesia, Auvergne, Azores, Babylonia, Bad_Lands, Badlands, Balkan_Peninsula, Balkans, Barbados, Barbary...

appearance as argument number 1
-------------------------


s__documentation(s__LandArea,s__ChineseLanguage,'"这是一处主要是坚实地面组成的地区,例如: Nation、山、 沙漠等等。注:LandArea 有可能包含相对小范围的 WaterArea。例如:澳大利亚是一处 LandArea,虽然它也 有各种各样的河流和湖泊。"')

chinese_format.kif 1453-1455
s__documentation(s__LandArea,s__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 13483-13486
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__GeographicArea,s__SetOrClass)

s__subclass(s__LandArea,s__GeographicArea)

Merge.kif 13482-13482 Land area is a subclass of geographic area

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


s__instance(s__LandArea,s__SetOrClass)

s__instance(s__AmericanSamoa,s__LandArea)

CountriesAndRegions.kif 639-639 American samoa is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Anguilla,s__LandArea)

CountriesAndRegions.kif 416-416 Anguilla is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__AntarcticArea,s__LandArea)

Geography.kif 3505-3505 Antarctic area is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Aruba,s__LandArea)

CountriesAndRegions.kif 417-417 Aruba is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__AshmoreAndCartierIslands,s__LandArea)

CountriesAndRegions.kif 592-592 Ashmore and cartier islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__BakerIsland,s__LandArea)

CountriesAndRegions.kif 640-640 Baker island is an instance of land area
s__instance(s__Bermuda,s__LandArea)

s__instance(s__LandArea,s__SetOrClass)

CountriesAndRegions.kif 400-400 Bermuda is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__BritishIndianOceanTerritory,s__LandArea)

CountriesAndRegions.kif 565-565 British indian ocean territory is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__BritishVirginIslands,s__LandArea)

CountriesAndRegions.kif 418-418 British virgin islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__CaymanIslands,s__LandArea)

CountriesAndRegions.kif 419-419 Cayman islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__ChristmasIsland,s__LandArea)

CountriesAndRegions.kif 593-593 Christmas island is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__ClippertonIsland,s__LandArea)

CountriesAndRegions.kif 469-469 Clipperton island is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__CocosKeelingIslands,s__LandArea)

CountriesAndRegions.kif 594-594 Cocos keeling islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__CookIslands,s__LandArea)

CountriesAndRegions.kif 641-641 Cook islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__CoralSeaIslands,s__LandArea)

CountriesAndRegions.kif 642-642 Coral sea islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__FalklandIslands,s__LandArea)

CountriesAndRegions.kif 492-492 Falkland islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__FaroeIslands,s__LandArea)

CountriesAndRegions.kif 311-311 Faroe islands is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__FrenchGuiana,s__LandArea)

CountriesAndRegions.kif 491-491 French guiana is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__FrenchPolynesia,s__LandArea)

CountriesAndRegions.kif 643-643 French polynesia is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__FrenchSouthernAndAntarcticLands,s__LandArea)

CountriesAndRegions.kif 587-587 French southern and antarctic lands is an instance of land area
s__instance(s__GazaStrip,s__LandArea)

s__instance(s__LandArea,s__SetOrClass)

CountriesAndRegions.kif 237-237 Gaza strip is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Gibraltar,s__LandArea)

CountriesAndRegions.kif 388-388 Gibraltar is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Greenland,s__LandArea)

CountriesAndRegions.kif 401-401 Greenland is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Guadeloupe,s__LandArea)

CountriesAndRegions.kif 420-420 Guadeloupe is an instance of land area
s__instance(s__LandArea,s__SetOrClass)

s__instance(s__Guernsey,s__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
-------------------------


s__domain(s__groundSubsurfaceType__m,n__1,s__LandArea)

Geography.kif 4123-4123 The number 1 argument of ground subsurface type is an instance of land area
s__domain(s__groundSurfaceType__m,n__1,s__LandArea)

Geography.kif 4116-4116 The number 1 argument of ground surface type is an instance of land area
s__domain(s__slopeGradient__m,n__1,s__LandArea)

Geography.kif 1645-1645 The number 1 argument of slope gradient is an instance of land area
s__domain(s__slopeGradientTowardsOrientation__m,n__1,s__LandArea)

Geography.kif 1658-1658 The number 1 argument of slope gradient towards orientation is an instance of land area
s__partition__3(s__GeographicArea,s__WaterArea,s__LandArea)

Merge.kif 13361-13361 Geographic area is exhaustively partitioned into water area and land area

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
No TPTP formula. May not be expressible in strict first order. Geography.kif 5493-5500
No TPTP formula. May not be expressible in strict first order. Geography.kif 5502-5507
No TPTP formula. May not be expressible in strict first order. Geography.kif 6309-6322
( ! [V__SOIL,V__AREA] :
   (((s__instance(V__SOIL,s__Soil) &
         s__attribute(V__SOIL,s__Red) &
         s__instance(V__AREA,s__LandArea) &
         s__component(V__SOIL,V__AREA))
     =>
     (s__attribute(V__AREA,s__FertileTerrain)))
   )
)

Geography.kif 1814-1820
( ! [V__SOIL,V__AREA] :
   (((s__instance(V__SOIL,s__Soil) &
         s__attribute(V__SOIL,s__Yellow) &
         s__instance(V__AREA,s__LandArea) &
         s__component(V__SOIL,V__AREA))
     =>
     (~(s__attribute(V__AREA,s__FertileTerrain))))
   )
)

Geography.kif 1806-1812
( ! [V__type1,V__type2,V__area] :
   (((s__subclass(V__type1,s__Substance) &
         s__instance(V__type1,s__Class) &
         s__subclass(V__type2,s__Substance) &
         s__instance(V__type2,s__Class))
       =>
       (((s__instance(V__area,s__LandArea) &
             s__groundSurfaceType(V__area,V__type1)
           &
           s__groundSubsurfaceType(V__area,V__type2))
       =>
       (( ? [V__above, V__below] :
           ((s__instance(V__above,s__Object) &
               s__instance(V__below,s__Object) &
               (s__instance(V__above,V__type1)
               &
               s__instance(V__below,V__type2)
             &
             s__orientation(V__above,V__below,s__Above)))))))))
)
)

Geography.kif 4126-4135
( ! [V__U,V__height1,V__area,V__basin,V__height2] :
   (((s__instance(V__height1,s__RealNumber) &
         s__instance(V__height2,s__RealNumber))
       =>
       (((s__instance(V__basin,s__Basin) &
             s__instance(V__area,s__LandArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__basin,s__MeasureFn(V__height1,V__U))
         &
         s__earthAltitude(V__area,s__MeasureFn(V__height2,V__U))
     &
     s__orientation(V__basin,V__area,s__Adjacent))
   =>
   (s__greaterThan(V__height2,V__height1)))))
)
)

Geography.kif 4085-4095
( ! [V__valley,V__U,V__height1,V__area,V__height2] :
   (((s__instance(V__height1,s__RealNumber) &
         s__instance(V__height2,s__RealNumber))
       =>
       (((s__instance(V__valley,s__Valley) &
             s__instance(V__area,s__LandArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__valley,s__MeasureFn(V__height1,V__U))
         &
         s__earthAltitude(V__area,s__MeasureFn(V__height2,V__U))
     &
     s__orientation(V__valley,V__area,s__Adjacent))
   =>
   (s__greaterThan(V__height2,V__height1)))))
)
)

Geography.kif 4069-4079
( ! [V__LAND1] :
   ((s__instance(V__LAND1,s__LandArea) =>
       (( ? [V__LAND2] :
           ((s__part(V__LAND1,V__LAND2)
             &
             (s__instance(V__LAND2,s__Continent) |
               s__instance(V__LAND2,s__Island)))))))
   )
)

Merge.kif 13488-13495

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


( ! [V__OBJECT,V__ATT] :
   ((s__instance(V__OBJECT,s__Object) =>
       (((s__instance(V__ATT,s__TerrainAttribute) &
             s__attribute(V__OBJECT,V__ATT))
         =>
         (s__instance(V__OBJECT,s__LandArea)))))
   )
)

Geography.kif 1713-1717
( ! [V__DUSTSTORM,V__WIND] :
   (((s__instance(V__DUSTSTORM,s__DustStorm) &
         s__instance(V__WIND,s__Wind) &
         s__subProcess(V__DUSTSTORM,V__WIND))
     =>
     (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] :
         ((s__instance(V__STRONG,s__RealNumber) &
             (s__instance(V__A1,s__LandArea) &
               s__eventLocated(V__WIND,V__A1)
             &
             s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed))
           &
           s__greaterThan(V__STRONG,n__30)
         &
         s__instance(V__TRANSLOCATE,s__Translocation) &
         s__subProcess(V__TRANSLOCATE,V__DUSTSTORM)
       &
       s__objectTransferred(V__TRANSLOCATE,V__PM)
     &
     s__objectTransferred(V__TRANSLOCATE,V__SAND)
   &
   s__instance(V__PM,s__ParticulateMatter) &
   s__instance(V__SAND,s__Sand) &
   s__instance(V__A2,s__LandArea) &
   s__destination(V__TRANSLOCATE,V__A2)
&
~(s__overlapsSpatially(V__A1,V__A2))))))))
)
)

Weather.kif 1273-1294
( ! [V__ISLE,V__AREA] :
   (((s__instance(V__ISLE,s__Island) &
         s__instance(V__AREA,s__GeographicArea) &
         s__meetsSpatially(V__ISLE,V__AREA))
     =>
     (~(s__instance(V__AREA,s__LandArea))))
   )
)

Merge.kif 13537-13543
( ! [V__Leftside,V__Rightside,V__Isthmus] :
   (((s__instance(V__Leftside,s__SelfConnectedObject) &
         s__instance(V__Rightside,s__SelfConnectedObject))
       =>
       (((s__instance(V__Isthmus,s__Isthmus) &
             s__side(V__Leftside,V__Isthmus)
           &
           s__side(V__Rightside,V__Isthmus)
         &
         ~((V__Leftside = V__Rightside)))
       =>
       (( ? [V__Region1, V__Region2, V__Water1, V__Water2] :
           ((s__instance(V__Region1,s__LandArea) &
               s__instance(V__Region2,s__LandArea) &
               s__between(V__Region1,V__Isthmus,V__Region2)
             &
             s__instance(V__Water1,s__WaterArea) &
             s__instance(V__Water2,s__WaterArea) &
             s__meetsSpatially(V__Leftside,V__Water1)
           &
           s__meetsSpatially(V__Rightside,V__Water2))))))))
)
)

Geography.kif 5605-5619
( ! [V__DEST,V__TC] :
   (((s__instance(V__TC,s__TropicalCyclone) &
         s__destination(V__TC,V__DEST)
       &
       s__instance(V__DEST,s__GeographicArea))
     =>
     (~(( ? [V__L, V__SL, V__X] :
           ((s__instance(V__X,s__RealNumber) &
               (s__instance(V__L,s__LandArea) &
                 s__instance(V__SL,s__Shoreline) &
                 s__located(V__DEST,V__L)
               &
               s__distance(V__L,V__SL,s__MeasureFn(V__X,s__Mile))
             &
             s__greaterThan(V__X,n__200))))))))
)
)

Weather.kif 693-706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19779-19808
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__otherLandUseArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__OTHER] :
       ((s__instance(V__OTHER,s__LandArea) &
           ~(s__instance(V__OTHER,s__ArableLand))
           &
           ~(s__instance(V__OTHER,s__PermanentCropLand))
           &
           s__geographicSubregion(V__OTHER,V__REGION)
         &
         s__measure(V__OTHER,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2160-2172
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Object) =>
       ((s__attribute(V__AREA,s__MountainousTerrain) =>
           (s__instance(V__AREA,s__LandArea)))))
     )
   )

Geography.kif 1764-1766
( ! [V__AREA] :
   ((s__instance(V__AREA,s__LandlockedArea) =>
       (( ? [V__LAND] :
           ((s__instance(V__LAND,s__LandArea) &
               s__meetsSpatially(V__AREA,V__LAND))))))
   )
)

Geography.kif 951-956
( ! [V__BALCONY] :
   ((s__instance(V__BALCONY,s__Balcony) =>
       (( ? [V__WALL, V__LANDAREA] :
           ((s__instance(V__WALL,s__Object) &
               (s__meetsSpatially(V__WALL,V__BALCONY)
               &
               s__instance(V__LANDAREA,s__LandArea) &
               s__located(V__WALL,V__LANDAREA)
             &
             s__orientation(V__BALCONY,V__LANDAREA,s__Above)))))))
)
)

Mid-level-ontology.kif 14201-14208
( ! [V__EXCLUSIVEWATERAREA] :
   ((s__instance(V__EXCLUSIVEWATERAREA,s__WaterOnlyArea) =>
       (~(( ? [V__LANDAREA] :
             ((s__instance(V__LANDAREA,s__LandArea) &
                 s__part(V__LANDAREA,V__EXCLUSIVEWATERAREA)))))))
   )
)

Geography.kif 602-608
( ! [V__Estate] :
   ((s__instance(V__Estate,s__RealEstate) =>
       ((s__instance(V__Estate,s__StationaryArtifact) |
           s__instance(V__Estate,s__LandArea) |
           ( ? [V__Artifact, V__Area] :
             ((s__instance(V__Artifact,s__StationaryArtifact) &
                 s__instance(V__Area,s__LandArea) &
                 (V__Estate = s__MereologicalSumFn(V__Artifact,V__Area))))))))
   )
)

FinancialOntology.kif 1313-1322
( ! [V__FOG] :
   ((s__instance(V__FOG,s__Fog) =>
       (( ? [V__LAND] :
           ((s__instance(V__LAND,s__LandArea) &
               s__meetsSpatially(V__FOG,V__LAND))))))
   )
)

Mid-level-ontology.kif 8460-8465
( ! [V__INLET] :
   ((s__instance(V__INLET,s__Inlet) =>
       (( ? [V__LAND] :
           ((s__instance(V__LAND,s__LandArea) &
               s__penetrates(V__INLET,V__LAND))))))
   )
)

Geography.kif 5009-5014
( ! [V__ISLAND] :
   ((s__instance(V__ISLAND,s__Island) =>
       (~(( ? [V__AREA, V__PART1, V__PART2] :
             ((s__instance(V__PART1,s__Object) &
                 s__instance(V__PART2,s__Object) &
                 (s__instance(V__AREA,s__LandArea) &
                   s__part(V__PART1,V__ISLAND)
                 &
                 s__part(V__PART2,V__AREA)
               &
               ~(s__part(V__ISLAND,V__AREA))
             &
             ~(s__part(V__AREA,V__ISLAND))
           &
           s__meetsSpatially(V__PART1,V__PART2))))))))
)
)

Merge.kif 13523-13535
( ! [V__LAND] :
   ((s__instance(V__LAND,s__LandTransportation) =>
       (( ? [V__CRAFT, V__AREA] :
           ((s__instance(V__CRAFT,s__LandVehicle) &
               s__instance(V__AREA,s__LandArea) &
               s__instrument(V__LAND,V__CRAFT)
             &
             s__located(V__CRAFT,V__AREA))))))
)
)

Mid-level-ontology.kif 16496-16503
( ! [V__LAND] :
   ((s__instance(V__LAND,s__LandingWaterLand) =>
       (( ? [V__REGION, V__WATERTRANS] :
           ((s__instance(V__REGION,s__LandArea) &
               s__destination(V__LAND,V__REGION)
             &
             s__subProcess(V__WATERTRANS,V__LAND)
           &
           s__instance(V__WATERTRANS,s__WaterTransportation))))))
)
)

MilitaryProcesses.kif 811-818
( ! [V__SEA] :
   ((s__instance(V__SEA,s__Sea) =>
       (( ? [V__LAND] :
           ((s__instance(V__LAND,s__LandArea) &
               s__meetsSpatially(V__LAND,V__SEA))))))
   )
)

Geography.kif 4580-4585
( ! [V__SINKING] :
   ((s__instance(V__SINKING,s__LandSubsidence) =>
       (( ? [V__LAND] :
           ((s__instance(V__LAND,s__LandArea) &
               s__eventLocated(V__SINKING,V__LAND)
             &
             s__patient(V__SINKING,V__LAND))))))
)
)

Geography.kif 6301-6307
( ! [V__X] :
   ((s__instance(V__X,s__Hammock) =>
       ((s__material(s__Fabric,V__X)
         &
         ( ? [V__POLE1, V__POLE2, V__GROUND] :
           ((s__instance(V__POLE1,s__Object) &
               s__instance(V__POLE2,s__Object) &
               (s__orientation(V__POLE1,V__POLE2,s__Near) &
                 s__connected(V__POLE1,V__X)
               &
               s__connected(V__POLE2,V__X)
             &
             s__instance(V__GROUND,s__LandArea) &
             s__located(V__X,V__GROUND)
           &
           s__orientation(V__X,V__GROUND,s__Above))))))))
)
)

Mid-level-ontology.kif 3887-3898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24792-24810


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