CellPart - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(range CellPartFn CellPart)	VirusProteinAndCellPart.kif 1171-1171
(subclass CellInternalMembraneGroup CellPart)	VirusProteinAndCellPart.kif 1081-1081
(subclass CellMembrane CellPart)	VirusProteinAndCellPart.kif 442-442
(subclass CellNucleus CellPart)	Mid-level-ontology.kif 11107-11107
(subclass CellWall CellPart)	VirusProteinAndCellPart.kif 445-445
(subclass Chromosome CellPart)	VirusProteinAndCellPart.kif 577-577
(subclass Chromotin CellPart)	VirusProteinAndCellPart.kif 596-596
(subclass Cytoplasm CellPart)	VirusProteinAndCellPart.kif 434-434
(subclass Cytoskeleton CellPart)	VirusProteinAndCellPart.kif 1051-1051
(subclass Endomembrane CellPart)	VirusProteinAndCellPart.kif 1054-1054
(subclass HydrophilicSide CellPart)	VirusProteinAndCellPart.kif 547-547
(subclass HydrophobicSide CellPart)	VirusProteinAndCellPart.kif 536-536
(subclass LipidBilayer CellPart)	VirusProteinAndCellPart.kif 492-492
(subclass Nucleosome CellPart)	VirusProteinAndCellPart.kif 618-618
(subclass ProteinSynthesisTool CellPart)	VirusProteinAndCellPart.kif 438-438
(termFormat ChineseLanguage CellPart "细胞部分")	domainEnglishFormat.kif 13685-13685
(termFormat ChineseTraditionalLanguage CellPart "細胞部分")	domainEnglishFormat.kif 13684-13684
(termFormat EnglishLanguage CellPart "cell part")	domainEnglishFormat.kif 13683-13683

appearance as argument number 3

(domainSubclass CellPartFn 2 CellPart)

VirusProteinAndCellPart.kif 1170-1170

antecedent

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

Mid-level-ontology.kif 11100-11105

consequent

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

VirusProteinAndCellPart.kif 1062-1066