| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10772-10772 | Political process is a subclass of organizational process |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 52-52 | Afghan United Nations status determination is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2645-2645 | Demonstration is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 883-883 | Registering is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13820-13820 | PassingA bill is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13871-13871 | Political crime is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13875-13875 | Political revolution is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13901-13901 | Law enforcement is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13930-13930 | Espionage is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10793-10793 | Judicial process is a subclass of political process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10832-10832 | Military process is a subclass of political process |
|
|