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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - StateOrProvince
StateOrProvince(Etat ou province)

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 14370-14373
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14368-14368 Etat ou province est une sous-classe de secteur g�opolitique
(subclass StateOrProvince LandArea) Merge.kif 14369-14369 Etat ou province est une sous-classe de zone de terre

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


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

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


(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 26405-26405 Le nombre 2 argument de postDistrict est une instance de Etat ou province

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 26411-26416 PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))		 Mid-level-ontology.kif 9532-9534 Secteur g�opolitique est une instance de Etat ou province le gouvernment de secteur g�opolitique est une instance de StateGovernment
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 7104-7108
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))		 Mid-level-ontology.kif 26386-26391
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))		 Mid-level-ontology.kif 26354-26359
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))		 Mid-level-ontology.kif 26468-26473
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14375-14380

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


(=>
    (headOfGovernment ?S Governor ?H)
    (instance ?S StateOrProvince))		 Government.kif 1584-1586
(=>
    (instance ?STATE County)
    (exists (?LAND)
        (and
            (instance ?LAND StateOrProvince)
            (properPart ?STATE ?LAND))))		 Merge.kif 14396-14401