PoliticalParty
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2252-2253 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6779-6779 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2250-2250 | 子類 政治黨派 and PoliticalOrganization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4866-4866 | 例 DemocraticPartyUS and 政治黨派 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2276-2276 | 例 納粹黨 and 政治黨派 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4871-4871 | 例 RepublicanPartyUS and 政治黨派 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2260-2260 | 子類 共產黨 and 政治黨派 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2244-2244 | 子類 政治聯盟 and 政治黨派 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46507-46507 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46506-46506 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46505-46505 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2226-2226 | 域 國家政黨, 1 and 政治黨派 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2295-2299 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2331-2338 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 |