CellPart |
appearance as argument number 1 |
(documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 10880-10880 | |
(subclass CellPart BodyPart) | Mid-level-ontology.kif 10879-10879 | CellPart est une sous-classe de partie du corps |
appearance as argument number 2 |
(range CellPartFn CellPart) | VirusProteinAndCellPart.kif 1170-1170 | Le domaine de CellPartFn est une instance de CellPart |
(subclass CellInternalMembraneGroup CellPart) | VirusProteinAndCellPart.kif 1080-1080 | CellInternalMembraneGroup est une sous-classe de CellPart |
(subclass CellMembrane CellPart) | VirusProteinAndCellPart.kif 443-443 | CellMembrane est une sous-classe de CellPart |
(subclass CellNucleus CellPart) | Mid-level-ontology.kif 10889-10889 | CellNucleus est une sous-classe de CellPart |
(subclass CellWall CellPart) | VirusProteinAndCellPart.kif 446-446 | CellWall est une sous-classe de CellPart |
(subclass Chromosome CellPart) | VirusProteinAndCellPart.kif 578-578 | Chromosome est une sous-classe de CellPart |
(subclass Chromotin CellPart) | VirusProteinAndCellPart.kif 597-597 | Chromotin est une sous-classe de CellPart |
(subclass Cytoplasm CellPart) | VirusProteinAndCellPart.kif 435-435 | Cytoplasm est une sous-classe de CellPart |
(subclass Cytoskeleton CellPart) | VirusProteinAndCellPart.kif 1050-1050 | Cytoskeleton est une sous-classe de CellPart |
(subclass Endomembrane CellPart) | VirusProteinAndCellPart.kif 1053-1053 | Endomembrane est une sous-classe de CellPart |
(subclass HydrophilicSide CellPart) | VirusProteinAndCellPart.kif 548-548 | HydrophilicSide est une sous-classe de CellPart |
(subclass HydrophobicSide CellPart) | VirusProteinAndCellPart.kif 537-537 | HydrophobicSide est une sous-classe de CellPart |
(subclass LipidBilayer CellPart) | VirusProteinAndCellPart.kif 493-493 | LipidBilayer est une sous-classe de CellPart |
(subclass Nucleosome CellPart) | VirusProteinAndCellPart.kif 619-619 | Nucleosome est une sous-classe de CellPart |
(subclass ProteinSynthesisTool CellPart) | VirusProteinAndCellPart.kif 439-439 | ProteinSynthesisTool est une sous-classe de CellPart |
(termFormat ChineseLanguage CellPart "细胞部分") | domainEnglishFormat.kif 13674-13674 | |
(termFormat ChineseTraditionalLanguage CellPart "細胞部分") | domainEnglishFormat.kif 13673-13673 | |
(termFormat EnglishLanguage CellPart "cell part") | domainEnglishFormat.kif 13672-13672 |
appearance as argument number 3 |
(domainSubclass CellPartFn 2 CellPart) | VirusProteinAndCellPart.kif 1169-1169 | 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 10882-10887 |
consequent |
(=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1061-1065 |
|