No TPTP formula. May not be expressible in strict first order. |
Government.kif 280-280 |
FederalDemocraticRepublic e' um sub-atributo de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 281-281 |
FederalParliamentaryDemocracy e' um sub-atributo de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 279-279 |
FederalRepublic e' um sub-atributo de FederalGovernment |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 282-282 |
Federation e' um sub-atributo 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 |
|