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 16779-16779 | |
(subclass Government GovernmentOrganization) | Merge.kif 16774-16774 | Government is a subclass of government organization |
(subclass Government LegalAgent) | Merge.kif 16777-16777 | 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 16762-16766 |
|
consequent |