No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7367-7367 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6711-6711 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7356-7356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7357-7357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7358-7358 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7368-7368 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7359-7359 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7360-7360 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7361-7361 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7362-7362 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7363-7363 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7364-7364 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7365-7365 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7366-7366 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1626-1626 |
可动桥 是 桥 的 subclass |