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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - geographicSubregion
geographicSubregion

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


s__documentation(s__geographicSubregion__m,s__ChineseLanguage,'"(geographicSubregion ?PART ?WHOLE)的 意思是 GeographicArea ?PART 是 GeographicArea ?WHOLE 的一部分。"')

chinese_format.kif 1438-1439
s__documentation(s__geographicSubregion__m,s__EnglishLanguage,'"(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE."')

Merge.kif 13001-13003
s__domain(s__geographicSubregion__m,n__1,s__GeographicArea)

Merge.kif 12999-12999 The number 1 argument of geographic subregion is an instance of geographic area
s__domain(s__geographicSubregion__m,n__2,s__GeographicArea)

Merge.kif 13000-13000 The number 2 argument of geographic subregion is an instance of geographic area
s__instance(s__geographicSubregion__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 12996-12996 geographic subregion is an instance of asymmetric relation
s__instance(s__geographicSubregion__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 12994-12994 geographic subregion is an instance of binary predicate
s__instance(s__geographicSubregion__m,s__TransitiveRelation)

s__instance(s__TransitiveRelation,s__SetOrClass)

Merge.kif 12995-12995 geographic subregion is an instance of transitive relation
s__subrelation(s__geographicSubregion__m,s__located__m)

Merge.kif 12998-12998 geographic subregion is a subrelation of located
s__subrelation(s__geographicSubregion__m,s__properPart__m)

Merge.kif 12997-12997 geographic subregion is a subrelation of proper part

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


s__format(s__ChineseLanguage,s__geographicSubregion__m,'"%1 %n 是 %2 的 geographic 次要地区"')

domainEnglishFormat.kif 1097-1097
s__format(s__ChineseTraditionalLanguage,s__geographicSubregion__m,'"%1 %n 是 %2 的 geographic 次要地區"')

domainEnglishFormat.kif 1096-1096
s__format(s__EnglishLanguage,s__geographicSubregion__m,'"%1 is %n a geographic subregion of %2"')

domainEnglishFormat.kif 1095-1095
s__subrelation(s__geopoliticalSubdivision__m,s__geographicSubregion__m)

Merge.kif 13041-13041 geopolitical subdivision is a subrelation of geographic subregion
s__termFormat(s__ChineseLanguage,s__geographicSubregion__m,'"地理分区域"')

domainEnglishFormat.kif 25699-25699
s__termFormat(s__ChineseTraditionalLanguage,s__geographicSubregion__m,'"地理分區域"')

domainEnglishFormat.kif 25698-25698
s__termFormat(s__EnglishLanguage,s__geographicSubregion__m,'"geographic subregion"')

domainEnglishFormat.kif 25697-25697

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


( ! [V__AREA,V__ELEV1] :
   (s__instance(V__ELEV1,s__LengthMeasure) =>
     (s__instance(V__AREA,s__GeographicArea) &
       s__geographicSubregion(s__ElevationHighPointFn(V__AREA)
    ,V__AREA)
   &
   s__elevation(s__ElevationHighPointFn(V__AREA)
,V__ELEV1))
=>
~(( ? [V__OTHER, V__ELEV2] :
((s__instance(V__OTHER,s__GeographicArea) &
     s__instance(V__ELEV2,s__LengthMeasure) &
     (s__geographicSubregion(V__OTHER,V__AREA)
     &
     ~((V__OTHER = s__ElevationHighPointFn(V__AREA)))
   &
   s__elevation(V__OTHER,V__ELEV2)
&
s__greaterThan(V__ELEV2,V__ELEV1))))))
)
)

Geography.kif 1914-1925
( ! [V__AREA,V__ELEV1] :
   (s__instance(V__ELEV1,s__LengthMeasure) =>
     (s__instance(V__AREA,s__GeographicArea) &
       s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
    ,V__AREA)
   &
   s__elevation(s__ElevationLowPointFn(V__AREA)
,V__ELEV1))
=>
~(( ? [V__OTHER, V__ELEV2] :
((s__instance(V__OTHER,s__GeographicArea) &
     s__instance(V__ELEV2,s__LengthMeasure) &
     (s__geographicSubregion(V__OTHER,V__AREA)
     &
     ~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
   &
   s__elevation(V__OTHER,V__ELEV2)
&
s__lessThan(V__ELEV2,V__ELEV1))))))
)
)

Geography.kif 1893-1904
No TPTP formula. May not be expressible in strict first order. Media.kif 349-357
( ! [V__WATER1,V__WATER2,V__SYSTEM] :
   ((s__instance(V__SYSTEM,s__InlandWaterSystem) &
       s__instance(V__WATER1,s__WaterArea) &
       s__instance(V__WATER2,s__WaterArea) &
       ~((V__WATER1 = V__WATER2))
       &
       ~(s__connected(V__WATER1,V__WATER2))
     &
     s__geographicSubregion(V__WATER1,V__SYSTEM)
   &
   s__geographicSubregion(V__WATER2,V__SYSTEM))
=>
( ? [V__WATER3] :
((s__instance(V__WATER3,s__WaterArea) &
     ~((V__WATER3 = V__WATER1))
     &
     ~((V__WATER3 = V__WATER1))
     &
     s__part(V__WATER3,V__SYSTEM)
   &
   s__connects(V__WATER3,V__WATER1,V__WATER2))))
)
)

Geography.kif 5058-5073
( ! [V__REGION,V__TIME,V__PLACE,V__OBJ] :
   ((s__instance(V__REGION,s__GeographicArea) &
       s__instance(V__TIME,s__TimePosition) &
       s__instance(V__PLACE,s__GeographicArea) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__locatedAtTime(V__OBJ,V__TIME,V__PLACE)
     &
     s__geographicSubregion(V__PLACE,V__REGION))
=>
s__locatedAtTime(V__OBJ,V__TIME,V__REGION)
)
)

Mid-level-ontology.kif 21309-21313
( ! [V__TYPE,V__AREA,V__COUNTRY] :
   ((s__subclass(V__TYPE,s__Physical) &
       s__instance(V__AREA,s__GeographicArea))
     =>
     (s__naturalHazardTypeInArea(V__AREA,V__TYPE)
     &
     s__geographicSubregion(V__AREA,V__COUNTRY)
   &
   s__instance(V__COUNTRY,s__Nation))
=>
s__naturalHazardTypeInArea(V__COUNTRY,V__TYPE)
)
)

Geography.kif 2211-2216
( ! [V__SUBAREA,V__PLACE,V__AREA] :
   ((s__instance(V__PLACE,s__Physical) &
       s__instance(V__AREA,s__GeographicArea))
     =>
     (s__partlyLocated(V__PLACE,V__SUBAREA)
     &
     s__instance(V__SUBAREA,s__GeographicArea) &
     s__geographicSubregion(V__SUBAREA,V__AREA))
=>
s__partlyLocated(V__PLACE,V__AREA)
)
)

Geography.kif 507-512
( ! [V__PLACE,V__AREA,V__CITY] :
   ((s__instance(V__PLACE,s__PostalPlace) &
       s__instance(V__CITY,s__City))
     =>
     (s__postCity(V__PLACE,V__CITY)
     &
     s__geographicSubregion(V__CITY,V__AREA)
   &
   s__instance(V__AREA,s__StateOrProvince))
=>
s__postDistrict(V__PLACE,V__AREA)
)
)

Mid-level-ontology.kif 22529-22534
( ! [V__PLACE,V__AREA,V__CITY] :
   ((s__instance(V__PLACE,s__PostalPlace) &
       s__instance(V__CITY,s__City))
     =>
     (s__postCity(V__PLACE,V__CITY)
     &
     s__geographicSubregion(V__CITY,V__AREA)
   &
   (s__instance(V__AREA,s__Nation) |
     s__instance(V__AREA,s__DependencyOrSpecialSovereigntyArea)))
=>
s__postCountry(V__PLACE,V__AREA)
)
)

Mid-level-ontology.kif 22536-22543
( ! [V__PLACE,V__CITY,V__NEIGHBORHOOD] :
   ((s__instance(V__PLACE,s__PostalPlace) &
       s__instance(V__NEIGHBORHOOD,s__Neighborhood))
     =>
     (s__postNeighborhood(V__PLACE,V__NEIGHBORHOOD)
     &
     s__geographicSubregion(V__NEIGHBORHOOD,V__CITY)
   &
   s__instance(V__CITY,s__City))
=>
s__postCity(V__PLACE,V__CITY)
)
)

Mid-level-ontology.kif 22490-22495
( ! [V__PLACE,V__STATE,V__NEIGHBORHOOD] :
   ((s__instance(V__PLACE,s__PostalPlace) &
       s__instance(V__NEIGHBORHOOD,s__Neighborhood))
     =>
     (s__postNeighborhood(V__PLACE,V__NEIGHBORHOOD)
     &
     s__geographicSubregion(V__NEIGHBORHOOD,V__STATE)
   &
   s__instance(V__STATE,s__StateOrProvince))
=>
s__postDistrict(V__PLACE,V__STATE)
)
)

Mid-level-ontology.kif 22497-22502
( ! [V__PLACE,V__AREA,V__CITY] :
   ((s__instance(V__PLACE,s__PostalPlace) &
       s__instance(V__AREA,s__PostcodeArea))
     =>
     (s__postPostcodeArea(V__PLACE,V__AREA)
     &
     s__geographicSubregion(V__AREA,V__CITY)
   &
   s__instance(V__CITY,s__City))
=>
s__postCity(V__PLACE,V__CITY)
)
)

Mid-level-ontology.kif 22604-22609
( ! [V__PLACE,V__AREA,V__GEO] :
   ((s__instance(V__PLACE,s__PostalPlace) &
       s__instance(V__AREA,s__PostcodeArea))
     =>
     (s__postPostcodeArea(V__PLACE,V__AREA)
     &
     s__geographicSubregion(V__AREA,V__GEO)
   &
   s__instance(V__GEO,s__StateOrProvince))
=>
s__postDistrict(V__PLACE,V__GEO)
)
)

Mid-level-ontology.kif 22611-22616

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


( ! [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__ConstantQuantity))
     =>
     (s__arableLandArea(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__ARABLE] :
((s__instance(V__ARABLE,s__ArableLand) &
   s__geographicSubregion(V__ARABLE,V__REGION)
&
s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))
)
)

