No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | Government organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8342-8342 | Coast guard is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8489-8489 | Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16659-16659 | Public school is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16703-16703 | Government is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16720-16720 | Police organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3116-3116 | Health department is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1507-1507 | Government cabinet is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4696-4696 | Diplomatic organization is a subclass of government organization |