SUMO   View all facts   Glossary   Help

Entity > Physical > Object > Agent > Organism

Organism
subject			fact

Organism	documentation Generally, a living individual, including all Plants and Animals
	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
	is a kind of Agent
	is a kind of CorpuscularObject
Agent	is third domain of hasPurposeForAgent
	is third domain of representsForAgent
CorpuscularObject	is disjoint from Substance

Kinds of Organism :

• Animal (16 kinds, 55 facts) - An Organism with eukaryotic Cells, and lacking stiff cell walls, plastids, and photosynthetic Pigments
• Microorganism (4 kinds, 17 facts) - An Organism that can be seen only with the aid of a microscope
• Plant (2 kinds, 11 facts) - An Organism having cellulose CellWalls, growing by synthesis of Substances, generally distinguished by the presence of chlorophyll, and lacking the power of locomotion
• ToxicOrganism (3 facts) - The Class of Organisms which are poisonous to other Organisms

Next Agent: SentientAgent    Up: Agent, CorpuscularObject    Previous Agent: Nation