CellPart - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(range CellPartFn CellPart)	VirusProteinAndCellPart.kif 588-588
(subclass CellInternalMembraneGroup CellPart)	VirusProteinAndCellPart.kif 498-498
(subclass CellMembrane CellPart)	VirusProteinAndCellPart.kif 359-359
(subclass CellNucleus CellPart)	Mid-level-ontology.kif 8460-8460
(subclass Chromotin CellPart)	VirusProteinAndCellPart.kif 458-458
(subclass Cytoplasm CellPart)	VirusProteinAndCellPart.kif 351-351
(subclass Cytoskeleton CellPart)	VirusProteinAndCellPart.kif 468-468
(subclass Endomembrane CellPart)	VirusProteinAndCellPart.kif 471-471
(subclass HydrophilicSide CellPart)	VirusProteinAndCellPart.kif 428-428
(subclass HydrophobicSide CellPart)	VirusProteinAndCellPart.kif 417-417
(subclass LipidBilayer CellPart)	VirusProteinAndCellPart.kif 373-373
(subclass ProteinSynthesisTool CellPart)	VirusProteinAndCellPart.kif 355-355
(termFormat ChineseLanguage CellPart "细胞部分")	domainEnglishFormat.kif 13677-13677
(termFormat ChineseTraditionalLanguage CellPart "細胞部分")	domainEnglishFormat.kif 13676-13676
(termFormat EnglishLanguage CellPart "cell part")	domainEnglishFormat.kif 13675-13675

appearance as argument number 3

(domainSubclass CellPartFn 2 CellPart)

VirusProteinAndCellPart.kif 587-587

antecedent

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

Mid-level-ontology.kif 8453-8458

consequent

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

VirusProteinAndCellPart.kif 479-483