|
|
   StateGovernment
|
|
|
| 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 | StateGovernment ist eine teilkategorie von 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 | GeopoliticalArea ist ein fall von StateOrProvince %n{nicht} genau dann wenn GovernmentFn ** GeopoliticalArea ist ein fall von StateGovernment %n{nicht} |
|
|
|