No TPTP formula. May not be expressible in strict first order. |
Government.kif 4784-4785 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8156-8156 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8157-8157 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8158-8158 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8159-8159 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8160-8160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8161-8161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8162-8162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8168-8168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8163-8163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8165-8165 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8166-8166 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8167-8167 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4783-4783 |
美国邮政局 是 政府组织 的 instance |