| 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 16843-16844 | |
| (subclass PoliticalOrganization Organization) | Merge.kif 16842-16842 | 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 16846-16851 | 
 | 
|  | 
|  |