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 | Body motion is a subclass of motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 445-445 | Dodging is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 465-465 | Mounting is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 482-482 | Stepping is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 543-543 | Jumping is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 557-557 | Somersaulting is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1017-1017 | Indicating is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4381-4381 | Crawling is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5714-5714 | Scratching is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6587-6587 | Swallowing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10528-10528 | Muscular contraction is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10550-10550 | Muscle relaxing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10595-10595 | Flexion is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10619-10619 | Extension is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10714-10714 | Heart beat is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11551-11551 | Chewing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13095-13095 | Inclining is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13119-13119 | Ducking is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17079-17079 | Throwing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19860-19860 | Lying down is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19885-19885 | Kneeling down is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19905-19905 | Sitting down is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19922-19922 | Standing up is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19939-19939 | Eye motion is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19969-19969 | Shrugging is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | Trembling is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19999-19999 | Dismounting is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11138-11138 | Ambulating is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11168-11168 | Swimming is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11183-11183 | Dancing is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13092-13092 | Gesture is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 447-447 | Blinking is a subclass of body motion |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1358-1358 | Emotional bodily movement behavior is a subclass of body motion |