Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CellInternalMembraneGroup
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CellInternalMembraneGroup CellPart) | VirusProteinAndCellPart.kif 1066-1066 | Cell internal membrane group is a subclass of cell part |
| (documentation CellInternalMembraneGroup EnglishLanguage "The class of groups of internal cell membranes contained within each cell.") | VirusProteinAndCellPart.kif 1067-1068 | Cell internal membrane group is a subclass of cell part |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?GROUP CellInternalMembraneGroup) (member ?MEMBRANE ?GROUP)) (instance ?MEMBRANE CellMembraneInternal)) |
VirusProteinAndCellPart.kif 1070-1074 | If X is an instance of cell internal membrane group and Y is a member of X, then Y is an instance of internal cell membrane |
|