| appearance as argument number 1 |
|
| (documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 12211-12211 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 12210-12210 | CellPart est une sous-classe de partie du corps |
| appearance as argument number 2 |
|
|
| (range CellPartFn CellPart) | VirusProteinAndCellPart.kif 1178-1178 | Le domaine de CellPartFn est une instance de CellPart |
| (subclass CellInternalMembraneGroup CellPart) | VirusProteinAndCellPart.kif 1088-1088 | CellInternalMembraneGroup est une sous-classe de CellPart |
| (subclass CellMembrane CellPart) | VirusProteinAndCellPart.kif 447-447 | CellMembrane est une sous-classe de CellPart |
| (subclass CellNucleus CellPart) | Mid-level-ontology.kif 12220-12220 | CellNucleus est une sous-classe de CellPart |
| (subclass CellWall CellPart) | VirusProteinAndCellPart.kif 450-450 | CellWall est une sous-classe de CellPart |
| (subclass Chromosome CellPart) | VirusProteinAndCellPart.kif 582-582 | Chromosome est une sous-classe de CellPart |
| (subclass Chromotin CellPart) | VirusProteinAndCellPart.kif 602-602 | Chromotin est une sous-classe de CellPart |
| (subclass Cytoplasm CellPart) | VirusProteinAndCellPart.kif 439-439 | Cytoplasm est une sous-classe de CellPart |
| (subclass Cytoskeleton CellPart) | VirusProteinAndCellPart.kif 1058-1058 | Cytoskeleton est une sous-classe de CellPart |
| (subclass Endomembrane CellPart) | VirusProteinAndCellPart.kif 1061-1061 | Endomembrane est une sous-classe de CellPart |
| (subclass HydrophilicSide CellPart) | VirusProteinAndCellPart.kif 552-552 | HydrophilicSide est une sous-classe de CellPart |
| (subclass HydrophobicSide CellPart) | VirusProteinAndCellPart.kif 541-541 | HydrophobicSide est une sous-classe de CellPart |
| (subclass LipidBilayer CellPart) | VirusProteinAndCellPart.kif 497-497 | LipidBilayer est une sous-classe de CellPart |
| (subclass Nucleosome CellPart) | VirusProteinAndCellPart.kif 624-624 | Nucleosome est une sous-classe de CellPart |
| (subclass ProteinSynthesisTool CellPart) | VirusProteinAndCellPart.kif 443-443 | ProteinSynthesisTool est une sous-classe de CellPart |
| (termFormat ChineseLanguage CellPart "细胞部分") | domainEnglishFormat.kif 13683-13683 | ProteinSynthesisTool est une sous-classe de CellPart |
| (termFormat ChineseTraditionalLanguage CellPart "細胞部分") | domainEnglishFormat.kif 13682-13682 | ProteinSynthesisTool est une sous-classe de CellPart |
| (termFormat EnglishLanguage CellPart "cell part") | domainEnglishFormat.kif 13681-13681 | ProteinSynthesisTool est une sous-classe de CellPart |
| appearance as argument number 3 |
|
|
| (domainSubclass CellPartFn 2 CellPart) | VirusProteinAndCellPart.kif 1177-1177 | Le nombre 2 argument de CellPartFn est une sous-classe de CellPart |
| antecedent |
|
|
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 12213-12218 |
| consequent |
|
|
| (=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1069-1073 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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