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 | antagonistMuscles 的 1 数量 是 肌肉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10662-10662 | antagonistMuscles 的 2 数量 是 肌肉 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10659-10659 | antagonistMuscles 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10660-10660 | antagonistMuscles 是 非自反关系 的 instance |
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 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10685-10696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10672-10683 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2198-2198 | antagonistMuscles AbductorDigitiMinimiMuscle and FlexorDigitiMinimiBrevisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2188-2188 | antagonistMuscles AbductorHallucisMuscle and AdductorHallucisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2135-2135 | antagonistMuscles AdductorHallucisMuscle and AbductorHallucisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1588-1588 | antagonistMuscles AdductorPollicisMuscle and AbductorPollicisBrevisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1542-1542 | antagonistMuscles AdductorPollicisMuscle and AbductorPollicisLongusMuscle |
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 10700-10700 | antagonistMuscles CalfMuscle and ShinMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1193-1193 | antagonistMuscles DeltoidMuscle and LatissimusDorsiMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2207-2207 | antagonistMuscles DorsalInterosseiMuscle and PlantarInterosseiMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 833-833 | antagonistMuscles ErectorSpinaeMuscle and RectusAbdominisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 891-891 | antagonistMuscles ErectorSpinaeMuscle and RectusAbdominusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1407-1407 | antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle and PalmarisLongusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1398-1398 | antagonistMuscles ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and FlexorCarpiRadialisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1418-1418 | antagonistMuscles ExtensorCarpiUlnarisMuscle and FlexorCarpiUlnarisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1625-1625 | antagonistMuscles ExtensorDigitiMinimiMuscle and FingerFlexorDigitiMinimiBrevisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2143-2143 | antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumBrevisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2070-2070 | antagonistMuscles ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and FlexorDigitorumLongusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1447-1447 | antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumProfundusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1427-1427 | antagonistMuscles ExtensorDigitorumMuscle and FlexorDigitorumSuperficialisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2178-2178 | antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisBrevis |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2061-2061 | antagonistMuscles ExtensorHallucisLongusMuscle and FlexorHallucisLongusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1579-1579 | antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisBrevisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1458-1458 | antagonistMuscles ExtensorPollicisLongusExtensorPollicisBrevisMuscle and FlexorPollicisLongusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1026-1026 | antagonistMuscles ExternalIntercostalsMuscle and InternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1976-1976 | antagonistMuscles FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle and TibialisAnteriorMuscle |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |