No TPTP formula. May not be expressible in strict first order. | Merge.kif 16700-16700 | Government organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8341-8341 | Coast guard is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8488-8488 | Public library is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | Public school is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16689-16689 | Military organization is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16725-16725 | Government is a subclass of government organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16742-16742 | 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 |
![]() |