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 10907-10907
(subclass CellPart BodyPart) Mid-level-ontology.kif 10906-10906 CellPart è una sottoclasse di ParteDelCorpo

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 1171-1171 rango di CellPartFn è un'istanza di CellPart
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 1081-1081 CellInternalMembraneGroup è una sottoclasse di CellPart
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 442-442 CellMembrane è una sottoclasse di CellPart
(subclass CellNucleus CellPart) Mid-level-ontology.kif 10916-10916 CellNucleus è una sottoclasse di CellPart
(subclass CellWall CellPart) VirusProteinAndCellPart.kif 445-445 CellWall è una sottoclasse di CellPart
(subclass Chromosome CellPart) VirusProteinAndCellPart.kif 577-577 Chromosome è una sottoclasse di CellPart
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 596-596 Chromotin è una sottoclasse di CellPart
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 434-434 Cytoplasm è una sottoclasse di CellPart
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 1051-1051 Cytoskeleton è una sottoclasse di CellPart
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 1054-1054 Endomembrane è una sottoclasse di CellPart
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 547-547 HydrophilicSide è una sottoclasse di CellPart
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 536-536 HydrophobicSide è una sottoclasse di CellPart
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 492-492 LipidBilayer è una sottoclasse di CellPart
(subclass Nucleosome CellPart) VirusProteinAndCellPart.kif 618-618 Nucleosome è una sottoclasse di CellPart
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 438-438 ProteinSynthesisTool è una sottoclasse di CellPart
(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 Il numero 2 argomento CellPartFn è una sottoclasse diCellPart

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


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