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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geographicSubregion

Sigma KEE - geographicSubregion
geographicSubregion

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


(documentation geographicSubregion ChineseLanguage "(geographicSubregion ?PART ?WHOLE)的 意思是 GeographicArea ?PART 是 GeographicArea ?WHOLE 的一部分。") Merge.kif 14052-14053
(documentation geographicSubregion EnglishLanguage "(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE.") Merge.kif 14049-14051
(domain geographicSubregion 1 GeographicArea) Merge.kif 14047-14047 geographicSubregion 的 1 数量 是 地理区域instance
(domain geographicSubregion 2 GeographicArea) Merge.kif 14048-14048 geographicSubregion 的 2 数量 是 地理区域instance
(instance geographicSubregion AsymmetricRelation) Merge.kif 14044-14044 geographicSubregion非对称关系instance
(instance geographicSubregion BinaryPredicate) Merge.kif 14042-14042 geographicSubregion二元谓语instance
(instance geographicSubregion TransitiveRelation) Merge.kif 14043-14043 geographicSubregion传递关系instance
(subrelation geographicSubregion located) Merge.kif 14046-14046 geographicSubregion位于subrelation
(subrelation geographicSubregion properPart) Merge.kif 14045-14045 geographicSubregion真正的部分subrelation

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


(format EnglishLanguage geographicSubregion "%1 is %n a geographic subregion of %2") domainEnglishFormat.kif 282-282
(subrelation geopoliticalSubdivision geographicSubregion) Merge.kif 14094-14094 地缘政治分区geographicSubregionsubrelation
(termFormat EnglishLanguage geographicSubregion "geographic subregion") domainEnglishFormat.kif 4717-4717 termFormat EnglishLanguage, geographicSubregion and "geographic subregion"

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1902-1913
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (elevation
            (ElevationLowPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (lessThan ?ELEV2 ?ELEV1)))))
