No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1576-1585 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 329-329 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 339-339 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 337-337 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 336-336 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 335-335 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1032-1032 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 333-333 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 340-340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 331-331 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 338-338 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 332-332 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 330-330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 334-334 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 328-328 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 341-341 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1575-1575 |
APC 是 装甲车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1573-1573 |
APC 是 陆地车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1571-1571 |
APC 是 军车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1572-1572 |
APC 是 乘用车 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1574-1574 |
APC 是 动力车辆 的 subclass |