County(county) | ![]() | Avon, Cumbria, Devon, Devonshire, East_Sussex, Essex, Gloucestershire, Hampshire, Hertfordshire, Home_Counties, Kent, Leicester, Leicestershire, Lincolnshire, North_Yorkshire, Northamptonshire, Northumberland, Somerset, South_Yorkshire, Surrey, Sussex, West_Sussex, West_Yorkshire, Yorkshire, commune, 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 14299-14302 | |
(externalImage County "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Censusdivisions.PNG") | pictureList.kif 5938-5938 | |
(subclass County GeopoliticalArea) | Merge.kif 14297-14297 | County is a subclass of geopolitical area |
(subclass County LandArea) | Merge.kif 14298-14298 | County is a subclass of land area |
appearance as argument number 2 |
![]() |
(instance OrangeCounty County) | Medicine.kif 2981-2981 | The O.C. is an instance of county |
(termFormat ChineseLanguage County "县") | domainEnglishFormat.kif 17586-17586 | |
(termFormat ChineseTraditionalLanguage County "縣") | domainEnglishFormat.kif 17585-17585 | |
(termFormat EnglishLanguage County "county") | domainEnglishFormat.kif 17584-17584 |
antecedent |
![]() |
(=> (instance ?STATE County) (exists (?LAND) (and (instance ?LAND StateOrProvince) (properPart ?STATE ?LAND)))) |
Merge.kif 14304-14309 |
|
![]() |
![]() |