No TPTP formula. May not be expressible in strict first order. |
Government.kif 4810-4811 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6940-6940 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8155-8155 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8153-8153 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8154-8154 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4809-4809 |
美国农业部 是 政府组织 的 instance |