Geography.kif 2049-2059
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
( ! [V__AREA,V__ELEV1] :
   (s__instance(V__ELEV1,s__LengthMeasure) =>
     (s__instance(V__AREA,s__GeographicArea) &
       s__geographicSubregion(s__ElevationHighPointFn(V__AREA)
    ,V__AREA)
   &
   s__elevation(s__ElevationHighPointFn(V__AREA)
,V__ELEV1))
=>
~(( ? [V__OTHER, V__ELEV2] :
((s__instance(V__OTHER,s__GeographicArea) &
     s__instance(V__ELEV2,s__LengthMeasure) &
     (s__geographicSubregion(V__OTHER,V__AREA)
     &
     ~((V__OTHER = s__ElevationHighPointFn(V__AREA)))
   &
   s__elevation(V__OTHER,V__ELEV2)
&
s__greaterThan(V__ELEV2,V__ELEV1))))))
)
)

Geography.kif 1914-1925
( ! [V__AREA,V__ELEV1] :
   (s__instance(V__ELEV1,s__LengthMeasure) =>
     (s__instance(V__AREA,s__GeographicArea) &
       s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
    ,V__AREA)
   &
   s__elevation(s__ElevationLowPointFn(V__AREA)
,V__ELEV1))
=>
~(( ? [V__OTHER, V__ELEV2] :
((s__instance(V__OTHER,s__GeographicArea) &
     s__instance(V__ELEV2,s__LengthMeasure) &
     (s__geographicSubregion(V__OTHER,V__AREA)
     &
     ~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
   &
   s__elevation(V__OTHER,V__ELEV2)
&
s__lessThan(V__ELEV2,V__ELEV1))))))
)
)