Geography.kif 1881-1892
(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 349-357
(=>
    (and
        (instance ?SYSTEM InlandWaterSystem)
        (instance ?WATER1 WaterArea)
        (instance ?WATER2 WaterArea)
        (not
            (equal ?WATER1 ?WATER2))
        (not
            (connected ?WATER1 ?WATER2))
        (geographicSubregion ?WATER1 ?SYSTEM)
        (geographicSubregion ?WATER2 ?SYSTEM))
    (exists (?WATER3)
        (and
            (instance ?WATER3 WaterArea)
            (not
                (equal ?WATER3 ?WATER1))
            (not
                (equal ?WATER3 ?WATER1))
            (part ?WATER3 ?SYSTEM)
            (connects ?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5044-5059
(=>
    (and
        (locatedAtTime ?OBJ ?TIME ?PLACE)
        (geographicSubregion ?PLACE ?REGION))
    (locatedAtTime ?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 21296-21300
(=>
    (and
        (naturalHazardTypeInArea ?AREA ?TYPE)
        (geographicSubregion ?AREA ?COUNTRY)
        (instance ?COUNTRY Nation))
    (naturalHazardTypeInArea ?NATION ?TYPE))
Geography.kif 2199-2204
(=>
    (and
        (partlyLocated ?PLACE ?SUBAREA)
        (instance ?SUBAREA GeographicArea)
        (geographicSubregion ?SUBAREA ?AREA))
    (partlyLocated ?PLACE ?AREA))
Geography.kif 504-509
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 22516-22521
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 22523-22530
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22477-22482
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 22484-22489
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?CITY)
        (instance ?CITY City))
    (postCity ?PLACE ?CITY))
Mid-level-ontology.kif 22591-22596
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22598-22603

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


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2037-2047
(=>
    (and
        (holdsDuring ?T1
            (and
                (attribute ?PERSON DislocatedCivilian)
                (inhabits ?PERSON ?RESIDENCE)
                (located ?RESIDENCE ?PLACE)))
        (instance ?PLACE GeographicArea)
        (instance ?T1 TimeInterval))
    (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES)
        (and
            (instance ?T0 TimeInterval)
            (earlier ?T0 ?T1)
            (instance ?PRIOR-RES Object)
            (instance ?PRIOR-PLACE GeopoliticalArea)
            (located ?PRIOR-RES ?PRIOR-PLACE)
            (not
                (equal ?PLACE ?PRIOR-PLACE))
            (not
                (equal ?RESIDENCE ?PRIOR-RES))
            (not
                (geographicSubregion ?PLACE ?PRIOR-PLACE))
            (not
                (geographicSubregion ?PRIOR-PLACE ?PLACE))
            (holdsDuring ?T0
                (inhabits ?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1902-1913
(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (elevation
            (ElevationLowPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (lessThan ?ELEV2 ?ELEV1)))))
Geography.kif 1881-1892
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (geographicSubregion
        (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))
Geography.kif 490-495
(=>
    (and
        (instance ?EV Evacuation)
        (origin ?EV ?OR)
        (agent ?EV ?A))
    (exists (?P)
        (and
            (instance ?P Process)
            (geographicSubregion ?OR
                (WhereFn ?P
                    (BeginFn
                        (WhenFn ?EV))))
            (causes ?P ?EV)
            (believes ?A
                (attribute ?P Dangerous)))))
MilitaryProcesses.kif 2483-2497
(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))
Geography.kif 342-346
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?IRRLAND)
        (and
            (instance ?IRRLAND IrrigatedLand)
            (geographicSubregion ?IRRLAND ?REGION)
            (measure ?PERMCROP
                (MeasureFn ?AMOUNT ?UNIT)))))
Geography.kif 2176-2184
(=>
    (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 2127-2139
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?PERMCROP)
        (and
            (instance ?PERMCROP PermanentCropLand)
            (geographicSubregion ?PERMCROP ?REGION)
            (measure ?PERMCROP
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2085-2095
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3361-3363
(=>
    (instance ?AREA Hemisphere)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3314-3316
(=>
    (instance ?AREA PostcodeArea)
    (exists (?GEO)
        (geographicSubregion ?AREA ?GEO)))
Mid-level-ontology.kif 22569-22572
(=>
    (instance ?PLACE Neighborhood)
    (exists (?AREA)
        (geographicSubregion ?PLACE ?AREA)))
Mid-level-ontology.kif 22457-22460
(=>
    (instance ?PORT DeepDraftPort)
    (exists (?HARBOR)
        (and
            (instance ?HARBOR DeepDraftHarbor)
            (geographicSubregion ?HARBOR ?PORT))))
Transportation.kif 862-867
(=>
    (instance ?STORM TropicalCyclone)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (eventLocated ?STORM ?PLACE))))
Weather.kif 395-401
(=>
    (instance ?SYSTEM InlandWaterSystem)
    (exists (?BODY1 ?BODY2)
        (and
            (instance ?BODY1 BodyOfWater)
            (instance ?BODY2 BodyOfWater)
            (not
                (equal ?BODY1 ?BODY2))
            (geographicSubregion ?BODY1 ?SYSTEM)
            (geographicSubregion ?BODY2 ?SYSTEM))))
Geography.kif 5012-5020

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


(geographicSubregion AdanaTurkey Turkey) CountriesAndRegions.kif 2495-2495 geographicSubregion AdanaTurkey and Turkey
(geographicSubregion AddisAbabaEthiopia Ethiopia) CountriesAndRegions.kif 2497-2497 geographicSubregion AddisAbabaEthiopia and Ethiopia
(geographicSubregion AdenYemen Yemen) CountriesAndRegions.kif 2499-2499 geographicSubregion AdenYemen and Yemen
(geographicSubregion AdoraWestBank WestBank) CountriesAndRegions.kif 2501-2501 geographicSubregion AdoraWestBank and WestBank
(geographicSubregion Afghanistan SouthernAsia) CountriesAndRegions.kif 567-567 geographicSubregion Afghanistan and SouthernAsia
(geographicSubregion Africa EasternHemisphere) Geography.kif 3371-3371 geographicSubregion Africa and EasternHemisphere
(geographicSubregion AfulaIsrael Israel) CountriesAndRegions.kif 2503-2503 geographicSubregion AfulaIsrael and Israel
(geographicSubregion AgriTurkey Turkey) CountriesAndRegions.kif 2505-2505 geographicSubregion AgriTurkey and Turkey
(geographicSubregion AinDeflaAlgeria Algeria) CountriesAndRegions.kif 2507-2507 geographicSubregion AinDeflaAlgeria and Algeria
(geographicSubregion AinElHajarAlgeria Algeria) CountriesAndRegions.kif 2509-2509 geographicSubregion AinElHajarAlgeria and Algeria
(geographicSubregion AjaccioFrance France) CountriesAndRegions.kif 2511-2511 geographicSubregion AjaccioFrance and France
(geographicSubregion AlBalamandLebanon Lebanon) CountriesAndRegions.kif 2513-2513 geographicSubregion AlBalamandLebanon and Lebanon
(geographicSubregion Albania SoutheasternEurope) CountriesAndRegions.kif 370-370 geographicSubregion Albania and SoutheasternEurope
(geographicSubregion AleiSinaiGazaStrip GazaStrip) CountriesAndRegions.kif 2515-2515 geographicSubregion AleiSinaiGazaStrip and GazaStrip
(geographicSubregion AleiZahavWestBank WestBank) CountriesAndRegions.kif 2517-2517 geographicSubregion AleiZahavWestBank and WestBank
(geographicSubregion AleyLebanon Lebanon) CountriesAndRegions.kif 2519-2519 geographicSubregion AleyLebanon and Lebanon
(geographicSubregion Algeria NorthernAfrica) CountriesAndRegions.kif 116-116 geographicSubregion Algeria and NorthernAfrica
(geographicSubregion AlgiersAlgeria Algeria) CountriesAndRegions.kif 2521-2521 geographicSubregion AlgiersAlgeria and Algeria
(geographicSubregion AlkhanYurtRussia Russia) CountriesAndRegions.kif 2523-2523 geographicSubregion AlkhanYurtRussia and Russia
(geographicSubregion AlonMorehWestBank WestBank) CountriesAndRegions.kif 2525-2525 geographicSubregion AlonMorehWestBank and WestBank
(geographicSubregion AmbonIndonesia Indonesia) CountriesAndRegions.kif 2527-2527 geographicSubregion AmbonIndonesia and Indonesia
(geographicSubregion AmericanSamoa Oceania) CountriesAndRegions.kif 659-659 geographicSubregion AmericanSamoa and Oceania
(geographicSubregion AmmanJordan Jordan) CountriesAndRegions.kif 2529-2529 geographicSubregion AmmanJordan and Jordan
(geographicSubregion AnNuwaydiratBahrain Bahrain) CountriesAndRegions.kif 2531-2531 geographicSubregion AnNuwaydiratBahrain and Bahrain
(geographicSubregion AndeanSpain Spain) CountriesAndRegions.kif 2533-2533 geographicSubregion AndeanSpain and Spain

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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