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	联邦政府是威权政权的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 284-284	联邦政府是统一规则的相反
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	联邦政府是政体的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 280-280	联邦民主共和国是联邦政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 281-281	联邦议会民主是联邦政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 279-279	联邦共和国是联邦政府的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 282-282	联邦是联邦政府的 subAttribute
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