Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation StateOrProvince ChineseLanguage "这是一个 Nation 比现存其他政治分区更要广大的 行政分区。这个 Class 包括美国的州与加拿大和欧洲的省份。") Merge.kif 18635-18636
(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 18631-18634
(subclass StateOrProvince GeopoliticalArea) Merge.kif 18629-18629 State or province is a subclass of geopolitical area
(subclass StateOrProvince LandArea) Merge.kif 18630-18630 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
(termFormat ChineseLanguage StateOrProvince "州或省") chinese_format.kif 959-959 "州或省" is the printable form of state or province in ChineseLanguage
(termFormat EnglishLanguage StateOrProvince "state or province") english_format.kif 1575-1575 "state or province" is the printable form of state or province in english language
(termFormat JapaneseLanguage StateOrProvince "州") english_format.kif 1576-1576 "州" is the printable form of state or province in japanese language

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


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

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22542-22547 A PostalPlace is located at a state or province and the PostalPlace is an instance of PostalPlace and the state or province is an instance of state or province if and only if the PostalPlace is in the state or province
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))
Mid-level-ontology.kif 8030-8032 A geopolitical area is an instance of state or province if and only if the geopolitical areagovernment is an instance of state government
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6260-6264
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 22517-22522
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 22485-22490
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 22599-22604
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))
Merge.kif 18638-18643

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))
Government.kif 1582-1584
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))
Merge.kif 18665-18670