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 13411-13413
s__domain(s__geographicSubregion__m,n__1,s__GeographicArea)

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

Merge.kif 13410-13410 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 13406-13406 geographic subregion is an instance of asymmetric relation
s__instance(s__geographicSubregion__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

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

s__instance(s__TransitiveRelation,s__SetOrClass)

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

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

Merge.kif 13407-13407 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 13451-13451 geopolitical subdivision is a subrelation of geographic subregion
s__termFormat(s__ChineseLanguage,s__geographicSubregion__m,'"地理分区域"')

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

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

domainEnglishFormat.kif 25765-25765

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 1935-1946
( ! [V__U,V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__RealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
          ,V__AREA)
         &
         s__instance(V__U,s__UnitOfLength) &
         s__elevation(s__ElevationLowPointFn(V__AREA)
      ,s__MeasureFn(V__ELEV1,V__U)))
=>
(~(( ? [V__OTHER, V__ELEV2] :
       ((s__instance(V__OTHER,s__GeographicArea) &
           s__instance(V__ELEV2,s__RealNumber) &
           (s__geographicSubregion(V__OTHER,V__AREA)
           &
           ~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
         &
         s__elevation(V__OTHER,s__MeasureFn(V__ELEV2,V__U))
     &
     s__lessThan(V__ELEV2,V__ELEV1))))))))))
)
)

Geography.kif 1911-1925
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 5164-5179
( ! [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 22477-22481
( ! [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 2232-2237
( ! [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 23740-23745
( ! [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 23747-23754
( ! [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 23701-23706
( ! [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 23708-23713
( ! [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 23815-23820
( ! [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 23822-23827

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__Number) &
         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 2070-2080
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 1935-1946
( ! [V__U,V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__RealNumber) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
          ,V__AREA)
         &
         s__instance(V__U,s__UnitOfLength) &
         s__elevation(s__ElevationLowPointFn(V__AREA)
      ,s__MeasureFn(V__ELEV1,V__U)))
=>
(~(( ? [V__OTHER, V__ELEV2] :
       ((s__instance(V__OTHER,s__GeographicArea) &
           s__instance(V__ELEV2,s__RealNumber) &
           (s__geographicSubregion(V__OTHER,V__AREA)
           &
           ~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
         &
         s__elevation(V__OTHER,s__MeasureFn(V__ELEV2,V__U))
     &
     s__lessThan(V__ELEV2,V__ELEV1))))))))))
)
)

Geography.kif 1911-1925
( ! [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__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__CoastalAndGreatLakesFreightTransportation))
         =>
         (( ? [V__FREIGHT, V__SHIP, V__WATER] :
             ((s__subProcess(V__FREIGHT,V__X)
               &
               s__instance(V__FREIGHT,s__WaterTransportation) &
               s__instrument(V__FREIGHT,V__SHIP)
             &
             s__instance(V__SHIP,s__CargoShip) &
             s__eventLocated(V__FREIGHT,V__WATER)
           &
           s__instance(V__WATER,s__WaterArea) &
           s__geographicSubregion(V__WATER,s__UnitedStates))))))))
)
)

naics.kif 8191-8204
( ! [V__X,V__Y] :
   ((s__instance(V__Y,s__CognitiveAgent) =>
       (((s__instance(V__X,s__WaterTransportationService) &
             s__serviceProvider(V__X,V__Y)
           &
           s__attribute(V__Y,s__CoastalAndGreatLakesPassengerTransportation))
         =>
         (( ? [V__CRUISE, V__SHIP, V__WATER] :
             ((s__subProcess(V__CRUISE,V__X)
               &
               s__instance(V__CRUISE,s__WaterTransportation) &
               s__instrument(V__CRUISE,V__SHIP)
             &
             s__instance(V__SHIP,s__PassengerShip) &
             s__eventLocated(V__CRUISE,V__WATER)
           &
           s__instance(V__WATER,s__WaterArea) &
           s__geographicSubregion(V__WATER,s__UnitedStates) &
           ~(( ? [V__FERRY] :
               ((s__instance(V__FERRY,s__ShortSeaPassengerShip) &
                   (V__SHIP = V__FERRY))))))))))))
)
)

naics.kif 8214-8232
( ! [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 2209-2217
( ! [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__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__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 2118-2128
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Continent) =>
       (s__geographicSubregion(V__AREA,s__PlanetEarth)))
     )
   )

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

Geography.kif 3349-3351
( ! [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 23793-23796
( ! [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 23681-23684
( ! [V__PORT] :
   ((s__instance(V__PORT,s__DeepDraftPort) =>
       (( ? [V__HARBOR] :
           ((s__instance(V__HARBOR,s__DeepDraftHarbor) &
               s__geographicSubregion(V__HARBOR,V__PORT))))))
   )
)

Transportation.kif 888-893
( ! [V__STORM] :
   ((s__instance(V__STORM,s__TropicalCyclonicSystem) =>
       (( ? [V__PLACE] :
           ((s__instance(V__PLACE,s__GeographicArea) &
               s__geographicSubregion(V__PLACE,s__Tropics) &
               s__origin(V__STORM,V__PLACE))))))
   )
)

Weather.kif 619-625
( ! [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 5132-5140

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


s__geographicSubregion(s__AdanaTurkey,s__Turkey)

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

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

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

CountriesAndRegions.kif 2500-2500 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 3406-3406 Africa is a geographic subregion of eastern hemisphere
s__geographicSubregion(s__AfulaIsrael,s__Israel)

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

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

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

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

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

CountriesAndRegions.kif 2512-2512 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 2514-2514 Alei sinai gaza strip is a geographic subregion of gaza strip
s__geographicSubregion(s__AleiZahavWestBank,s__WestBank)

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

CountriesAndRegions.kif 2518-2518 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 2520-2520 Algiers algeria is a geographic subregion of algeria
s__geographicSubregion(s__AlkhanYurtRussia,s__Russia)

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

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

CountriesAndRegions.kif 2526-2526 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 2528-2528 Amman jordan is a geographic subregion of jordan
s__geographicSubregion(s__AnNuwaydiratBahrain,s__Bahrain)

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

CountriesAndRegions.kif 2532-2532 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 3.0 is open source software produced by Articulate Software and its partners