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


KB Term:  Term intersection
English Word: 

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 14405-14405 State or province is a subclass of geopolitical area
(subclass StateOrProvince LandArea) Merge.kif 14406-14406 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 14407-14410 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 1125-1125 Canadian provinces is a subclass of state or province

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


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

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


(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 8593-8597 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
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14412-14417 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 9572-9574 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 27071-27076 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 27103-27108 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 27128-27133 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 27185-27190 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

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1584-1586 If X is the head of government governor for Y, then X is an instance of state or province
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14433-14438 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