|
|
   BodyMotion
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3002-3003 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11130-11131 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1765-1766 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1052-1052 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11128-11128 | Mouvement du corps est une sous-classe de d�palcement |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11172-11172 | Ambulating est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 447-447 | Blinking est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11578-11578 | Chewing est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4374-4374 | Crawling est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11217-11217 | Dancer est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20026-20026 | Dismounting est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 438-438 | Dodging est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13146-13146 | Ducking est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1358-1358 | EmotionalBodilyMovementBehavior est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10646-10646 | Extension est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19966-19966 | EyeMotion est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10622-10622 | Flexion est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13138-13138 | Gesture est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10741-10741 | HeartBeat est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13122-13122 | Inclining est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1010-1010 | Indicating est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 536-536 | Jumping est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19912-19912 | KneelingDown est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19887-19887 | LyingDown est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 458-458 | Mounting est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10577-10577 | MuscleRelaxing est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10555-10555 | MuscularContraction est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5708-5708 | Scratching est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19996-19996 | Shrugging est une sous-classe de mouvement du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19932-19932 | SittingDown est une sous-classe de mouvement du corps |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10604-10620 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10431-10437 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11144-11150 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8270-8284 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11153-11158 |
|
| consequent |
|
|
|
|
|
