| 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 | 子類 BodyMotion and Motion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 445-445 | 子類 躲著 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 465-465 | 子類 安裝 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 482-482 | 子類 步進 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 543-543 | 子類 跳躍 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 557-557 | 子類 翻筋斗 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1017-1017 | 子類 指示 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4381-4381 | 子類 Crawling and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5714-5714 | 子類 Scratching and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6587-6587 | 子類 Swallowing and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10528-10528 | 子類 MuscularContraction and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10550-10550 | 子類 MuscleRelaxing and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10595-10595 | 子類 Flexion and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10619-10619 | 子類 Extension and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10714-10714 | 子類 HeartBeat and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11551-11551 | 子類 咀嚼 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13095-13095 | 子類 傾斜 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13119-13119 | 子類 迴避 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17079-17079 | 子類 投擲 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19860-19860 | 子類 躺著 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19885-19885 | 子類 KneelingDown and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19905-19905 | 子類 坐下 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19922-19922 | 子類 站起來 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19939-19939 | 子類 眼球運動 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19969-19969 | 子類 聳肩 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19980-19980 | 子類 發抖 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19999-19999 | 子類 拆卸 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11138-11138 | 子類 走動 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11168-11168 | 子類 Swimming and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11183-11183 | 子類 Dancing and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13092-13092 | 子類 手勢 and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 447-447 | 子類 Blinking and BodyMotion |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1358-1358 | 子類 EmotionalBodilyMovementBehavior and BodyMotion |
|
|