No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1823-1823 |
不相交的 預告片 and 代理動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1822-1822 |
不相交的 預告片 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1824-1825 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 575-575 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1272-1272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 574-574 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1820-1820 |
子類 預告片 and 公路車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1821-1821 |
子類 預告片 and 無動力車輛 |