| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 48-56 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16095-16095 | Weapon is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 131-131 | Nuclear weapon is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 632-632 | High precision weapon is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | Anti armor weapon is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1106-1106 | Projectile is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1124-1124 | Projectile launcher is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1140-1140 | Spear is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1144-1144 | Sword is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1148-1148 | Whip is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1153-1153 | Gun is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1442-1442 | Weapon of mass destruction is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17884-17884 | Explosive mine is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21875-21875 | Bomb is a subclass of weapon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22107-22107 | Mortar is a subclass of weapon |
|
|