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

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1170-1170
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1080-1080
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 443-443
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10889-10889
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 446-446
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 578-578
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 597-597
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 435-435
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1050-1050
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1053-1053
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 548-548
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 537-537
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 493-493
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 619-619
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 439-439
(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

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