| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11629-11629 | Guider est une sous-classe de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2252-2252 | RailCarrierControl est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4343-4343 | AnimalGuiding est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18492-18492 | MusicalConducting est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18542-18542 | DramaticDirecting est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23392-23392 | Seating est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23405-23405 | Signalling est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23416-23416 | AchievingControl est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10839-10839 | Processus de r�gulation est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10849-10849 | Diriger est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11634-11634 | Conduire est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11648-11648 | Processus educationnel est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 69-69 | GuidingMotion est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 101-101 | PhysicalGuiding est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1725-1725 | MovingCursor est une sous-classe de guider |
|
|