SUMO   View all facts   Glossary   Help

Entity > Physical > Object > Agent > Organism > Microorganism > Virus

Virus
subject			fact

Virus	documentation 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
	has axiom (=> (instance ?VIRUS Virus) (exists (?MOL1) (and (component ?MOL1 ?VIRUS) (instance ?MOL1 Molecule) (forall (?MOL2) (=> (and (component ?MOL2 ?VIRUS) (instance ?MOL2 Molecule)) (equal ?MOL1 ?MOL2))))))
	has axiom (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ Organism))
	has axiom (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (effector ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL Cell))))
	is a kind of Microorganism
Organism	is first domain of birthTime
	is first domain of deathTime
	is first domain of developmentalForm
	is first domain of familyRelation
	is first domain of inhabits
	is first domain of parent
	is second domain of developmentalForm
	is second domain of familyRelation
	is second domain of parent
Agent	is third domain of hasPurposeForAgent
	is third domain of representsForAgent
CorpuscularObject	is disjoint from Substance

Next Microorganism: Archaeon    Up: Microorganism    Previous Microorganism: Chlamydia