antagonistMuscles |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10663-10664 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10661-10661 | The number 1 argument of antagonist muscles is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10662-10662 | The number 2 argument of antagonist muscles is a subclass of muscle |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10659-10659 | antagonist muscles is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10660-10660 | antagonist muscles is an instance of irreflexive relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10666-10666 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10665-10665 |
antecedent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2198-2198 | Abductor digiti minimi muscle and flexor digiti minimi brevis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2188-2188 | Abductor hallucis muscle and adductor hallucis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2135-2135 | Adductor hallucis muscle and abductor hallucis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1588-1588 | AdductorPollicisMuscle and abductor pollicis brevis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1542-1542 | AdductorPollicisMuscle and abductor pollicis longus muscle are antagonist muscles |
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 10700-10700 | Gastrocnemius and tibialis anterior are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1193-1193 | Deltoid muscle and latissimus dorsi muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2207-2207 | Dorsal interossei muscle and plantar interossei muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 833-833 | Iliocostalis muscle and rectus abdominis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 891-891 | Iliocostalis muscle and RectusAbdominusMuscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1407-1407 | ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and palmaris longus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1398-1398 | ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and flexor carpi radialis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1418-1418 | Extensor carpi ulnaris muscle and flexor carpi ulnaris muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1625-1625 | Extensor digiti minimi muscle and finger flexor digiti minimi brevis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2143-2143 | ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum brevis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2070-2070 | ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum longus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1447-1447 | Extensor digitorum muscle and flexor digitorum profundus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1427-1427 | Extensor digitorum muscle and flexor digitorum superficialis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2178-2178 | Extensor hallucis longus muscle and FlexorHallucisBrevis are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2061-2061 | Extensor hallucis longus muscle and flexor hallucis longus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1579-1579 | ExtensorPollicisLongusExtensorPollicisBrevisMuscle and flexor pollicis brevis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1458-1458 | ExtensorPollicisLongusExtensorPollicisBrevisMuscle and flexor pollicis longus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1026-1026 | External intercostals muscle and internal intercostals muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1976-1976 | FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and tibialis anterior muscle are antagonist muscles |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |