| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8243-8257 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11094-11094 | Movimento do Corpo e' uma sub-classe de Movimento |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 445-445 | Dodging e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 465-465 | Mounting e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 482-482 | Stepping e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 543-543 | Jumping e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 557-557 | Somersaulting e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1017-1017 | Indicating e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4381-4381 | Crawling e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5714-5714 | Scratching e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6587-6587 | Swallowing e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10528-10528 | MuscularContraction e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10550-10550 | MuscleRelaxing e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10595-10595 | Flexion e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10619-10619 | Extension e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10714-10714 | HeartBeat e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11551-11551 | Chewing e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13095-13095 | Inclining e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13119-13119 | Ducking e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17079-17079 | Throwing e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19860-19860 | LyingDown e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19885-19885 | KneelingDown e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19905-19905 | SittingDown e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19922-19922 | StandingUp e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19939-19939 | EyeMotion e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19969-19969 | Shrugging e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | Trembling e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19999-19999 | Dismounting e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11138-11138 | Ambulating e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11168-11168 | Nadar e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11183-11183 | Dancar e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13092-13092 | Gesture e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 447-447 | Blinking e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1358-1358 | EmotionalBodilyMovementBehavior e' uma sub-classe de Movimento do Corpo |
|
|