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 |
initialPart Bicep and Arm |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10781-10781 |
Bicep e' uma sub-classe de Musculo |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10782-10782 |
typicalPart Bicep and Arm |