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 586-586	range CellPartFn and CellPart
(subclass CellInternalMembraneGroup CellPart)	VirusProteinAndCellPart.kif 496-496	subclass CellInternalMembraneGroup and CellPart
(subclass CellMembrane CellPart)	VirusProteinAndCellPart.kif 357-357	subclass CellMembrane and CellPart
(subclass CellNucleus CellPart)	Mid-level-ontology.kif 9304-9304	subclass CellNucleus and CellPart
(subclass Chromotin CellPart)	VirusProteinAndCellPart.kif 456-456	subclass Chromotin and CellPart
(subclass Cytoplasm CellPart)	VirusProteinAndCellPart.kif 349-349	subclass Cytoplasm and CellPart
(subclass Cytoskeleton CellPart)	VirusProteinAndCellPart.kif 466-466	subclass Cytoskeleton and CellPart
(subclass Endomembrane CellPart)	VirusProteinAndCellPart.kif 469-469	subclass Endomembrane and CellPart
(subclass HydrophilicSide CellPart)	VirusProteinAndCellPart.kif 426-426	subclass HydrophilicSide and CellPart
(subclass HydrophobicSide CellPart)	VirusProteinAndCellPart.kif 415-415	subclass HydrophobicSide and CellPart
(subclass LipidBilayer CellPart)	VirusProteinAndCellPart.kif 371-371	subclass LipidBilayer and CellPart
(subclass ProteinSynthesisTool CellPart)	VirusProteinAndCellPart.kif 353-353	subclass ProteinSynthesisTool and CellPart
(termFormat ChineseLanguage CellPart "细胞部分")	domainEnglishFormat.kif 13618-13618
(termFormat ChineseTraditionalLanguage CellPart "細胞部分")	domainEnglishFormat.kif 13617-13617
(termFormat EnglishLanguage CellPart "cell part")	domainEnglishFormat.kif 13616-13616

appearance as argument number 3

(domainSubclass CellPartFn 2 CellPart)

VirusProteinAndCellPart.kif 585-585

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 477-481

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: