Government(gouvernement) | ![]() |
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 16883-16883 | |
(subclass Government GovernmentOrganization) | Merge.kif 16878-16878 | Gouvernement est une sous-classe de GovernmentOrganization |
(subclass Government LegalAgent) | Merge.kif 16881-16881 | Gouvernement est une sous-classe de LegalAgent |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16866-16870 |
|
consequent |
![]() |
![]() |
![]() |