Geography.kif 1893-1904
( ! [V__DIRECTION,V__AREA] :
   ((s__instance(V__DIRECTION,s__DirectionalAttribute) &
       s__instance(V__AREA,s__GeographicArea) &
       s__instance(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
    ,s__GeographicArea))
   =>
   s__geographicSubregion(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
,V__AREA)
)
)

Geography.kif 493-498
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
( ! [V__REGION] :
   ((s__instance(V__REGION,s__GeographicArea) &
       s__instance(s__GeographicCenterFn(V__REGION)
    ,s__GeographicArea))
   =>
   s__geographicSubregion(s__GeographicCenterFn(V__REGION)
,V__REGION)
)
)

Geography.kif 342-346
( ! [V__REGION,V__AMOUNT,V__UNIT] :
   ((s__instance(V__REGION,s__GeographicArea) &
       s__instance(V__AMOUNT,s__RealNumber))
     =>
     (s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT))
   &
   s__instance(V__UNIT,s__UnitOfArea))
=>
( ? [V__IRRLAND] :
   ((s__instance(V__IRRLAND,s__IrrigatedLand) &
       s__geographicSubregion(V__IRRLAND,V__REGION)
     &
     s__measure(V__IRRLAND,s__MeasureFn(V__AMOUNT,V__UNIT)))))
)
)

