No TPTP formula. May not be expressible in strict first order. |
Government.kif 1948-1948 |
例 美國國會 and 立法組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2037-2037 |
範圍 立法機關 and 立法組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1987-1987 |
子類 立法院 and 立法組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1942-1942 |
子類 議會 and 立法組織 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33917-33917 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33916-33916 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33915-33915 |
|