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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StateOrProvince

Sigma KEE - StateOrProvince
StateOrProvince

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


(documentation StateOrProvince ChineseLanguage "这是一个 Nation 比现存其他政治分区更要广大的 行政分区。这个 Class 包括美国的州与加拿大和欧洲的省份。") chinese_format.kif 3348-3349
(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 13978-13981
(subclass StateOrProvince GeopoliticalArea) Merge.kif 13976-13976 subclass StateOrProvince and GeopoliticalArea
(subclass StateOrProvince LandArea) Merge.kif 13977-13977 subclass StateOrProvince and LandArea

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


(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21 subclass AmericanState and StateOrProvince
(termFormat ChineseLanguage StateOrProvince "州或省") chinese_format.kif 959-959
(termFormat EnglishLanguage StateOrProvince "state or province") english_format.kif 1125-1125

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


(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24091-24091 domain postDistrict, 2 and StateOrProvince

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24097-24102 located PostalPlace and StateOrProvince instance PostalPlace and PostalPlace instance StateOrProvince and StateOrProvince postDistrict PostalPlace and StateOrProvince
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))
Mid-level-ontology.kif 7929-7931 instance GeopoliticalArea and StateOrProvince instance GeopoliticalAreagovernment and StateGovernment
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6626-6630
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 24072-24077
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 24040-24045
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 24154-24159
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))
Merge.kif 13983-13988

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))
Government.kif 1607-1609
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))
Merge.kif 14004-14009