StateGovernment | ![]() |
appearance as argument number 1 |
![]() |
(documentation StateGovernment EnglishLanguage "The class of Governments whose jurisdictions are StateOrProvinces.") | Mid-level-ontology.kif 8290-8291 | |
(subclass StateGovernment Government) | Mid-level-ontology.kif 8289-8289 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage StateGovernment "州政府") | domainEnglishFormat.kif 55131-55131 | |
(termFormat ChineseTraditionalLanguage StateGovernment "州政府") | domainEnglishFormat.kif 55130-55130 | |
(termFormat EnglishLanguage StateGovernment "state government") | domainEnglishFormat.kif 55129-55129 |
consequent |
![]() |
(<=> (instance ?STATE StateOrProvince) (instance (GovernmentFn ?STATE) StateGovernment)) |
Mid-level-ontology.kif 8293-8295 |
![]() |
![]() |