| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11607-11607 | 子類 Guiding and IntentionalProcess |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2252-2252 | 子類 鐵路運輸控制 and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4343-4343 | 子類 AnimalGuiding and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18493-18493 | 子類 MusicalConducting and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18543-18543 | 子類 戲劇性的指導 and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23393-23393 | 子類 座席區 and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23406-23406 | 子類 發信號 and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23417-23417 | 子類 實現控制 and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10817-10817 | 子類 RegulatoryProcess and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10827-10827 | 子類 Managing and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11612-11612 | 子類 Driving and Guiding |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11626-11626 | 子類 EducationalProcess and Guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 69-69 | 子類 GuidingMotion and Guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 101-101 | 子類 PhysicalGuiding and Guiding |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | 子類 MovingCursor and Guiding |
|
|