No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10697-10697 |
antagonistMuscles Bicep and Tricep |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10782-10782 |
%每个 Bicep 是 臂 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10780-10780 |
Bicep 是 肌肉 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10781-10781 |
Bicep typically 是 臂 的 part |