| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17440-17440 | Rotating est une sous-classe de d�palcement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17457-17457 | Tremor est une sous-classe de Rotating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17481-17481 | CentrifugalMotion est une sous-classe de Rotating |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17497-17497 | CentripetalMotion est une sous-classe de Rotating |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3060-3060 | ChurningButter est une sous-classe de Rotating |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1665-1665 | ScrollWheelRotating est une sous-classe de Rotating |
|
|