Government
|
|
appearance as argument number 1 |
(documentation Government ChineseLanguage "这是一个 GeopoliticalArea 的管治机构。") | chinese_format.kif 3738-3738 | |
(documentation Government EnglishLanguage "The ruling body of a GeopoliticalArea.") | Merge.kif 16730-16730 | |
(subclass Government GovernmentOrganization) | Merge.kif 16725-16725 | Gouvernement est une sous-classe de GovernmentOrganization |
(subclass Government LegalAgent) | Merge.kif 16728-16728 | Gouvernement est une sous-classe de LegalAgent |
appearance as argument number 2 |
(instance USStateDepartment Government) | Government.kif 2385-2385 | USStateDepartment est une instance de gouvernement |
(range GovernmentFn Government) | Merge.kif 16735-16735 | Le domaine de GovernmentFn est une instance de gouvernement |
(subclass CityGovernment Government) | Mid-level-ontology.kif 8329-8329 | CityGovernment est une sous-classe de gouvernement |
(subclass FederalHousingAdministration Government) | FinancialOntology.kif 1550-1550 | FederalHousingAdministration est une sous-classe de gouvernement |
(subclass NationalGovernment Government) | Government.kif 103-103 | NationalGovernment est une sous-classe de gouvernement |
(subclass StateGovernment Government) | Mid-level-ontology.kif 8321-8321 | StateGovernment est une sous-classe de gouvernement |
(termFormat ChineseLanguage Government "政府") | chinese_format.kif 1070-1070 | |
(termFormat EnglishLanguage Government "government") | english_format.kif 1351-1351 | |
(termFormat FrenchLanguage Government "gouvernement") | french_format.kif 748-748 | |
(termFormat Hindi Government "sarakaara") | terms-hindi.txt 280-280 | |
(termFormat ItalianLanguage Government "Governo") | terms-it.txt 283-283 | |
(termFormat JapaneseLanguage Government "政府") | japanese_format.kif 2432-2432 | |
(termFormat PortugueseLanguage Government "Governo") | portuguese_format.kif 700-700 | |
(termFormat cz Government "government") | terms-cz.txt 319-319 | |
(termFormat ro Government "guvern") | relations-ro.kif 769-769 | |
(termFormat tg Government "pamahalaan") | terms-tg.txt 284-284 |
antecedent |
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16713-16717 |
|
consequent |