2: What is a DNA-Molecule-Replication
Shaken formulation:
What is the DNA-Molecule-Replication ?
Answer
|
Question in KM
Template
What is <instance>?
Parameters
| INSTANCE |
|---|
Code
("p6: What is <instance>?
The answer is computed from the EXPLAIN function, which is the general
explanation function used in Shaken for objects and processes. It is
based on the use of Explanation Design Plans (EDPs). EDP structure the
way the infomation (based on slot values) is displayed to the
user. The leaves of this structure are VIEWS of the concept.
A view is a partial and specialized set of slot values of a particular
concept. These slot values are organized by accessors. Each
slot in the base KB is linked to a particular accessor, e.g. the slot
destination is linked to the accessor location.
The result of the explanation is displayed as a list. The
structure of the list follows the hierarchical structure of the
EDP."
(defun answer-p6-data (instance expanded)
(setq instance (intern instance :user))
(let* ((explanation (rkf::list-explain
`(("concept" . ,instance)
("query-type" . ":explain-qn")
("expanded" . ,expanded)
))))
`(,@explanation
("concept" . ,instance)
("query-type" . :explain-qn)
(user::question-type user::p6)
("expanded" . ,expanded)))))
(defun list-explain (alist)
(let* ((user::*show-comments* nil)
(*dictionary* nil)
(concept-name (util::alist-value alist "concept"))
(query-type-string (util::alist-value alist "query-type"))
(concept (coerce-concept (intern concept-name :user)))
(query-type (and query-type-string
(intern (read-from-string query-type-string) :keyword))))
(if concept
(let ((query-type (if (equal query-type :explain-qn)
(get-concept-query-type concept)
(or query-type
(get-concept-query-type concept)))))
(list (cons "explanation"
(list-edp (explain query-type concept alist) alist))
(cons "question" (user::question-string query-type concept alist))
(cons "dictionary" *dictionary*))))))
(defun explain (query-type concept alist)
(when query-type
(let* ((edp (select-edp query-type))
(explanation-plan (construct-node edp concept alist)))
(apply-edp (get-node-type edp) edp explanation-plan)
explanation-plan)))
Raw Answer
((values
(<EDP>Process: a DNA-Molecule-Replication
(<EDP>Process Overview:
(<EDP>Definition:
(( A process by which a copy of a DNA molecule is made.)
(Alberts:ECB:G-6.) ()))
(<EDP>It is a kind of: (DNA-Replication))
(<EDP>Its participants are:
(<SLOT>object _Macromolecule990 _DNA-Molecule989)
(<SLOT>instrument
_DNA-Polymerase-Replication-Enzyme985)))
(<EDP>Process Details:
(<EDP>It is composed of the following subevents:
(_Replicon-Replication984))
(<EDP>Preconditions/postconditions:
(<SLOT>preconditions
<DEF>the DNA-Polymerase-Replication-Enzyme mustn't be a Entity that plays a Instrument and that is broken)
(<SLOT>the following conditions will become false
<DEF>The result of the DNA-Molecule-Replication must be a Tangible-Entity.)))
(<EDP>Output actor fates:
(<EDP>Outputs:
(<SLOT>result _DNA-Double-Strand988 _DNA-Molecule987
_DNA-Molecule986)))))
(concept . _dna-molecule-replication983)
(query-type . explain-qn) (question-type p6) (expanded)
(explanations
((_dna-molecule-replication983 instrument
_dna-polymerase-replication-enzyme985
((a dna-polymerase-replication-enzyme
(@ dna-replication instrument))))
(_dna-molecule-replication983 object _macromolecule990
((a macromolecule with
(instance-of
((possible-values polydeoxyribonucleotide
dna-double-strand))))))
(_dna-molecule-replication983 object _dna-molecule989
((a tangible-entity)
(a dna-molecule (@ dna-molecule-replication object))))
(_dna-molecule-replication983 subevent
_replicon-replication984
((a replicon-replication
(@ dna-molecule-replication subevent))))
(_dna-molecule-replication983 result
_dna-double-strand988
((a dna-double-strand with
(has-part
(((the polydeoxyribonucleotide has-part of
(the dna-double-strand object of
_dna-molecule-replication983))
called the template strand)
(a polydeoxyribonucleotide called
daughter strand))))))
(_dna-molecule-replication983 result _dna-molecule987
((a dna-molecule called DNA-Molecule-2 with
(has-part
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-2
(@ dna-molecule-replication result dna-molecule
has-part))
(a dna-strand called
Daughter-Strand-Complementary-To-Strand-2 with
(complement
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-2
(@ dna-molecule-replication result dna-molecule
has-part dna-strand complement))))
(@ dna-molecule-replication result dna-molecule
has-part))))
(@ dna-molecule-replication result))))
(_dna-molecule-replication983 result _dna-molecule986
((a tangible-entity)
(a dna-molecule called DNA-Molecule-1 with
(has-part
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-1
(@ dna-molecule-replication result dna-molecule
has-part))
(a dna-strand called
Daughter-Strand-Complementary-To-Strand-1 with
(complement
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-1
(@ dna-molecule-replication result dna-molecule
has-part dna-strand complement))))
(@ dna-molecule-replication result dna-molecule
has-part))))
(@ dna-molecule-replication result)))))))
Explanation
The DNA-Polymerase-Replication-Enzyme is instrument of the DNA-Molecule-ReplicationKB rule (English):
The following rule was asserted for Concept DNA-Replication
The instrument of a DNA-Replication is: a DNA-Polymerase-Replication-Enzyme
Concept DNA-Molecule-Replication is a subconcept of concept DNA-Replication
KB rule (KM):
(every dna-replication has (instrument ((a dna-polymerase-replication-enzyme))))
KB rule (English):
The following rule was asserted for Concept
The object of a is: a Macromolecule with the following-properties:
Concept DNA-Molecule-Replication is a subconcept of concept
KB rule (KM):
((a macromolecule with (instance-of ((possible-values polydeoxyribonucleotide dna-double-strand)))))
KB rule (English):
The following rule was asserted for Concept
The object of a is: a Tangible-Entity
Concept DNA-Molecule-Replication is a subconcept of concept
KB rule (KM):
((a tangible-entity))
KB rule (English):
The following rule was asserted for Concept DNA-Molecule-Replication
The object of a DNA-Molecule-Replication is: a DNA-Molecule
KB rule (KM):
(every dna-molecule-replication has (object ((a dna-molecule))))
KB rule (English):
The following rule was asserted for Concept DNA-Molecule-Replication
The subevent of a DNA-Molecule-Replication is: a Replicon-Replication
KB rule (KM):
(every dna-molecule-replication has (subevent ((a replicon-replication))))
KB rule (English):
The following rule was asserted for Concept
The result of a is: a DNA-Double-Strand with the following-properties:
Concept DNA-Molecule-Replication is a subconcept of concept
KB rule (KM):
((a dna-double-strand with (has-part (((the polydeoxyribonucleotide has-part of (the dna-double-strand object of _dna-molecule-replication983)) called the template strand) (a polydeoxyribonucleotide called daughter strand)))))
KB rule (English):
The following rule was asserted for Concept DNA-Molecule-Replication
The result of a DNA-Molecule-Replication is: a DNA-Molecule with the following-properties:
KB rule (KM):
(every dna-molecule-replication has
(result
((a dna-molecule called DNA-Molecule-2 with
(has-part
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-2)
(a dna-strand called
Daughter-Strand-Complementary-To-Strand-2 with
(complement
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-2))))))))))KB rule (English):
The following rule was asserted for Concept
The result of a is: a Tangible-Entity
Concept DNA-Molecule-Replication is a subconcept of concept
KB rule (KM):
((a tangible-entity))
KB rule (English):
The following rule was asserted for Concept DNA-Molecule-Replication
The result of a DNA-Molecule-Replication is: a DNA-Molecule with the following-properties:
KB rule (KM):
(every dna-molecule-replication has
(result
((a dna-molecule called DNA-Molecule-1 with
(has-part
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-1)
(a dna-strand called
Daughter-Strand-Complementary-To-Strand-1 with
(complement
(((the dna-strand has-part of
(the dna-molecule object of
_dna-molecule-replication983))
called DNA-Strand-1))))))))))Terms
SHAKEN - Unpublished Copyright © 1999-2001, SRI Team