8: Describe DNA-Replication as a kind of Enzyme-Catalysis
Shaken formulation:
Describe a DNA-Replication as a kind of Enzyme-Catalysis ?
Answer
Question in KM
Template
Describe <instance> as a kind of <class>?
Parameters
| INSTANCE | |
|---|---|
| CLASS | Enzyme-Catalysis |
Code
("p6b: "Describe <instance> as a kind of <class>"
(defun answer-p6b-data (instance class)
(setq instance (okbc:coerce-to-frame instance :kb *base-kb*))
(setq class (okbc:coerce-to-frame class :kb *base-kb*))
`(answer
(question-type p6b)
(instance ,instance)
(class ,class)
(slot-values ,@(loop for slot in (question-slot-options class)
when (okbc:get-slot-values instance slot
:kb *base-kb* :inference-level :all-inferable)
collect (cons slot
(okbc:get-slot-values instance slot
:kb *base-kb* :inference-level :all-inferable))))))
)
Raw Answer
((question-type p6b) (instance _dna-replication1056)
(class enzyme-catalysis)
(slot-values (result _dna-double-strand1058)
(object _macromolecule1059)
(instrument _dna-polymerase-replication-enzyme1057))
(explanations
((_dna-replication1056 result _dna-double-strand1058
((a tangible-entity)
(a dna-double-strand with
(has-part
(((the polydeoxyribonucleotide has-part of
(the dna-double-strand object of
_dna-replication1056))
called the template strand
(@ dna-replication result dna-double-strand
has-part))
(a polydeoxyribonucleotide called daughter strand
(@ dna-replication result dna-double-strand
has-part))))
(@ dna-replication result))))
(_dna-replication1056 object _macromolecule1059
((a tangible-entity)
(a macromolecule with
(instance-of
((possible-values polydeoxyribonucleotide
dna-double-strand
(@ dna-replication object macromolecule
instance-of))))
(@ dna-replication object))))
(_dna-replication1056 instrument
_dna-polymerase-replication-enzyme1057
((a dna-polymerase-replication-enzyme
(@ dna-replication instrument)))))))
Explanation
The DNA-Double-Strand is result of the DNA-ReplicationKB rule (English):
The following rule was asserted for Concept
The result of a is: a Tangible-Entity
Concept DNA-Replication is a subconcept of concept
KB rule (KM):
((a tangible-entity))
KB rule (English):
The following rule was asserted for Concept DNA-Replication
The result of a DNA-Replication is: a DNA-Double-Strand with the following-properties:
KB rule (KM):
(every dna-replication has
(result
((a dna-double-strand with
(has-part
(((the polydeoxyribonucleotide has-part of
(the dna-double-strand object of
_dna-replication1056))
called the template strand)
(a polydeoxyribonucleotide called
daughter strand)))))))KB rule (English):
The following rule was asserted for Concept
The object of a is: a Tangible-Entity
Concept DNA-Replication is a subconcept of concept
KB rule (KM):
((a tangible-entity))
KB rule (English):
The following rule was asserted for Concept DNA-Replication
The object of a DNA-Replication is: a Macromolecule with the following-properties:
KB rule (KM):
(every dna-replication has
(object
((a macromolecule with
(instance-of
((possible-values polydeoxyribonucleotide
dna-double-strand)))))))KB rule (English):
The following rule was asserted for Concept DNA-Replication
The instrument of a DNA-Replication is: a DNA-Polymerase-Replication-Enzyme
KB rule (KM):
(every dna-replication has (instrument ((a dna-polymerase-replication-enzyme))))
Terms
SHAKEN - Unpublished Copyright © 1999-2001, SRI Team