No TPTP formula. May not be expressible in strict first order.	Muscles.kif 393-393	ChondroglossusMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1087-1087	CoccygeusMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1330-1330	CoracobrachialisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 64-64	CorrugatorSuperciliiMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 564-564	CricoarytenoidLateralMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 556-556	CricoarytenoidPosteriorMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 529-529	CricothyroidMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1166-1166	DeepTransversePerinealMuscleMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10819-10819	DeltoidMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 258-258	DepressorAnguliOrisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 275-275	DepressorLabiiInferiorisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 217-217	DepressorSeptiNasiMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 72-72	DepressorSuperciliiMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1078-1078	DiaphragmMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 596-596	DigastricMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2209-2209	DorsalInterosseiMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2117-2117	DorsalInterosseiOfFootMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 883-883	ErectorSpinaeMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1506-1506	ExtensorCarpiRadialisBrevisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1497-1497	ExtensorCarpiRadialisLongusMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1480-1480	ExtensorCarpiUlnarisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1471-1471	ExtensorDigitiMinimiMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 2101-2101	ExtensorDigitorumBrevisMuscle est une sous-classe de muscle
No TPTP formula. May not be expressible in strict first order.	Muscles.kif 1987-1987	ExtensorDigitorumLongusMuscle est une sous-classe de muscle
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