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 12211-12211
(subclass CellPart BodyPart) Mid-level-ontology.kif 12210-12210 CellPart は 体の部分 の subclass では

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1178-1178 CellPartFn の range は CellPart のインスタンス では
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1088-1088 CellInternalMembraneGroup は CellPart の subclass では
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 447-447 CellMembrane は CellPart の subclass では
(subclass CellNucleus CellPart) Mid-level-ontology.kif 12220-12220 CellNucleus は CellPart の subclass では
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 450-450 CellWall は CellPart の subclass では
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 582-582 Chromosome は CellPart の subclass では
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 602-602 Chromotin は CellPart の subclass では
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 439-439 Cytoplasm は CellPart の subclass では
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1058-1058 Cytoskeleton は CellPart の subclass では
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1061-1061 Endomembrane は CellPart の subclass では
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 552-552 HydrophilicSide は CellPart の subclass では
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 541-541 HydrophobicSide は CellPart の subclass では
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 497-497 LipidBilayer は CellPart の subclass では
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 624-624 Nucleosome は CellPart の subclass では
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 443-443 ProteinSynthesisTool は CellPart の subclass では
(termFormat ChineseLanguage CellPart "细胞部分") domainEnglishFormat.kif 13683-13683 ProteinSynthesisTool は CellPart の subclass では
(termFormat ChineseTraditionalLanguage CellPart "細胞部分") domainEnglishFormat.kif 13682-13682 ProteinSynthesisTool は CellPart の subclass では
(termFormat EnglishLanguage CellPart "cell part") domainEnglishFormat.kif 13681-13681 ProteinSynthesisTool は CellPart の subclass では

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


(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 1177-1177 CellPartFn の数値 2 引数は CellPart のsubclass では

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


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

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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