No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5654-5654	HumanBack est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12093-12093	Hypothalamus est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1658-1658	Jaw est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12549-12549	Limb est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11588-11588	Lip est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11849-11849	Medulla est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11421-11421	Mouth est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15251-15251	Muscle est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6096-6096	NasalSeptum est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12870-12870	Neck est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11877-11877	OccipitalLobes est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15132-15132	Organe est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11861-11861	ParietalLobe est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9473-9473	PlantBranch est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11855-11855	Pons est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15040-15040	Corps reproducteur est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12780-12780	Shoulder est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11650-11650	Skeleton est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11884-11884	TemporalLobes est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12757-12757	Toe est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11433-11433	Tongue est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12806-12806	Torso est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1099-1099	VirusPart est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 805-805	VocalFold est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12822-12822	Waist est une sous-classe de partie du corps
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