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 16045-16045 | 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 1113-1113 | Projectile is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1131-1131 | Projectile launcher is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1147-1147 | Spear is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1151-1151 | Sword is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1155-1155 | Whip is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1160-1160 | Gun is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1449-1449 | Weapon of mass destruction is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | Explosive mine is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21822-21822 | Bomb is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22054-22054 | Mortar is a subclass of weapon |