| appearance as argument number 1 |
|
| (documentation CellPart EnglishLanguage "part of a Cell") | Mid-level-ontology.kif 10880-10880 | |
| (subclass CellPart BodyPart) | Mid-level-ontology.kif 10879-10879 | CellPart は 体の部分 の subclass では %n |
| appearance as argument number 2 |
|
|
| (range CellPartFn CellPart) | VirusProteinAndCellPart.kif 1170-1170 | CellPartFn の range は CellPart のインスタンス では %n |
| (subclass CellInternalMembraneGroup CellPart) | VirusProteinAndCellPart.kif 1080-1080 | CellInternalMembraneGroup は CellPart の subclass では %n |
| (subclass CellMembrane CellPart) | VirusProteinAndCellPart.kif 443-443 | CellMembrane は CellPart の subclass では %n |
| (subclass CellNucleus CellPart) | Mid-level-ontology.kif 10889-10889 | CellNucleus は CellPart の subclass では %n |
| (subclass CellWall CellPart) | VirusProteinAndCellPart.kif 446-446 | CellWall は CellPart の subclass では %n |
| (subclass Chromosome CellPart) | VirusProteinAndCellPart.kif 578-578 | Chromosome は CellPart の subclass では %n |
| (subclass Chromotin CellPart) | VirusProteinAndCellPart.kif 597-597 | Chromotin は CellPart の subclass では %n |
| (subclass Cytoplasm CellPart) | VirusProteinAndCellPart.kif 435-435 | Cytoplasm は CellPart の subclass では %n |
| (subclass Cytoskeleton CellPart) | VirusProteinAndCellPart.kif 1050-1050 | Cytoskeleton は CellPart の subclass では %n |
| (subclass Endomembrane CellPart) | VirusProteinAndCellPart.kif 1053-1053 | Endomembrane は CellPart の subclass では %n |
| (subclass HydrophilicSide CellPart) | VirusProteinAndCellPart.kif 548-548 | HydrophilicSide は CellPart の subclass では %n |
| (subclass HydrophobicSide CellPart) | VirusProteinAndCellPart.kif 537-537 | HydrophobicSide は CellPart の subclass では %n |
| (subclass LipidBilayer CellPart) | VirusProteinAndCellPart.kif 493-493 | LipidBilayer は CellPart の subclass では %n |
| (subclass Nucleosome CellPart) | VirusProteinAndCellPart.kif 619-619 | Nucleosome は CellPart の subclass では %n |
| (subclass ProteinSynthesisTool CellPart) | VirusProteinAndCellPart.kif 439-439 | ProteinSynthesisTool は CellPart の subclass では %n |
| (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 1169-1169 | CellPartFn の数値 2 引数は CellPart のsubclass では %n |
| antecedent |
|
|
| (=> (instance ?OBJ1 CellPart) (exists (?CELL) (and (instance ?CELL Cell) (properPart ?OBJ1 ?CELL)))) |
Mid-level-ontology.kif 10882-10887 |
| consequent |
|
|
| (=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1061-1065 |
|
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