SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Organism > Microorganism
Next OrganismPlant    UpOrganism    Previous OrganismAnimal   

Microorganism
subjectfact 
Microorganismdocumentation An Organism that can be seen only with the aid of a microscope2001-11-30 13:34:43.0
is a kind of Organism2001-11-30 13:34:43.0
Organismhas axiom
(<=>
(instance ?INJ Injuring)
(and
(instance ?INJ Damaging)
(patient ?INJ Organism)))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(attribute ?ORG ?ATT)
(instance ?ATT BiologicalProperty))
(instance ?ORG Organism))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?ANAT AnatomicalStructure)
(exists (?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?ANAT ?ORGANISM))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?COLOR Pigment)
(exists (?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?COLOR ?ORGANISM))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?POISON Poisoning)
(exists (?THING)
(and
(patient ?POISON ?THING)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?STRUCT EmbryonicStructure)
(exists (?THING)
(and
(developmentalForm ?THING ?STRUCT)
(or
(instance ?THING Organism)
(instance ?THING AnatomicalStructure)))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?STUFF Tissue)
(exists (?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?STUFF ?ORGANISM))))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(instance ?KILL Killing)
(agent ?KILL ?AGENT)
(patient ?KILL ?PATIENT))
(and
(instance ?AGENT Organism)
(instance ?PATIENT Organism)))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(instance ?ORGANISM Organism)
(agent ?PROCESS ?ORGANISM))
(holdsDuring (WhenFn ?PROCESS) (attribute ?ORGANISM Living)))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(parent ?PARENT ?CHILD)
(subclass ?CLASS Organism)
(instance ?PARENT ?CLASS))
(instance ?CHILD ?CLASS))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?FOOD Food)
(forall (?PART1)
(=>
(part ?PART1 ?FOOD)
(exists (?PART2 ?ORGANISM)
(and
(part ?PART1 ?PART2)
(part ?PART2 ?ORGANISM)
(instance ?ORGANISM Organism))))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?ORGANISM Organism)
(exists (?BIRTH)
(and
(instance ?BIRTH Birth)
(experiencer ?BIRTH ?ORGANISM))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?ORGANISM Organism)
(exists (?DEATH)
(and
(instance ?DEATH Death)
(experiencer ?DEATH ?ORGANISM))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?ORGANISM Organism)
(exists (?TIME1 ?TIME2)
(and
(birthTime ?ORGANISM ?TIME1)
(deathTime ?ORGANISM ?TIME2))))
2001-11-30 13:34:52.0
has axiom
(=>
(instance ?PROC BiologicalProcess)
(exists (?OBJ)
(and
(instance ?OBJ Organism)
(located ?PROC ?OBJ))))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(instance ?BACTERIUM Bacterium)
(inhabits ?BACTERIUM ?OBJ))
(instance ?OBJ Organism))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(instance ?CHLAMYD Chlamydia)
(inhabits ?CHLAMYD ?OBJ))
(instance ?OBJ Organism))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(instance ?FUNGUS Fungus)
(inhabits ?FUNGUS ?OBJ))
(instance ?OBJ Organism))
2001-11-30 13:34:52.0
has axiom
(=>
(and
(instance ?VIRUS Virus)
(inhabits ?VIRUS ?OBJ))
(instance ?OBJ Organism))
2001-11-30 13:34:52.0
is first domain of birthTime2001-11-30 13:34:52.0
is first domain of deathTime2001-11-30 13:34:52.0
is first domain of developmentalForm2001-11-30 13:34:52.0
is first domain of familyRelation2001-11-30 13:34:52.0
is first domain of inhabits2001-11-30 13:34:52.0
is first domain of parent2001-11-30 13:34:52.0
is second domain of developmentalForm2001-11-30 13:34:52.0
is second domain of familyRelation2001-11-30 13:34:52.0
is second domain of parent2001-11-30 13:34:52.0
Agentis third domain of hasPurposeForAgent2001-11-30 13:33:35.0
is third domain of representsForAgent2001-11-30 13:33:35.0
CorpuscularObjectis disjoint from Substance2001-11-30 13:33:58.0

Kinds of Microorganism :

Next OrganismPlant    UpOrganism    Previous OrganismAnimal