No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | InternationalOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2526-2526 | OrganizationOfNations e' uma sub-classe de InternationalOrganization |