| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | Partie du corps est une sous-classe de structure anatomique |
| 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 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 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 10571-10571 | BodySegment est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10878-10878 | CellPart 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. | 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 11457-11457 | Hoof est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11525-11525 | AnimalShell 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 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 11669-11669 | Exoskeleton 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 11855-11855 | Pons 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 11869-11869 | FrontalLobe 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. | 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 12093-12093 | Hypothalamus est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12133-12133 | Cornea est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12481-12481 | DigitAppendage 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 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 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 12806-12806 | Torso 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 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12865-12865 | Head 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 12882-12882 | Face est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12918-12918 | Chin est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20336-20336 | Feather 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. | Merge.kif 15094-15094 | Partie du corps en recouvrant une autre est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15108-15108 | Junction de parties du corps est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15120-15120 | BodyCavity est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15128-15128 | Cellule 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. | Merge.kif 15223-15223 | Os 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. | Medicine.kif 5654-5654 | HumanBack est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2546-2546 | EggYolk est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 259-259 | XyphiodProcess est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1434-1434 | Eyebrow est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1483-1483 | Forehead est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1611-1611 | Auricle est une sous-classe de partie du corps |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1623-1623 | Eardrum 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 |
|
|