| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10772-10772 | Processo Politico e' uma sub-classe de Processo Organizacional |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 52-52 | AfghanUnitedNationsStatusDetermination e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2645-2645 | Demonstration e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 883-883 | Registering e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13820-13820 | PassingABill e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13871-13871 | PoliticalCrime e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13875-13875 | PoliticalRevolution e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13901-13901 | LawEnforcement e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13930-13930 | Espionage e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10793-10793 | JudicialProcess e' uma sub-classe de Processo Politico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10832-10832 | Processo Militar e' uma sub-classe de Processo Politico |
|
|