No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1179-1185 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 552-552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 548-548 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 547-547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 551-551 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 549-549 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1177-1177 |
子類 AI m9 and AAM |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1178-1178 |
子類 AI m9 and 紅外導彈 |