| County
| |
| appearance as argument number 1 |
|
|
| (documentation County ChineseLanguage "这是一个比城市要大的 GeopoliticalArea，它通常包括数个 城市，而又比 StateOrProvince 要小的政治区域。它是除了城市之外最小的地缘政治分区，县的名称因国家而异， 如：教区、公社等等。") | chinese_format.kif 3352-3354 | |
| (documentation County EnglishLanguage "A GeopoliticalArea that is larger than a city, usually encompassing several cities, and smaller than a StateOrProvince. Aside from City, this is the smallest geopolitical subdivision, and it is known by various names in various countries, e.g. parrish, commune, etc.") | Merge.kif 14406-14409 | |
| (externalImage County "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Censusdivisions.PNG") | pictureList.kif 5937-5937 | |
| (subclass County GeopoliticalArea) | Merge.kif 14404-14404 | County est une sous-classe de secteur g�opolitique |
| (subclass County LandArea) | Merge.kif 14405-14405 | County est une sous-classe de zone de terre |
| appearance as argument number 2 |
|
|
| (instance OrangeCounty County) | Medicine.kif 2982-2982 | OrangeCounty est une instance de County |
| (termFormat ChineseLanguage County "县") | domainEnglishFormat.kif 17595-17595 | OrangeCounty est une instance de County |
| (termFormat ChineseTraditionalLanguage County "縣") | domainEnglishFormat.kif 17594-17594 | OrangeCounty est une instance de County |
| (termFormat EnglishLanguage County "county") | domainEnglishFormat.kif 17593-17593 | OrangeCounty est une instance de County |
| antecedent |
|
|
| (=> (instance ?STATE County) (exists (?LAND) (and (instance ?LAND StateOrProvince) (properPart ?STATE ?LAND)))) |
Merge.kif 14411-14416 |
|
|
|