administrativeCenter |
appearance as argument number 1 |
(documentation administrativeCenter EnglishLanguage "(administrativeCenter ?CENTER ?REGION) means that ?CENTER is the City (or other area) from which the larger GeopoliticalArea ?REGION is administered.") | Government.kif 387-389 | |
(domain administrativeCenter 1 GeopoliticalArea) | Government.kif 383-383 | The number 1 argument of administrative center is an instance of geopolitical area |
(domain administrativeCenter 2 GeopoliticalArea) | Government.kif 384-384 | The number 2 argument of administrative center is an instance of geopolitical area |
(instance administrativeCenter BinaryPredicate) | Government.kif 382-382 | administrative center is an instance of binary predicate |
(subrelation administrativeCenter geopoliticalSubdivision) | Government.kif 385-385 | administrative center is a subrelation of geopolitical subdivision |
appearance as argument number 2 |
(format ChineseLanguage administrativeCenter "%2 %n 是 %1 的 administrative 中心") | domainEnglishFormat.kif 60-60 | |
(format ChineseTraditionalLanguage administrativeCenter "%2 %n 是 %1 的 administrative 中心") | domainEnglishFormat.kif 59-59 | |
(format EnglishLanguage administrativeCenter "%2 is %n the administrative center of %1") | domainEnglishFormat.kif 58-58 | |
(subrelation capitalCity administrativeCenter) | Government.kif 377-377 | capital city is a subrelation of administrative center |
(termFormat ChineseLanguage administrativeCenter "行政中心") | domainEnglishFormat.kif 5554-5554 | capital city is a subrelation of administrative center |
(termFormat ChineseTraditionalLanguage administrativeCenter "行政中心") | domainEnglishFormat.kif 5553-5553 | capital city is a subrelation of administrative center |
(termFormat EnglishLanguage administrativeCenter "administrative center") | domainEnglishFormat.kif 5552-5552 | capital city is a subrelation of administrative center |