9

	 ("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-molecule1060)
 (class container)
 (slot-values (played-by _entity1061)
  (in-event _be-contained1064)
  (has-region _replication-origin1066)
  (has-basic-structural-unit _base-pair1065)
  (encloses _spatial-entity1063)
  (does-not-enclose _spatial-entity1062)
  (is-between
   (args _spatial-entity1063 _spatial-entity1062))
  (purpose _container1068)
  (has-part _base-pair1065 _dna-strand1069
   _dna-strand1070))
 (explanations
  ((_dna-molecule1060 played-by _entity1061
    ((a entity with
      (instrument-of
       ((the in-event of _dna-molecule1060
         (@ instrument played-by entity instrument-of))))
      (@ instrument played-by))))
   (_dna-molecule1060 in-event _be-contained1064
    ((a be-contained with
      (object
       ((the content of _dna-molecule1060
         (@ container in-event be-contained object))))
      (@ container in-event))))
   (_dna-molecule1060 has-region _replication-origin1066
    ((a replication-origin (@ dna-molecule has-region))))
   (_dna-molecule1060 has-basic-structural-unit
    _base-pair1065
    ((a base-pair
      (@ dna-molecule has-basic-structural-unit))))
   (_dna-molecule1060 encloses _spatial-entity1063
    ((a spatial-entity with (is-inside (_dna-molecule1060))
      (@ container encloses))))
   (_dna-molecule1060 does-not-enclose _spatial-entity1062
    ((a spatial-entity with
      (is-outside (_dna-molecule1060))
      (@ container does-not-enclose))))
   (_dna-molecule1060 purpose _container1068
    ((a container with
      (in-event
       ((a genetic-information-storage with
         (object
          ((a genome
            (@ dna-molecule purpose container in-event
             genetic-information-storage object))))
         (@ dna-molecule purpose container in-event))))
      (@ dna-molecule purpose))))
   (_dna-molecule1060 has-part _base-pair1065
    ((the has-basic-structural-unit of _dna-molecule1060)))
   (_dna-molecule1060 has-part _dna-strand1069
    ((a nucleotide-sequence)
     (a dna-strand called DNA-Strand-1 with
      (complement
       (((the dna-strand has-part of _dna-molecule1060)
         called DNA-Strand-2)))
      (object-of
       ((a be-attached-to with
         (object
          (((the has-part of _dna-molecule1060) called
            DNA-Strand-2)))
         (instrument
          ((a chemical-sequence with
            (element-type (hydrogen-bond)))))))))))
   (_dna-molecule1060 has-part _dna-strand1070
    ((a dna-strand called DNA-Strand-2))))))

Explanation

The Tangible-Entity is played-by of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept Instrument

The played-by of a Instrument is: a Entity with the following-properties:
- Its instrument-of is the in-event of the DNA-Molecule
Concept DNA-Molecule is a subconcept of concept Instrument

KB rule (KM):
```
(every instrument has
 (played-by
  ((a entity with
    (instrument-of
     ((the in-event of _dna-molecule1060)))))))
```

The Be-Contained is in-event of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept Container

The in-event of a Container is: a Be-Contained with the following-properties:
- Its object is the content of the DNA-Molecule
Concept DNA-Molecule is a subconcept of concept Container

KB rule (KM):
```
(every container has
 (in-event
  ((a be-contained with
    (object ((the content of _dna-molecule1060)))))))
```

The Replication-Origin is has-region of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept DNA-Molecule

The has-region of a DNA-Molecule is: a Replication-Origin

KB rule (KM):
```
(every dna-molecule has
 (has-region ((a replication-origin))))
```

The Base-Pair is structural basic unit of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept DNA-Molecule

The has-basic-structural-unit of a DNA-Molecule is: a Base-Pair

KB rule (KM):
```
(every dna-molecule has
 (has-basic-structural-unit ((a base-pair))))
```

The Spatial-Entity is encloses of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept Container

The encloses of a Container is: a Spatial-Entity with the following-properties:
- Its is-inside is the DNA-Molecule
Concept DNA-Molecule is a subconcept of concept Container

KB rule (KM):
```
(every container has
 (encloses
  ((a spatial-entity with
    (is-inside (_dna-molecule1060))))))
```

The Spatial-Entity is does-not-enclose of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept Container

The does-not-enclose of a Container is: a Spatial-Entity with the following-properties:
- Its is-outside is the DNA-Molecule
Concept DNA-Molecule is a subconcept of concept Container

KB rule (KM):
```
(every container has
 (does-not-enclose
  ((a spatial-entity with
    (is-outside (_dna-molecule1060))))))
```

The Container is purpose of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept DNA-Molecule

The purpose of a DNA-Molecule is: a Container with the following-properties:
- Its in-event is a Genetic-Information-Storage with the following-properties:
  - Its object is a Genome
