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

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1170-1170 细胞部分range细胞部分 的实例
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1080-1080 细胞内膜组细胞部分subclass
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 443-443 细胞膜细胞部分subclass
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10889-10889 细胞核细胞部分subclass
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 446-446 CellWall细胞部分subclass
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 578-578 Chromosome细胞部分subclass
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 597-597 染色质细胞部分subclass
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 435-435 细胞质细胞部分subclass
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1050-1050 骨架细胞部分subclass
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1053-1053 内膜细胞部分subclass
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 548-548 亲水侧细胞部分subclass
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 537-537 疏水面细胞部分subclass
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 493-493 脂质双分子层细胞部分subclass
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 619-619 Nucleosome细胞部分subclass
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 439-439 蛋白质合成工具细胞部分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 1169-1169 细胞部分 的 2 数量 是 细胞部分subclass

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


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

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


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


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