Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  StateOrProvince

 Sigma KEE - StateOrProvince
StateOrProvince(state or province)Abkhaz, Abkhazia, Adzhar, Adzharia, Alberta, Andhra_Pradesh, Anjou, Artois, Assamese, Australian_state, Bavaria, Bavarian, Bihar, Bourgogne, Breiz, Bretagne, British_Columbia, Brittany, Buganda, Burgundy, Californian, Campeche, Canadian_Maritime_Provinces, Canadian_province, Cape_Colony, Cape_Province, Cape_of_Good_Hope, Cape_of_Good_Hope_Province, Chihuahua, Chosen, Coahuila, Eritrean, Franche-Comte, Free_State, Friesland, Galwegian, Gansu, Gansu_province, Georgian, Goa, Guangdong, Guangdong_province, Hebei, Hebei_province, Hopeh, Hopei, Hunan, Hunan_province, Inner_Mongolia, Kansu...

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


(subclass StateOrProvince GeopoliticalArea) Merge.kif 14544-14544 State or province is a subclass of geopolitical area
(subclass StateOrProvince LandArea) Merge.kif 14545-14545 State or province is a subclass of land area
(documentation StateOrProvince EnglishLanguage "Administrative subdivisions of a Nation that are broader than any other political subdivisions that may exist. This Class includes the states of the United States, as well as the provinces of Canada and European countries.") Merge.kif 14546-14549 State or province is a subclass of land area

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


(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21 American state is a subclass of state or province
(subclass CanadianProvinces StateOrProvince) Geography.kif 1510-1510 Canadian provinces is a subclass of state or province
(termFormat EnglishLanguage StateOrProvince "state or province") english_format.kif 1129-1129 Canadian provinces is a subclass of state or province

appearance as argument number 3
-------------------------


(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 27023-27023 The number 2 argument of post district is an instance of state or province

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


(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14551-14556 If X is an instance of state or province, then there exists Y such that Y is an instance of nation and X is a proper part of Y
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 9686-9688 X is an instance of state or province if and only if the government of X is an instance of state government
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 26972-26977 If X is in Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 27004-27009 If X is in Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z
(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 27029-27034 X is located at Y, X is an instance of postal place, Y is an instance of state or province if, and only if X is in Y
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 27086-27091 If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8602-8606 If X is an instance of all the instances of state or province in Y and Y is an instance of nation, then Y is a primary geopolitical subdivision of X

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


(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14572-14577 If X is an instance of county, then there exists Y such that Y is an instance of state or province and X is a proper part of Y
(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1593-1595 If X is the head of government governor for Y, then X is an instance of state or province