CellPart - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CellPart EnglishLanguage "part of a Cell")	Mid-level-ontology.kif 9295-9295
(subclass CellPart BodyPart)	Mid-level-ontology.kif 9294-9294	subclass CellPart and BodyPart

appearance as argument number 2

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

appearance as argument number 3

(domainSubclass CellPartFn 2 CellPart)

VirusProteinAndCellPart.kif 587-587

domainSubclass CellPartFn, 2 and CellPart

antecedent

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

Mid-level-ontology.kif 9297-9302

instance Object and CellPart
Entity instance Entity and Cell properPart Object and Entity

consequent

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

VirusProteinAndCellPart.kif 479-483

instance Collection and GolgiApparatus member Object and Collection
instance Object and CellPart

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: