No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2485-2487 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 636-636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2269-2269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1873-1873 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2483-2483 |
子類 遠洋班輪 and 貨船 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2482-2482 |
子類 遠洋班輪 and 客船 |