Geography.kif 2188-2196
( ! [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__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 2139-2151
( ! [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__ConstantQuantity))
     =>
     (s__permanentCropLandArea(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__PERMCROP] :
((s__instance(V__PERMCROP,s__PermanentCropLand) &
   s__geographicSubregion(V__PERMCROP,V__REGION)
&
s__measure(V__PERMCROP,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))
)
)

Geography.kif 2097-2107
( ! [V__AREA] :
   (s__instance(V__AREA,s__Continent) =>
     s__geographicSubregion(V__AREA,s__PlanetEarth) )
   )

Geography.kif 3374-3376
( ! [V__AREA] :
   (s__instance(V__AREA,s__Hemisphere) =>
     s__geographicSubregion(V__AREA,s__PlanetEarth) )
   )

Geography.kif 3327-3329
( ! [V__AREA] :
   (s__instance(V__AREA,s__PostcodeArea) =>
     ( ? [V__GEO] :
       ((s__instance(V__GEO,s__GeographicArea) &
           s__geographicSubregion(V__AREA,V__GEO))))
   )
)

Mid-level-ontology.kif 22582-22585
( ! [V__PLACE] :
   (s__instance(V__PLACE,s__Neighborhood) =>
     ( ? [V__AREA] :
       ((s__instance(V__AREA,s__GeographicArea) &
           s__geographicSubregion(V__PLACE,V__AREA))))
   )
)

Mid-level-ontology.kif 22470-22473
( ! [V__PORT] :
   (s__instance(V__PORT,s__DeepDraftPort) =>
     ( ? [V__HARBOR] :
       ((s__instance(V__HARBOR,s__DeepDraftHarbor) &
           s__geographicSubregion(V__HARBOR,V__PORT))))
   )
)

Transportation.kif 877-882
( ! [V__STORM] :
   (s__instance(V__STORM,s__TropicalCyclone) =>
     ( ? [V__PLACE] :
       ((s__instance(V__PLACE,s__GeographicArea) &
           s__geographicSubregion(V__PLACE,s__Tropics) &
           s__eventLocated(V__STORM,V__PLACE))))
   )
)

Weather.kif 394-400
( ! [V__SYSTEM] :
   (s__instance(V__SYSTEM,s__InlandWaterSystem) =>
     ( ? [V__BODY1, V__BODY2] :
       ((s__instance(V__BODY1,s__BodyOfWater) &
           s__instance(V__BODY2,s__BodyOfWater) &
           ~((V__BODY1 = V__BODY2))
           &
           s__geographicSubregion(V__BODY1,V__SYSTEM)
         &
         s__geographicSubregion(V__BODY2,V__SYSTEM))))
)
)

Geography.kif 5026-5034

appearance as argument number 0
-------------------------


s__geographicSubregion(s__AdanaTurkey,s__Turkey)

CountriesAndRegions.kif 2495-2495 Adana turkey is a geographic subregion of turkey
s__geographicSubregion(s__AddisAbabaEthiopia,s__Ethiopia)

CountriesAndRegions.kif 2497-2497 Addis ababa ethiopia is a geographic subregion of ethiopia
s__geographicSubregion(s__AdenYemen,s__Yemen)

CountriesAndRegions.kif 2499-2499 Aden yemen is a geographic subregion of yemen
s__geographicSubregion(s__AdoraWestBank,s__WestBank)

CountriesAndRegions.kif 2501-2501 Adora west bank is a geographic subregion of west bank
s__geographicSubregion(s__Afghanistan,s__SouthernAsia)

CountriesAndRegions.kif 567-567 Afghanistan is a geographic subregion of southern asia
s__geographicSubregion(s__Africa,s__EasternHemisphere)

Geography.kif 3384-3384 Africa is a geographic subregion of eastern hemisphere
s__geographicSubregion(s__AfulaIsrael,s__Israel)

CountriesAndRegions.kif 2503-2503 Afula israel is a geographic subregion of israel
s__geographicSubregion(s__AgriTurkey,s__Turkey)

CountriesAndRegions.kif 2505-2505 Agri turkey is a geographic subregion of turkey
s__geographicSubregion(s__AinDeflaAlgeria,s__Algeria)

CountriesAndRegions.kif 2507-2507 Ain defla algeria is a geographic subregion of algeria
s__geographicSubregion(s__AinElHajarAlgeria,s__Algeria)

CountriesAndRegions.kif 2509-2509 Ain el hajar algeria is a geographic subregion of algeria
s__geographicSubregion(s__AjaccioFrance,s__France)

CountriesAndRegions.kif 2511-2511 Ajaccio france is a geographic subregion of france
s__geographicSubregion(s__AlBalamandLebanon,s__Lebanon)

CountriesAndRegions.kif 2513-2513 Al balamand lebanon is a geographic subregion of lebanon
s__geographicSubregion(s__Albania,s__SoutheasternEurope)

CountriesAndRegions.kif 370-370 Albania is a geographic subregion of southeastern europe
s__geographicSubregion(s__AleiSinaiGazaStrip,s__GazaStrip)

CountriesAndRegions.kif 2515-2515 Alei sinai gaza strip is a geographic subregion of gaza strip
s__geographicSubregion(s__AleiZahavWestBank,s__WestBank)

CountriesAndRegions.kif 2517-2517 Alei zahav west bank is a geographic subregion of west bank
s__geographicSubregion(s__AleyLebanon,s__Lebanon)

CountriesAndRegions.kif 2519-2519 Aley lebanon is a geographic subregion of lebanon
s__geographicSubregion(s__Algeria,s__NorthernAfrica)

CountriesAndRegions.kif 116-116 Algeria is a geographic subregion of northern africa
s__geographicSubregion(s__AlgiersAlgeria,s__Algeria)

CountriesAndRegions.kif 2521-2521 Algiers algeria is a geographic subregion of algeria
s__geographicSubregion(s__AlkhanYurtRussia,s__Russia)

CountriesAndRegions.kif 2523-2523 Alkhan yurt russia is a geographic subregion of russia
s__geographicSubregion(s__AlonMorehWestBank,s__WestBank)

CountriesAndRegions.kif 2525-2525 Alon moreh west bank is a geographic subregion of west bank
s__geographicSubregion(s__AmbonIndonesia,s__Indonesia)

CountriesAndRegions.kif 2527-2527 Ambon indonesia is a geographic subregion of indonesia
s__geographicSubregion(s__AmericanSamoa,s__Oceania)

CountriesAndRegions.kif 659-659 American samoa is a geographic subregion of oceania
s__geographicSubregion(s__AmmanJordan,s__Jordan)

CountriesAndRegions.kif 2529-2529 Amman jordan is a geographic subregion of jordan
s__geographicSubregion(s__AnNuwaydiratBahrain,s__Bahrain)

CountriesAndRegions.kif 2531-2531 An nuwaydirat bahrain is a geographic subregion of bahrain
s__geographicSubregion(s__AndeanSpain,s__Spain)

CountriesAndRegions.kif 2533-2533 Andean spain is a geographic subregion of spain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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