No TPTP formula. May not be expressible in strict first order. | Merge.kif 16716-16716 | 子類 PoliticalOrganization and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22668-22668 | 子類 恐怖組織 and PoliticalOrganization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16727-16727 | 子類 軍事力量 and PoliticalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2207-2207 | 子類 政治聯盟 and PoliticalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2214-2214 | 子類 政治黨派 and PoliticalOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2309-2309 | 子類 政治壓力集團 and PoliticalOrganization |