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 10381-10381
(subclass CellPart BodyPart) Mid-level-ontology.kif 10380-10380 subclass CellPart and BodyPart

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 657-657 range CellPartFn and CellPart
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 567-567 subclass CellInternalMembraneGroup and CellPart
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 392-392 subclass CellMembrane and CellPart
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10390-10390 subclass CellNucleus and CellPart
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 395-395 subclass CellWall and CellPart
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 527-527 subclass Chromotin and CellPart
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 384-384 subclass Cytoplasm and CellPart
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 537-537 subclass Cytoskeleton and CellPart
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 540-540 subclass Endomembrane and CellPart
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 497-497 subclass HydrophilicSide and CellPart
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 486-486 subclass HydrophobicSide and CellPart
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 442-442 subclass LipidBilayer and CellPart
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 388-388 subclass ProteinSynthesisTool and CellPart
(termFormat ChineseLanguage CellPart "细胞部分") domainEnglishFormat.kif 13677-13677
(termFormat ChineseTraditionalLanguage CellPart "細胞部分") domainEnglishFormat.kif 13676-13676
(termFormat EnglishLanguage CellPart "cell part") domainEnglishFormat.kif 13675-13675

appearance as argument number 3
-------------------------


(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 656-656 domainSubclass CellPartFn, 2 and CellPart

antecedent
-------------------------


(=>
    (instance ?OBJ1 CellPart)
    (exists (?CELL)
        (and
            (instance ?CELL Cell)
            (properPart ?OBJ1 ?CELL))))		 Mid-level-ontology.kif 10383-10388

consequent
-------------------------


(=>
    (and
        (instance ?GOLGI GolgiApparatus)
        (member ?PART ?GOLGI))
    (instance ?PART CellPart))		 VirusProteinAndCellPart.kif 548-552


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