No TPTP formula. May not be expressible in strict first order. | Merge.kif 10750-10750 | 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 13821-13821 | PassingA bill is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13872-13872 | Political crime is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13876-13876 | Political revolution is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | Law enforcement is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13931-13931 | Espionage is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10771-10771 | Judicial process is a subclass of political process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10810-10810 | Military process is a subclass of political process |