| 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. | VirusProteinAndCellPart.kif 434-434 | Cytoplasm est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 438-438 | ProteinSynthesisTool est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 442-442 | CellMembrane est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 445-445 | CellWall est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 492-492 | LipidBilayer est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 536-536 | HydrophobicSide est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 547-547 | HydrophilicSide est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 577-577 | Chromosome est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 596-596 | Chromotin est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 618-618 | Nucleosome est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1049-1049 | Cytoskeleton est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1052-1052 | Endomembrane est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1079-1079 | CellInternalMembraneGroup est une sous-classe de CellPart |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10888-10888 | CellNucleus est une sous-classe de CellPart |
|
|