SUMO   View all facts   Glossary   Help

Entity > Physical > Object > Agent > Organism > Microorganism > Archaeon

Archaeon
subject			fact

Archaeon	documentation Archaea are characterized by: 1. the presence of characteristic tRNAs and ribosomal RNAs, 2. the absence of peptidoglycan cell walls, 3. the presence of ether-linked lipids built from branched-chain subunits, and 4. their occurrence in unusual habitats. While archaea resemble Bacteria in morphology and genomic organization, they resemble eukarya in their method of genomic replication
	is a kind of Microorganism
Organism	has axiom (<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (patient ?INJ Organism)))
	has axiom (=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalProperty)) (instance ?ORG Organism))
	has axiom (=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?ANAT ?ORGANISM))))
	has axiom (=> (instance ?COLOR Pigment) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?COLOR ?ORGANISM))))
	has axiom (=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))
	has axiom (=> (instance ?STRUCT EmbryonicStructure) (exists (?THING) (and (developmentalForm ?THING ?STRUCT) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))
	has axiom (=> (instance ?STUFF Tissue) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?STUFF ?ORGANISM))))
	has axiom (=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))
	has axiom (=> (and (instance ?ORGANISM Organism) (agent ?PROCESS ?ORGANISM)) (holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))
	has axiom (=> (and (parent ?PARENT ?CHILD) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS))
	has axiom (=> (instance ?FOOD Food) (forall (?PART1) (=> (part ?PART1 ?FOOD) (exists (?PART2 ?ORGANISM) (and (part ?PART1 ?PART2) (part ?PART2 ?ORGANISM) (instance ?ORGANISM Organism))))))
	has axiom (=> (instance ?ORGANISM Organism) (exists (?BIRTH) (and (instance ?BIRTH Birth) (experiencer ?BIRTH ?ORGANISM))))
	has axiom (=> (instance ?ORGANISM Organism) (exists (?DEATH) (and (instance ?DEATH Death) (experiencer ?DEATH ?ORGANISM))))
	has axiom (=> (instance ?ORGANISM Organism) (exists (?TIME1 ?TIME2) (and (birthTime ?ORGANISM ?TIME1) (deathTime ?ORGANISM ?TIME2))))
	has axiom (=> (instance ?PROC BiologicalProcess) (exists (?OBJ) (and (instance ?OBJ Organism) (located ?PROC ?OBJ))))
	has axiom (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))
	has axiom (=> (and (instance ?CHLAMYD Chlamydia) (inhabits ?CHLAMYD ?OBJ)) (instance ?OBJ Organism))
	has axiom (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism))
	has axiom (=> (and (instance ?VIRUS Virus) (inhabits ?VIRUS ?OBJ)) (instance ?OBJ 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: Bacterium    Up: Microorganism    Previous Microorganism: Virus