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 1123-1123 |
AGM e' uma sub-classe de AirLaunchMissile |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6156-6156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6155-6155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6154-6154 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 2061-2061 |
|