| 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 5550-5550 | |
| (termFormat ChineseTraditionalLanguage administrativeCenter "行政中心") | domainEnglishFormat.kif 5549-5549 | |
| (termFormat EnglishLanguage administrativeCenter "administrative center") | domainEnglishFormat.kif 5548-5548 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners