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 586-586 range CellPartFn and CellPart
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 496-496 subclass CellInternalMembraneGroup and CellPart
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 357-357 subclass CellMembrane and CellPart
(subclass CellNucleus CellPart) Mid-level-ontology.kif 9304-9304 subclass CellNucleus and CellPart
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 456-456 subclass Chromotin and CellPart
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 349-349 subclass Cytoplasm and CellPart
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 466-466 subclass Cytoskeleton and CellPart
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 469-469 subclass Endomembrane and CellPart
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 426-426 subclass HydrophilicSide and CellPart
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 415-415 subclass HydrophobicSide and CellPart
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 371-371 subclass LipidBilayer and CellPart
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 353-353 subclass ProteinSynthesisTool and CellPart
(termFormat ChineseLanguage CellPart "细胞部分") domainEnglishFormat.kif 13618-13618
(termFormat ChineseTraditionalLanguage CellPart "細胞部分") domainEnglishFormat.kif 13617-13617
(termFormat EnglishLanguage CellPart "cell part") domainEnglishFormat.kif 13616-13616

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


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

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


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