No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | 政府组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8341-8341 | 海岸警卫队 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8488-8488 | 公共图书馆 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | 公立学校 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | 军事组织 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | 政府 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | 警察组织 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3116-3116 | HealthDepartment 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1507-1507 | 政府内阁 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4696-4696 | 外交组织 是 政府组织 的 subclass |
![]() |