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 e' uma sub-classe de AirAttackMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1169-1169 |
AAM e' uma sub-classe de AirLaunchMissile |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1171-1171 |
AAM e' uma sub-classe de GuidedMissile |