ToxicOrganism concept from the SUMO knowledge base

Next Organism: Animal Up: Organism Previous Organism: Plant

ToxicOrganism	*documentation* The Class of Organisms which are poisonous to other Organisms
	has axiom (=> (instance ?ORGANISM ToxicOrganism) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE ToxicSubstance) (part ?SUBSTANCE ?ORGANISM))))
	is a kind of Organism
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
Agent	*is third domain* of** representsForAgent
CorpuscularObject	*is disjoint* from** Substance