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 |
例 美國農業部 and 政府組織 |