| 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 8541-8542 | |
| (subclass StateGovernment Government) | Mid-level-ontology.kif 8540-8540 | State government is a subclass of government |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage StateGovernment "州政府") | domainEnglishFormat.kif 55150-55150 | |
| (termFormat ChineseTraditionalLanguage StateGovernment "州政府") | domainEnglishFormat.kif 55149-55149 | |
| (termFormat EnglishLanguage StateGovernment "state government") | domainEnglishFormat.kif 55148-55148 |
| consequent |
|
|
| (<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 8544-8546 | 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 |
|
|
|