No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1169-1169 |
AAM 是 空中发射导弹 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1123-1123 |
AG m 是 空中发射导弹 的 subclass |
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 |
|