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

Tick comparison table
Subject documentation is a kind of have axiom
ArachnidA Class of Arthropods that includes Ticks and SpidersArthropod
(=>
 	(instance ?ANIMAL Animal)
 	(exists (?CELL ?WALL)
 		(and
 			(component ?CELL ?ANIMAL)
 			(instance ?CELL Cell)
 			(component ?WALL ?CELL)
 			(instance ?WALL CellWallNonRigid))))
TickA Class of Arachnids that attach themselves to instances of WarmBloodedVertebrate and feed off of their BloodArachnid
(=>
 	(instance ?CHLAMYD Chlamydia)
 	(exists (?CELL ?ANIMAL)
 		(and
 			(inhabits ?CHLAMYD ?CELL)
 			(instance ?CELL Cell)
 			(component ?CELL ?ANIMAL)
 			(or
 				(instance ?ANIMAL Insect)
 				(instance ?ANIMAL Tick)))))

Next Arachnid: Spider    Up: Arachnid