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 is a subclass of air-to-air missile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1178-1178 |
AI m9 is a subclass of infra redG missile |