StateGovernment(state government) | state-supported, state_government |
appearance as argument number 1 |
(documentation StateGovernment EnglishLanguage "The class of Governments whose jurisdictions are StateOrProvinces.") | Mid-level-ontology.kif 8350-8351 | |
(subclass StateGovernment Government) | Mid-level-ontology.kif 8349-8349 | State government is a subclass of government |
appearance as argument number 2 |
(termFormat ChineseLanguage StateGovernment "州政府") | domainEnglishFormat.kif 55112-55112 | |
(termFormat ChineseTraditionalLanguage StateGovernment "州政府") | domainEnglishFormat.kif 55111-55111 | |
(termFormat EnglishLanguage StateGovernment "state government") | domainEnglishFormat.kif 55110-55110 |
consequent |
(<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 8353-8355 | A geopolitical area is an instance of state or province if and only if the government of the geopolitical area is an instance of state government |