No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 448-451 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6717-6717 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7389-7389 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7390-7390 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7391-7391 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7392-7392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7393-7393 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7394-7394 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7396-7396 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7397-7397 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7398-7398 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7400-7400 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 447-447 |
窄规 是 轨距 的 instance |