No TPTP formula. May not be expressible in strict first order.	Muscles.kif 343-343	antagonistMuscles PlatysmaMuscle and MasseterMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 354-354	antagonistMuscles PlatysmaMuscle and TemporalisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 570-570	antagonistMuscles PosteriorCricoarytenoidMuscle and CricoarytenoidLateralMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1389-1389	antagonistMuscles PronatorTeresMuscle and SupinatorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1526-1526	antagonistMuscles PronatorTeresPronatorQuadratusMuscle and SupinatorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1881-1881	antagonistMuscles QuadricepsFemorisMuscle and BicepsFemorisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1903-1903	antagonistMuscles QuadricepsFemorisMuscle and SemimembranosusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1892-1892	antagonistMuscles QuadricepsFemorisMuscle and SemitendinosusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 751-751	antagonistMuscles SerratusAnteriorMuscle and LevatorScapulaeMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1216-1216	antagonistMuscles SerratusAnteriorMuscle and RhomboidMajorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1225-1225	antagonistMuscles SerratusAnteriorMuscle and RhomboidMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1206-1206	antagonistMuscles SerratusAnteriorMuscle and RhomboidsMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 921-921	antagonistMuscles SpinalisMuscle and RectusAbdominusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1308-1308	antagonistMuscles SubscapularisPectoralisMajorLatissimusDorsiMuscle and InfraspinatusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1317-1317	antagonistMuscles SubscapularisPectoralisMajorLatissimusDorsiMuscle and TeresMinorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1438-1438	antagonistMuscles SupinatorMuscle and PronatorQuadratusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2090-2090	antagonistMuscles TibialisAnteriorMuscle and FibularisLongusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2022-2022	antagonistMuscles TibialisAnteriorMuscle and GastrocnemiusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2042-2042	antagonistMuscles TibialisAnteriorMuscle and PlantarisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2033-2033	antagonistMuscles TibialisAnteriorMuscle and SoleusMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2079-2079	antagonistMuscles TibialisAnteriorMuscle and TibialisPosteriorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2099-2099	antagonistMuscles TibialisPosteriorMuscle and FibularisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1194-1194	antagonistMuscles TrapeziusMuscle and LatissimusDorsiMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1191-1191	antagonistMuscles TrapeziusMuscle and SerratusAnteriorMuscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1367-1367	antagonistMuscles TricepsBrachiiMuscle and BicepsBrachialiiMuscle
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners