Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   County
|
|
|
| appearance as argument number 1 |
|
|
| (subclass County GeopoliticalArea) | Merge.kif 14565-14565 | County is a subclass of geopolitical area |
| (subclass County LandArea) | Merge.kif 14566-14566 | County is a subclass of land area |
| (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 14567-14570 | County is a subclass of land area |
| (externalImage County "http://upload.wikimedia.org/wikipedia/commons/c/c7/ Censusdivisions.PNG") | pictureList.kif 5937-5937 | County is a subclass of land area |
| appearance as argument number 2 |
|
|
| (instance OrangeCounty County) | Medicine.kif 2987-2987 | The O.C. is an instance of county |
| (termFormat EnglishLanguage County "county") | domainEnglishFormat.kif 17586-17586 | The O.C. is an instance of county |
| (termFormat ChineseTraditionalLanguage County "縣") | domainEnglishFormat.kif 17587-17587 | The O.C. is an instance of county |
| (termFormat ChineseLanguage County "县") | domainEnglishFormat.kif 17588-17588 | The O.C. is an instance of county |
| antecedent |
|
|
| (=> (instance ?STATE County) (exists (?LAND) (and (instance ?LAND StateOrProvince) (properPart ?STATE ?LAND)))) |
Merge.kif 14572-14577 | If X is an instance of county, then there exists Y such that Y is an instance of state or province and X is a proper part of Y |
|
