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	相反的屬性聯邦政府 and 威權政權
No TPTP formula. May not be expressible in strict first order.	Government.kif 284-284	相反的屬性聯邦政府 and 統一規則
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	例聯邦政府 and 政體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 280-280	子屬性聯邦民主共和國 and 聯邦政府
No TPTP formula. May not be expressible in strict first order.	Government.kif 281-281	子屬性聯邦議會民主 and 聯邦政府
No TPTP formula. May not be expressible in strict first order.	Government.kif 279-279	子屬性聯邦共和國 and 聯邦政府
No TPTP formula. May not be expressible in strict first order.	Government.kif 282-282	子屬性聯邦 and 聯邦政府
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