| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11607-11607 | 引导 是 有意图过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2252-2252 | 铁路运输控制 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4343-4343 | AnimalGuiding 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18493-18493 | MusicalConducting 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18543-18543 | 戏剧性的指导 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23393-23393 | 座席区 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23406-23406 | 发信号 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23417-23417 | 实现控制 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10817-10817 | 监管过程 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10827-10827 | 管理 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11612-11612 | 驾驶 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11626-11626 | 教育性过程 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 69-69 | GuidingMotion 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 101-101 | PhysicalGuiding 是 引导 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | MovingCursor 是 引导 的 subclass |
|
|