appearance as argument number 1 |
(documentation PoliticalOrganization ChineseLanguage "这是一个试图带来某些政治上的改变的 Organization。") | chinese_format.kif 3727-3728 | |
(documentation PoliticalOrganization EnglishLanguage "An Organization that is attempting to bring about some sort of political change.") | Merge.kif 16717-16718 | |
(subclass PoliticalOrganization Organization) | Merge.kif 16716-16716 | Political organization is a subclass of organization |
appearance as argument number 2 |
antecedent |
(=> (instance ?POL PoliticalOrganization) (exists (?PROC) (and (instance ?PROC PoliticalProcess) (agent ?PROC ?POL)))) |
Merge.kif 16720-16725 |
|