No TPTP formula. May not be expressible in strict first order. | Merge.kif 11629-11629 | 子類 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 18492-18492 | 子類 MusicalConducting and Guiding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18542-18542 | 子類 戲劇性的指導 and Guiding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23392-23392 | 子類 座席區 and Guiding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23405-23405 | 子類 發信號 and Guiding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23416-23416 | 子類 實現控制 and Guiding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10839-10839 | 子類 RegulatoryProcess and Guiding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10849-10849 | 子類 Managing and Guiding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11634-11634 | 子類 Driving and Guiding |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11648-11648 | 子類 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 |