CellPart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CellPart EnglishLanguage "part of a Cell")	Mid-level-ontology.kif 12229-12229
(subclass CellPart BodyPart)	Mid-level-ontology.kif 12228-12228

appearance as argument number 2

(range CellPartFn CellPart)	VirusProteinAndCellPart.kif 1178-1178
(subclass CellInternalMembraneGroup CellPart)	VirusProteinAndCellPart.kif 1088-1088
(subclass CellMembrane CellPart)	VirusProteinAndCellPart.kif 447-447
(subclass CellNucleus CellPart)	Mid-level-ontology.kif 12238-12238
(subclass CellWall CellPart)	VirusProteinAndCellPart.kif 450-450
(subclass Chromosome CellPart)	VirusProteinAndCellPart.kif 582-582
(subclass Chromotin CellPart)	VirusProteinAndCellPart.kif 602-602
(subclass Cytoplasm CellPart)	VirusProteinAndCellPart.kif 439-439
(subclass Cytoskeleton CellPart)	VirusProteinAndCellPart.kif 1058-1058
(subclass Endomembrane CellPart)	VirusProteinAndCellPart.kif 1061-1061
(subclass HydrophilicSide CellPart)	VirusProteinAndCellPart.kif 552-552
(subclass HydrophobicSide CellPart)	VirusProteinAndCellPart.kif 541-541
(subclass LipidBilayer CellPart)	VirusProteinAndCellPart.kif 497-497
(subclass Nucleosome CellPart)	VirusProteinAndCellPart.kif 624-624
(subclass ProteinSynthesisTool CellPart)	VirusProteinAndCellPart.kif 443-443
(termFormat ChineseLanguage CellPart "细胞部分")	domainEnglishFormat.kif 13689-13689
(termFormat ChineseTraditionalLanguage CellPart "細胞部分")	domainEnglishFormat.kif 13688-13688
(termFormat EnglishLanguage CellPart "cell part")	domainEnglishFormat.kif 13687-13687

appearance as argument number 3

(domainSubclass CellPartFn 2 CellPart)

VirusProteinAndCellPart.kif 1177-1177

antecedent

(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))

Mid-level-ontology.kif 12231-12236

consequent

(=>
    (and
        (instance ?GOLGI GolgiApparatus)
        (member ?PART ?GOLGI))
    (instance ?PART CellPart))

VirusProteinAndCellPart.kif 1069-1073