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

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1171-1171 範圍 細胞部分 and 細胞部分
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1081-1081 子類 細胞內膜組 and 細胞部分
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 442-442 子類 細胞膜 and 細胞部分
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10916-10916 子類 細胞核 and 細胞部分
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 445-445 子類 CellWall and 細胞部分
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 577-577 子類 Chromosome and 細胞部分
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 596-596 子類 染色質 and 細胞部分
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 434-434 子類 細胞質 and 細胞部分
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1051-1051 子類 骨架 and 細胞部分
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1054-1054 子類 內膜 and 細胞部分
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 547-547 子類 親水側 and 細胞部分
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 536-536 子類 疏水面 and 細胞部分
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 492-492 子類 脂質雙分子層 and 細胞部分
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 618-618 子類 Nucleosome and 細胞部分
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 438-438 子類 蛋白質合成工具 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 1170-1170 域子類 細胞部分, 2 and 細胞部分

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