| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11629-11629 | Guiding is a subclass of intentional process |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2252-2252 | Rail carrier control is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4343-4343 | Animal guiding is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18492-18492 | Musical conducting is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18542-18542 | Dramatic directing is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23392-23392 | Seating is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23405-23405 | Signalling is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23416-23416 | Achieving control is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10839-10839 | Regulatory process is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10849-10849 | Managing is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11634-11634 | Driving is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11648-11648 | Educational process is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 69-69 | Guiding motion is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 101-101 | Physical guiding is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | Moving cursor is a subclass of guiding |
|
|