No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2507-2509 |
|
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 2505-2505 |
远洋班轮 是 货船 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2504-2504 |
远洋班轮 是 客船 的 subclass |