| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | 子類 政府組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8341-8341 | 子類 海岸警衛隊 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8488-8488 | 子類 公共圖書館 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | 子類 公立學校 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | 子類 軍事組織 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | 子類 Government and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | 子類 警察組織 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3116-3116 | 子類 HealthDepartment and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1507-1507 | 子類 政府內閣 and 政府組織 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4696-4696 | 子類 外交組織 and 政府組織 |
|
|