FederalGovernment - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 285-285	FederalGovernment est l'oppos� de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 284-284	FederalGovernment est l'oppos� de UnitaryRule
No TPTP formula. May not be expressible in strict first order.	Government.kif 271-277
No TPTP formula. May not be expressible in strict first order.	Government.kif 172-172	FederalGovernment est une instance de FormOfGovernment

appearance as argument number 2

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