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

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1171-1171
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1081-1081
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 442-442
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10916-10916
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 445-445
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 577-577
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 596-596
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 434-434
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1051-1051
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1054-1054
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 547-547
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 536-536
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 492-492
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 618-618
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 438-438
(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

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