| appearance as argument number 1 |
|
|
| (subclass PoliticalOrganization Organization) | Merge.kif 16845-16845 | Political organization is a subclass of organization |
| (documentation PoliticalOrganization EnglishLanguage "An Organization that is attempting to bring about some sort of political change.") | Merge.kif 16846-16847 | 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 16849-16854 | If X is an instance of political organization, then there exists Y such that Y is an instance of political process and X is an agent of Y |
|
|