No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | LegislativeOrganization est une sous-classe de organisation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1942-1942 | Parliament est une sous-classe de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1987-1987 | LegislativeChamber est une sous-classe de LegislativeOrganization |
![]() |