Class VIRUS

An organism consisting of a core of a single nucleic acid enclosed in a protective coat of protein. A virus may replicate only inside a host living cell. A virus exhibits some but not all of the usual characteristics of living things.
Subclass-Of: Organism
Axioms:
(Slot-Value-Type Virus Cause-Of Pathologic-Function)

(Slot-Cardinality Virus _Molecular 1)

(=> (Virus ?Self)
    (And (Exists (?A)
                 (And (Prime-Component ?Self ?A)
                      (Nucleic-Acid ?A)
                      (Exists (?B)
                              (And (Within ?A ?B)
                                   (Protective-Coat ?B)
                                   (Exists (?C)
                                           (And (Constituent-Material 
                                                    ?B
                                                    ?C)
                                                (Protein ?C)))))))
         (Exists (?D)
                 (And (Embodies ?Self ?D)
                      (Replication ?D)
                      (Exists (?E)
                              (And (Reference-Location ?D ?E)
                                   (Cell ?E)))))
         (Exists (?F)
                 (And (Reference-Location-Of ?Self ?F)
                      (Biologically-Active-Substance ?F)))))