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 10879-10879
(subclass CellPart BodyPart) Mid-level-ontology.kif 10878-10878 细胞部分身体部位subclass

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1169-1169 细胞部分range细胞部分 的实例
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1079-1079 细胞内膜组细胞部分subclass
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 442-442 细胞膜细胞部分subclass
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10888-10888 细胞核细胞部分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 1049-1049 骨架细胞部分subclass
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1052-1052 内膜细胞部分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 1168-1168 细胞部分 的 2 数量 是 细胞部分subclass

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


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