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 |
Air-to-air missile is a subclass of air attack missile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1169-1169 |
Air-to-air missile is a subclass of air launch missile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1171-1171 |
Air-to-air missile is a subclass of guided missile |