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

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 588-588 range CellPartFn and CellPart
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 498-498 subclass CellInternalMembraneGroup and CellPart
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 359-359 subclass CellMembrane and CellPart
(subclass CellNucleus CellPart) Mid-level-ontology.kif 9304-9304 subclass CellNucleus and CellPart
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 458-458 subclass Chromotin and CellPart
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 351-351 subclass Cytoplasm and CellPart
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 468-468 subclass Cytoskeleton and CellPart
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 471-471 subclass Endomembrane and CellPart
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 428-428 subclass HydrophilicSide and CellPart
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 417-417 subclass HydrophobicSide and CellPart
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 373-373 subclass LipidBilayer and CellPart
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 355-355 subclass ProteinSynthesisTool and CellPart
(termFormat ChineseLanguage CellPart "细胞部分") domainEnglishFormat.kif 13684-13684
(termFormat ChineseTraditionalLanguage CellPart "細胞部分") domainEnglishFormat.kif 13683-13683
(termFormat EnglishLanguage CellPart "cell part") domainEnglishFormat.kif 13682-13682

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


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

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


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