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