No TPTP formula. May not be expressible in strict first order. |
Government.kif 1948-1948 |
UnitedStatesCongress est une instance de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2037-2037 |
Le domaine de LegislatureFn est une instance de LegislativeOrganization |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1987-1987 |
LegislativeChamber est une sous-classe de LegislativeOrganization |
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. |
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 |
|