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 16742-16743 | |
(subclass PoliticalOrganization Organization) | Merge.kif 16741-16741 | 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 16745-16750 |
|
![]() |
![]() |