| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11653-11653 | Guider est une sous-classe de processus intentionnel |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2258-2258 | RailCarrierControl est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4336-4336 | AnimalGuiding est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18520-18520 | MusicalConducting est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18570-18570 | DramaticDirecting est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23445-23445 | Seating est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23458-23458 | Signalling est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23469-23469 | AchievingControl est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10851-10851 | Processus de r�gulation est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10861-10861 | Diriger est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11658-11658 | Conduire est une sous-classe de guider |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11672-11672 | 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 |
|
|