| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11607-11607 | 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 18493-18493 | Musical conducting is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18543-18543 | Dramatic directing is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23393-23393 | Seating is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23406-23406 | Signalling is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23417-23417 | Achieving control is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10817-10817 | Regulatory process is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10827-10827 | Managing is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11612-11612 | Driving is a subclass of guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11626-11626 | 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 |
|
|