|
|
   CellPart
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 10832-10832 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 10831-10831 |
| appearance as argument number 2 |
|
|
| (range CellPartFn CellPart) | VirusProteinAndCellPart.kif 657-657 | |
| (subclass CellInternalMembraneGroup CellPart) | VirusProteinAndCellPart.kif 567-567 | |
| (subclass CellMembrane CellPart) | VirusProteinAndCellPart.kif 392-392 | |
| (subclass CellNucleus CellPart) | Mid-level-ontology.kif 10841-10841 | |
| (subclass CellWall CellPart) | VirusProteinAndCellPart.kif 395-395 | |
| (subclass Chromotin CellPart) | VirusProteinAndCellPart.kif 527-527 | |
| (subclass Cytoplasm CellPart) | VirusProteinAndCellPart.kif 384-384 | |
| (subclass Cytoskeleton CellPart) | VirusProteinAndCellPart.kif 537-537 | |
| (subclass Endomembrane CellPart) | VirusProteinAndCellPart.kif 540-540 | |
| (subclass HydrophilicSide CellPart) | VirusProteinAndCellPart.kif 497-497 | |
| (subclass HydrophobicSide CellPart) | VirusProteinAndCellPart.kif 486-486 | |
| (subclass LipidBilayer CellPart) | VirusProteinAndCellPart.kif 442-442 | |
| (subclass ProteinSynthesisTool CellPart) | VirusProteinAndCellPart.kif 388-388 | |
| (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 656-656 |
| antecedent |
|
|
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 10834-10839 |
| consequent |
|
|
| (=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 548-552 |
|
|
|