14: What role does DNA-Molecule play in the DNA-Molecule-Replication
Shaken formulation:
What role(s) does a DNA-Molecule play in a DNA-Molecule-Replication as the DNA-Molecule-Replication ?
Answer
Question in KM
Template
What role(s) does <instance> play in <event>?
Parameters
| INSTANCE | _DNA-Molecule1137 |
|---|---|
| EVENT | _DNA-Molecule-Replication1131 |
Code
("p31: What role(s) does <instance> play in <event>?"
(defun answer-p31-data0 (instance event)
`(answer
(question-type p31)
(instance ,instance)
(event ,event)
(roles-in-event-tree ,(collect-roles-in-event-tree instance event)))))
(defun collect-roles-in-event-tree (instance event &key (depth-limit 3))
(cond
((< depth-limit 0)
(km-format t "ERROR! Depth-limit reached for ~a in roles-of-instance-in-event! (loop in subevent tree?)~%" instance)
(km-format t "ERROR! Continuing without descending further..."))
(t (let ( (roles-in-event (remove nil
(mapcar #'(lambda (slot)
(let ( (vals (km `#$(the ,SLOT of ,EVENT) :fail-mode 'fail)) )
(cond (vals (km-format t "DEBUG: ~a:: ~a: ~a~%" event slot vals)))
(cond ((member instance vals) slot))))
; OLD OUTPUT VERSION (list (pretty-instance instance :htmlify t) "is the" (pretty-slot slot)
; "when" (pretty-event event :htmlify t))))))
*case-roles*))) )
(cons event
(cons roles-in-event
(mapcar #'(lambda (subevent)
(collect-roles-in-event-tree instance subevent :depth-limit (1- depth-limit)))
(subevents event))) )))))
Raw Answer
((question-type p31) (instance _dna-molecule1137)
(event _dna-molecule-replication1131)
(roles-in-event-tree
(_dna-molecule-replication1131 (object)
(_replicon-replication1132 nil (_attach1151 nil)
(_replicon-dna-melting1152 nil)
(_half-replicon-replication1153 nil (_attach1194 nil)
(_divide1195 nil) (_attach1196 nil) (_attach1197 nil)
(_dna-strand-replication1198 nil nil nil nil)
(_dna-strand-replication1199 nil nil nil nil nil))
(_half-replicon-replication1154 nil (_attach1247 nil)
(_divide1248 nil) (_attach1249 nil) (_attach1250 nil)
(_dna-strand-replication1251 nil nil nil nil)
(_dna-strand-replication1252 nil nil nil nil)))))
(explanations
((_dna-molecule-replication1131 object _dna-molecule1137
((a tangible-entity)
(a dna-molecule
(@ dna-molecule-replication object)))))))
Explanation
The DNA-Molecule is object of the DNA-Molecule-ReplicationKB 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))))
Terms
SHAKEN - Unpublished Copyright © 1999-2001, SRI Team