No TPTP formula. May not be expressible in strict first order. |
Government.kif 280-280 |
FederalDemocraticRepublic est un sous-attribut de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 281-281 |
FederalParliamentaryDemocracy est un sous-attribut de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 279-279 |
FederalRepublic est un sous-attribut de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 282-282 |
Federation est un sous-attribut de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23446-23446 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23445-23445 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23444-23444 |
|