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 16800-16800 | |
(subclass Government GovernmentOrganization) | Merge.kif 16795-16795 | Government is a subclass of government organization |
(subclass Government LegalAgent) | Merge.kif 16798-16798 | Government is a subclass of legal agent |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (instance ?GOV Government) (subOrganization ?ORG ?GOV)) (instance ?ORG GovernmentOrganization)) |
Merge.kif 16783-16787 |
|
consequent |
![]() |
![]() |
![]() |