No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1172-1175 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 326-326 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4475-4475 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 325-325 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList-ImageNet.kif 327-327 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1170-1170 |
子類 AAM and 空襲導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1169-1169 |
子類 AAM and 空中發射導彈 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1171-1171 |
子類 AAM and 導彈 |