| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10698-10698 |
antagonistMuscles Bicep and Tricep |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10783-10783 |
%每個 Bicep 是 臂 的 initially part |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10781-10781 |
子類 Bicep and Muscle |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10782-10782 |
Bicep typically 是 臂 的 part |
Bicep