Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CellPart

Sigma KEE - CellPart
CellPart(细胞部分)

appearance as argument number 1
-------------------------


(documentation CellPart EnglishLanguage "part of a Cell") Mid-level-ontology.kif 10907-10907
(subclass CellPart BodyPart) Mid-level-ontology.kif 10906-10906 细胞部分身体部位subclass

appearance as argument number 2
-------------------------


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1171-1171 细胞部分range细胞部分 的实例
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1081-1081 细胞内膜组细胞部分subclass
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 442-442 细胞膜细胞部分subclass
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10916-10916 细胞核细胞部分subclass
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 445-445 CellWall细胞部分subclass
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 577-577 Chromosome细胞部分subclass
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 596-596 染色质细胞部分subclass
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 434-434 细胞质细胞部分subclass
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1051-1051 骨架细胞部分subclass
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1054-1054 内膜细胞部分subclass
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 547-547 亲水侧细胞部分subclass
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 536-536 疏水面细胞部分subclass
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 492-492 脂质双分子层细胞部分subclass
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 618-618 Nucleosome细胞部分subclass
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 438-438 蛋白质合成工具细胞部分subclass
(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 1170-1170 细胞部分 的 2 数量 是 细胞部分subclass

antecedent
-------------------------


(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))
Mid-level-ontology.kif 10909-10914

consequent
-------------------------


(=>
    (and
        (instance ?GOLGI GolgiApparatus)
        (member ?PART ?GOLGI))
    (instance ?PART CellPart))
VirusProteinAndCellPart.kif 1062-1066


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

Show without tree


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