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 1123-1123 |
AG m is a subclass of air launch missile |
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 |
|