| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10697-10697 |
Bicep and tricep are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10782-10782 |
Every bicep is initially part of a arm |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10780-10780 |
Bicep is a subclass of muscle |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10781-10781 |
A bicep is typically a part of a arm |
Bicep