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 CellPart体の部分subclass では %n

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1169-1169 CellPartFnrangeCellPart のインスタンス では %n
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1079-1079 CellInternalMembraneGroupCellPartsubclass では %n
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 442-442 CellMembraneCellPartsubclass では %n
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10888-10888 CellNucleusCellPartsubclass では %n
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 445-445 CellWallCellPartsubclass では %n
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 577-577 ChromosomeCellPartsubclass では %n
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 596-596 ChromotinCellPartsubclass では %n
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 434-434 CytoplasmCellPartsubclass では %n
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1049-1049 CytoskeletonCellPartsubclass では %n
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1052-1052 EndomembraneCellPartsubclass では %n
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 547-547 HydrophilicSideCellPartsubclass では %n
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 536-536 HydrophobicSideCellPartsubclass では %n
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 492-492 LipidBilayerCellPartsubclass では %n
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 618-618 NucleosomeCellPartsubclass では %n
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 438-438 ProteinSynthesisToolCellPartsubclass では %n
(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 CellPartFn の数値 2 引数は CellPartsubclass では %n

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