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 8451-8451
(subclass CellPart BodyPart) Mid-level-ontology.kif 8450-8450

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


(range CellPartFn CellPart) VirusProteinAndCellPart.kif 588-588
(subclass CellInternalMembraneGroup CellPart) VirusProteinAndCellPart.kif 498-498
(subclass CellMembrane CellPart) VirusProteinAndCellPart.kif 359-359
(subclass CellNucleus CellPart) Mid-level-ontology.kif 8460-8460
(subclass Chromotin CellPart) VirusProteinAndCellPart.kif 458-458
(subclass Cytoplasm CellPart) VirusProteinAndCellPart.kif 351-351
(subclass Cytoskeleton CellPart) VirusProteinAndCellPart.kif 468-468
(subclass Endomembrane CellPart) VirusProteinAndCellPart.kif 471-471
(subclass HydrophilicSide CellPart) VirusProteinAndCellPart.kif 428-428
(subclass HydrophobicSide CellPart) VirusProteinAndCellPart.kif 417-417
(subclass LipidBilayer CellPart) VirusProteinAndCellPart.kif 373-373
(subclass ProteinSynthesisTool CellPart) VirusProteinAndCellPart.kif 355-355
(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 587-587

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


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

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


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


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