| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17723-17723 | Missile is a subclass of projectile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17724-17724 | Missile is a subclass of self powered device |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 670-670 | Dragon weapon is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 720-720 | Javelin weapon is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 780-780 | SMAW bunker buster is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 885-885 | Anti tank missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 939-939 | Air launch missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 957-957 | Ground launch missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 969-969 | Air attack missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 992-992 | Ground attack missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1015-1015 | Guided missile is a subclass of missile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17735-17735 | Ballistic missile is a subclass of missile |
|
|