![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GolgiApparatus(golgi apparatus)
|
| appearance as argument number 1 |
|
|
| (subclass GolgiApparatus CollectionOfObjects) | VirusProteinAndCellPart.kif 1043-1043 | Golgi apparatus is a subclass of collection |
| (documentation GolgiApparatus EnglishLanguage "The stack of flattened vesicles that functions in the posttranslational processing and sorting of proteins.") | VirusProteinAndCellPart.kif 1044-1045 | Golgi apparatus is a subclass of collection |
| (externalImage GolgiApparatus "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Human_leukocyte%2C_showing_golgi_-_TEM.jpg") | pictureList.kif 1481-1481 | Golgi apparatus is a subclass of collection |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GOLGI GolgiApparatus) (member ?PART ?GOLGI)) (instance ?PART CellPart)) |
VirusProteinAndCellPart.kif 1047-1051 | If X is an instance of golgi apparatus and Y is a member of X, then Y is an instance of cell part |