| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13407-13407 | Maneuver is a subclass of intentional process |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 684-684 | Baseball maneuver is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 757-757 | Baseball inning is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 815-815 | Football maneuver is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 938-938 | Golf maneuver is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 390-390 | Direct action activity is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17019-17019 | Game shot is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17101-17101 | Catching is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21750-21750 | Ambush is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21770-21770 | Blockade is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21796-21796 | Military maneuver is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13420-13420 | Attack is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13442-13442 | Defensive maneuver is a subclass of maneuver |
|
|