| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13385-13385 | 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 17020-17020 | Game shot is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17102-17102 | Catching is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21751-21751 | Ambush is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21771-21771 | Blockade is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21797-21797 | Military maneuver is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13398-13398 | Attack is a subclass of maneuver |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13420-13420 | Defensive maneuver is a subclass of maneuver |
|
|