No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19852-19852 |
例 拳頭 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19877-19877 |
例 倒立 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19881-19881 |
例 跪 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1832-1832 |
例 LateralRecumbant and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18073-18073 |
例 踣 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18069-18069 |
例 坐在 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19898-19898 |
例 分裂 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18059-18059 |
例 站立 and 身體姿勢 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11489-11489 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11488-11488 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11487-11487 |
|