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 14254-14257
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14252-14252 StateOrProvince ist eine teilkategorie von GeopoliticalArea
(subclass StateOrProvince LandArea) Merge.kif 14253-14253 StateOrProvince ist eine teilkategorie von LandArea

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


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

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


(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 24740-24740 Die Zahl 2 Argument von postDistrict ist ein fall von StateOrProvince %n{nicht}

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24746-24751 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und StateOrProvince ist ein fall von StateOrProvince %n{nicht} genau dann wenn postDistrict ** PostalPlace and ** StateOrProvince
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 8325-8327 GeopoliticalArea ist ein fall von StateOrProvince %n{nicht} genau dann wenn GovernmentFn ** GeopoliticalArea ist ein fall von StateGovernment %n{nicht}
(=>
    (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 24721-24726
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 24689-24694
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 24803-24808
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14259-14264

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1622-1624
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14280-14285