CellPart - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(range CellPartFn CellPart)	VirusProteinAndCellPart.kif 1169-1169
(subclass CellInternalMembraneGroup CellPart)	VirusProteinAndCellPart.kif 1079-1079
(subclass CellMembrane CellPart)	VirusProteinAndCellPart.kif 442-442
(subclass CellNucleus CellPart)	Mid-level-ontology.kif 10888-10888
(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 1049-1049
(subclass Endomembrane CellPart)	VirusProteinAndCellPart.kif 1052-1052
(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 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 1168-1168

antecedent

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

Mid-level-ontology.kif 10881-10886

consequent

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

VirusProteinAndCellPart.kif 1060-1064