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

Formal Language: 



KB Term:  Term intersection
English Word: 

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