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 16728-16728 | 子類 Government and LegalAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8321-8321 | 子類 州政府 and Government |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8329-8329 | 子類 市政府 and Government |
No TPTP formula. May not be expressible in strict first order. | Government.kif 103-103 | 子類 國家政府 and Government |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1550-1550 | 子類 聯邦住房管理局 and Government |
![]() |