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 |
United states department of agriculture is an instance of government organization |