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. |
Medicine.kif 447-447 |
子類 Blinking 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 4381-4381 |
子類 Crawling 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. |
Mid-level-ontology.kif 19999-19999 |
子類 拆卸 and BodyMotion |
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 13119-13119 |
子類 迴避 and BodyMotion |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1358-1358 |
子類 EmotionalBodilyMovementBehavior 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 19939-19939 |
子類 眼球運動 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. |
Merge.kif 13092-13092 |
子類 手勢 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 13095-13095 |
子類 傾斜 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 543-543 |
子類 跳躍 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 19860-19860 |
子類 躺著 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 10550-10550 |
子類 MuscleRelaxing 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 5714-5714 |
子類 Scratching 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 19905-19905 |
子類 坐下 and BodyMotion |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |