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 14385-14388
(subclass StateOrProvince GeopoliticalArea) Merge.kif 14383-14383 地政学的地域subclass では
(subclass StateOrProvince LandArea) Merge.kif 14384-14384 土地面積subclass では

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


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

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


(domain postDistrict 2 StateOrProvince) Mid-level-ontology.kif 26403-26403 postDistrict の数値 2 引数は instance では

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26409-26414 PostalPlacelocated して PostalPlacePostalPlaceinstance では instance では postDistrict PostalPlace and
(<=>
    (instance ?STATE StateOrProvince)
    (instance
        (GovernmentFn ?STATE) StateGovernment))
Mid-level-ontology.kif 9532-9534 地政学的地域instance では 地政学的地域governmentStateGovernmentinstance では
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 7275-7279
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (instance ?AREA StateOrProvince))
    (postDistrict ?PLACE ?AREA))
Mid-level-ontology.kif 26384-26389
(=>
    (and
        (postNeighborhood ?PLACE ?NEIGHBORHOOD)
        (geographicSubregion ?NEIGHBORHOOD ?STATE)
        (instance ?STATE StateOrProvince))
    (postDistrict ?PLACE ?STATE))
Mid-level-ontology.kif 26352-26357
(=>
    (and
        (postPostcodeArea ?PLACE ?AREA)
        (geographicSubregion ?AREA ?GEO)
        (instance ?GEO StateOrProvince))
    (postDistrict ?PLACE ?GEO))
Mid-level-ontology.kif 26466-26471
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))
Merge.kif 14390-14395

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 14411-14416