| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10750-10750 | 政治过程 是 机构性过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 52-52 | AfghanUnitedNationsStatusDetermination 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2645-2645 | 示范 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 883-883 | 注册 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13821-13821 | 通过法案 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13872-13872 | 政治犯罪 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13876-13876 | 政治革命 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13902-13902 | 执法 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13931-13931 | 间谍 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10771-10771 | 司法程序 是 政治过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10810-10810 | 军事过程 是 政治过程 的 subclass |
|
|