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