PoliticalPressureGroup(political pressure group) |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2308-2312 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2306-2306 | Political pressure group is a subclass of political organization |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46521-46521 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46520-46520 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46519-46519 |
antecedent |
![]() |
![]() |
![]() |