| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17723-17723 | 子類 導彈 and 拋射物 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17724-17724 | 子類 導彈 and 自供電設備 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 670-670 | 子類 龍武器 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | 子類 標槍武器 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 780-780 | 子類 SMAW掩體破壞者 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 885-885 | 子類 反坦克導彈 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 939-939 | 子類 空中發射導彈 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 957-957 | 子類 地面發射導彈 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 969-969 | 子類 空襲導彈 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 992-992 | 子類 地面攻擊導彈 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1015-1015 | 子類 導彈 and 導彈 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17735-17735 | 子類 彈道式導彈 and 導彈 |
|
|