No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | 政府组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8342-8342 | 海岸警卫队 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8489-8489 | 公共图书馆 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16659-16659 | 公立学校 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | 军事组织 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16703-16703 | 政府 是 政府组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16720-16720 | 警察组织 是 政府组织 的 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 |