![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Enzyme Protein) | Merge.kif 15004-15004 | Enzyme is a subclass of protein |
| (documentation Enzyme EnglishLanguage "A complex Protein that is produced by living cells and which catalyzes specific biochemical reactions. There are six main types of enzymes: oxidoreductases, transferases, hydrolases, lyases, isomerases, and ligases.") | Merge.kif 15005-15008 | Enzyme is a subclass of protein |
| (externalImage Enzyme "http://upload.wikimedia.org/wikipedia/commons/4/41/ Factor_D_Enzyme.jpg") | pictureList.kif 4676-4676 | Enzyme is a subclass of protein |
| appearance as argument number 2 |
|
|
| (subclass InitiatorProtein Enzyme) | VirusProteinAndCellPart.kif 265-265 | Initiator protein is a subclass of enzyme |
| (subclass DNAPolymerase Enzyme) | VirusProteinAndCellPart.kif 269-269 | DNA polymerase is a subclass of enzyme |
| (subclass VitF2Protein Enzyme) | VirusProteinAndCellPart.kif 311-311 | Vit f2 protein is a subclass of enzyme |
| (subclass RNAProcessingEnzyme Enzyme) | VirusProteinAndCellPart.kif 315-315 | RNA processing enzyme is a subclass of enzyme |
| (subclass VirionEnzyme Enzyme) | VirusProteinAndCellPart.kif 1119-1119 | Virion enzyme is a subclass of enzyme |
| (termFormat EnglishLanguage Enzyme "enzyme") | english_format.kif 1230-1230 | Virion enzyme is a subclass of enzyme |
| antecedent |
|
|
| (=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 261-263 | If X is an instance of enzyme, then X is capable of doing chemical process as a catalyst |