No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9255-9255 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9256-9256 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9257-9257 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8501-8501 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9254-9254 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2711-2711 |
性别平等 是 社会发展 的 subAttribute |