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 子類 細胞部分 and BodyPart

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1170-1170 範圍 細胞部分 and 細胞部分
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1080-1080 子類 細胞內膜組 and 細胞部分
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 443-443 子類 細胞膜 and 細胞部分
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10889-10889 子類 細胞核 and 細胞部分
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 446-446 子類 CellWall and 細胞部分
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 578-578 子類 Chromosome and 細胞部分
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 597-597 子類 染色質 and 細胞部分
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 435-435 子類 細胞質 and 細胞部分
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1050-1050 子類 骨架 and 細胞部分
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1053-1053 子類 內膜 and 細胞部分
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 548-548 子類 親水側 and 細胞部分
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 537-537 子類 疏水面 and 細胞部分
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 493-493 子類 脂質雙分子層 and 細胞部分
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 619-619 子類 Nucleosome and 細胞部分
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 439-439 子類 蛋白質合成工具 and 細胞部分
(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 and 細胞部分

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