No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19199-19199 |
Fist is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19224-19224 |
Handstand is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19228-19228 |
Kneeling is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17817-17817 |
Prostrate is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17813-17813 |
Sitting is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19245-19245 |
Splitting is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17803-17803 |
Standing is an instance of body position |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11492-11492 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11491-11491 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11490-11490 |
|