KB rule (KM):
```
(every dna-molecule has
 (purpose
  ((a container with
    (in-event
     ((a genetic-information-storage with
       (object ((a genome))))))))))
```

The Base-Pair is part of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept

The has-part of a is: the structural basic unit of the DNA-Molecule

Concept DNA-Molecule is a subconcept of concept

KB rule (KM):
```
(
 (the has-basic-structural-unit of _dna-molecule1060))
```

The DNA-Strand is part of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept

The has-part of a is: a Nucleotide-Sequence

Concept DNA-Molecule is a subconcept of concept

KB rule (KM):
```
( (a nucleotide-sequence))
```
KB rule (English):

The following rule was asserted for Concept

The has-part of a is: a DNA-Strand with the following-properties:
- It is called DNA-Strand-1
- Its complement is the DNA-Strand part of the DNA-Molecule called dna-strand-2
- Its object-of is a Be-Attached-To with the following-properties:
  - Its object is the part of the DNA-Molecule called dna-strand-2
  - Its instrument is a Chemical-Sequence with the following-properties:
    - Its element-type is Hydrogen-Bond
Concept DNA-Molecule is a subconcept of concept

KB rule (KM):
```
(
 (a dna-strand called DNA-Strand-1 with
  (complement
   (((the dna-strand has-part of _dna-molecule1060) called
     DNA-Strand-2)))
  (object-of
   ((a be-attached-to with
     (object
      (((the has-part of _dna-molecule1060) called
        DNA-Strand-2)))
     (instrument
      ((a chemical-sequence with
        (element-type (hydrogen-bond))))))))))
```

The DNA-Strand is part of the DNA-Molecule

KB rule (English):

The following rule was asserted for Concept

The has-part of a is: a DNA-Strand with the following-properties:
- It is called DNA-Strand-2
Concept DNA-Molecule is a subconcept of concept

KB rule (KM):
```
( (a dna-strand called DNA-Strand-2))
```

Terms

Terms		Definitions
the Base-Pair		An instance of Base-Pair
the Be-Contained		An instance of Be-Contained
the Container		An instance of Container
the DNA-Molecule		An instance of DNA-Molecule
the DNA-Strand		An instance of DNA-Strand
the DNA-Strand		An instance of DNA-Strand
the Tangible-Entity		An instance of Tangible-Entity
the Replication-Origin		An instance of Replication-Origin
the Spatial-Entity		An instance of Spatial-Entity
the Spatial-Entity		An instance of Spatial-Entity
Base-Pair		Two nucleotides in an RNA or a DNA molecule that are paired by hydrogen bonds - for example, G with C, and A with T or U. Alberts:ECB:G-3.
Be-Attached-To		one object attached to another
Be-Contained		an object is contained in a container
Chemical-Sequence		A sequence of monomers that form a chain, e.g. polymers. Souther:2001
Container		Things that have contents. A container is the Instrument in a Be-Contained state.
DNA-Molecule		Double-stranded polynucleotide formed from two separate chains of deoxyribonucleotide units; serves as the carrier of genetic information. Alberts:ECB:G-6
DNA-Strand		One of two complementary anti-parallel chains that make up the DNA double helical molecule. Souther.
Entity		Things that are, such as Objects and Substances, as opposed to Things that happen.
Genetic-Information-Storage
Genome		The total genetic information carried by a cell or an organism (or the DNA molecules that carry this information. Alberts:ECB:G-8.
Hydrogen-Bond		A weak chemical bond between an electronegative atom such as nitrogen or oxygen and a hydrogen atom bound to another electronegative atom. Alberts:ECB:G-9.
Instrument		Things, such as tools, used by an Agent in some Event.
Nucleotide-Sequence		A sequence of nucleotides which forms a nucleotide polymer. Souther:2001
Replication-Origin		Site on a chromosome at which DNA replication begins. Alberts:ECB:G-16.
Spatial-Entity		No Textual Definition
Tangible-Entity		an Entity with physical extent
called		No Textual Definition
complement		an Entity has a complement another Entity.
content		an Entity contains another Entity.
does-not-enclose		No Textual Definition
element-type		No Textual Definition
encloses		No Textual Definition
has-basic-structural-unit		the many identical physical things that make up a whole structurally (as opposed to functionally).
has-part		the parts that comprise a whole.
has-region		No Textual Definition
in-event		the entity that plays this Role participates in Event
instrument		the entity that is used (by the agent if there is one) to perform an event.
instrument-of		No Textual Definition
is-between		a place or object separates two others
is-inside		One place or object is completely inside another.
is-outside		a place or object being on or toward the outer side or surface of another
object		the entity that is acted upon by an Event. The main passive participant in the Event.
object-of		No Textual Definition
played-by		No Textual Definition
purpose		The default purpose of an entity.