No TPTP formula. May not be expressible in strict first order. |
Government.kif 4866-4866 |
DemocraticPartyUS 是 政治党派 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2276-2276 |
纳粹党 是 政治党派 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4871-4871 |
RepublicanPartyUS 是 政治党派 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2260-2260 |
共产党 是 政治党派 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2244-2244 |
政治联盟 是 政治党派 的 subclass |
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 |
|