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 16426-16426 | |
(subclass Government GovernmentOrganization) | Merge.kif 16421-16421 | Government is a subclass of government organization |
(subclass Government LegalAgent) | Merge.kif 16424-16424 | Government is a subclass of LegalAgent |
appearance as argument number 2 |
![]() |
(instance USStateDepartment Government) | Government.kif 2370-2370 | US state department is an instance of government |
(range GovernmentFn Government) | Merge.kif 16431-16431 | The range of government is an instance of government |
(subclass CityGovernment Government) | Mid-level-ontology.kif 7933-7933 | City government is a subclass of government |
(subclass NationalGovernment Government) | Government.kif 103-103 | National government is a subclass of government |
(subclass StateGovernment Government) | Mid-level-ontology.kif 7925-7925 | State government is a subclass of government |
(termFormat ChineseLanguage Government "政府") | chinese_format.kif 1070-1070 | |
(termFormat EnglishLanguage Government "government") | english_format.kif 1351-1351 |
antecedent |
![]() |
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16409-16413 |
|
consequent |
![]() |
![]() |
![]() |