No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3729-3730 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16657-16660 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7334-7334 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7335-7335 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7336-7336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7337-7337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7338-7338 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7339-7339 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7340-7340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7341-7341 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6701-6701 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7342-7342 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16656-16656 |
子類 軍事力量 and PoliticalOrganization |