| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16645-16645 | Political organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22616-22616 | Terrorist organization is a subclass of political organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16656-16656 | Military force is a subclass of political organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2243-2243 | Political coalition is a subclass of political organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2250-2250 | Political party is a subclass of political organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2345-2345 | Political pressure group is a subclass of political organization |
|
|