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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 14278-14281
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14276-14276 子類 StateOrProvince and GeopoliticalArea
(subclass StateOrProvince LandArea) Merge.kif 14277-14277 子類 StateOrProvince and LandArea

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


(subclass AmericanState StateOrProvince) CountriesAndRegions.kif 21-21 子類 美國國家 and StateOrProvince
(termFormat ChineseLanguage StateOrProvince "州或省") chinese_format.kif 959-959 子類 美國國家 and StateOrProvince
(termFormat EnglishLanguage StateOrProvince "state or province") english_format.kif 1125-1125 子類 美國國家 and StateOrProvince
(termFormat FrenchLanguage StateOrProvince "Etat ou province") french_format.kif 635-635 子類 美國國家 and StateOrProvince
(termFormat Hindi StateOrProvince "raajya yaa praanta") terms-hindi.txt 166-166 子類 美國國家 and StateOrProvince
(termFormat ItalianLanguage StateOrProvince "StatoOProvincia") terms-it.txt 169-169 子類 美國國家 and StateOrProvince
(termFormat JapaneseLanguage StateOrProvince "州") japanese_format.kif 2320-2320 子類 美國國家 and StateOrProvince
(termFormat PortugueseLanguage StateOrProvince "Estado ou Provincia") portuguese_format.kif 587-587 子類 美國國家 and StateOrProvince
(termFormat cb StateOrProvince "lalawigan") terms-cb.txt 171-171 子類 美國國家 and StateOrProvince
(termFormat cz StateOrProvince "state or province") terms-cz.txt 203-203 子類 美國國家 and StateOrProvince
(termFormat ro StateOrProvince "stat sau provincie") relations-ro.kif 656-656 子類 美國國家 and StateOrProvince
(termFormat tg StateOrProvince "lalawigan") terms-tg.txt 170-170 子類 美國國家 and StateOrProvince

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


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

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 25035-25040 位於 PostalPlace and StateOrProvince 例 PostalPlace and PostalPlace 例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8544-8546 例 GeopoliticalArea and StateOrProvince 例 政府 GeopoliticalArea and 州政府
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 6938-6942
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 25010-25015
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24978-24983
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 25092-25097
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14283-14288

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1586-1588
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14304-14309