No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1823-1823 |
预告片 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1822-1822 |
预告片 和 % 2 是 disjoint |
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 |
预告片 是 公路车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1821-1821 |
预告片 是 无动力车辆 的 subclass |