No TPTP formula. May not be expressible in strict first order. |
Government.kif 1948-1948 |
UnitedStatesCongress e' uma instancia de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2037-2037 |
O contra-dominio de LegislatureFn e' uma instancia de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1987-1987 |
LegislativeChamber e' uma sub-classe de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1942-1942 |
Parliament e' uma sub-classe de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33917-33917 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33916-33916 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33915-33915 |
|