| CommunistState(共产主义国家)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5926-5926 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6305-6305 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 184-184 | 共产主义国家 是 政体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 328-328 | 共产主义国家 是 威权政权 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16074-16074 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16073-16073 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16072-16072 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 865-869 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2263-2269 |
|
|
|