| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | Political organization is a subclass of organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22615-22615 | Terrorist organization is a subclass of political organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | 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 |
|
|