SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Organism > Animal > Invertebrate > Arthropod > Insect
Next Arthropod: Arachnid    Up: Arthropod

Insect comparison table
Subject documentation is a kind of have axiom
ArthropodA Class of Invertebrate that includes Arachnids and InsectsInvertebrate
(=>
 	(instance ?ANIMAL Animal)
 	(exists (?CELL ?WALL)
 		(and
 			(component ?CELL ?ANIMAL)
 			(instance ?CELL Cell)
 			(component ?WALL ?CELL)
 			(instance ?WALL CellWallNonRigid))))
InsectA Class of Arthropods that is distinguished by its body appearanceArthropod
(=>
 	(instance ?CHLAMYD Chlamydia)
 	(exists (?CELL ?ANIMAL)
 		(and
 			(inhabits ?CHLAMYD ?CELL)
 			(instance ?CELL Cell)
 			(component ?CELL ?ANIMAL)
 			(or
 				(instance ?ANIMAL Insect)
 				(instance ?ANIMAL Tick)))))

Next Arthropod: Arachnid    Up: Arthropod