SUMO   View all facts   Glossary   Help

Entity > Physical > Object > Agent > Organism > Animal > Invertebrate > Arthropod > Arachnid

Arachnid
subject			fact

Arachnid	documentation A Class of Arthropods that includes Ticks and Spiders
	is a kind of Arthropod
Invertebrate	is disjoint from Vertebrate
Animal	has axiom (=> (and (instance ?GROUP Group) (member ?MEMB ?GROUP)) (instance ?MEMB Animal))
	has axiom (=> (instance ?DISEASE MentalOrBehavioralDysfunction) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (patient ?DISEASE ?ANIMAL))))
	has axiom (=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
	has axiom (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))
	has axiom (=> (and (instance ?PERCEPT Perception) (agent ?PERCEPT ?AGENT)) (instance ?AGENT Animal))
	has axiom (=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))
	is first domain of father
	is first domain of mother
Organism	is second domain of developmentalForm
	is second domain of familyRelation
	is second domain of parent
Agent	is third domain of hasPurposeForAgent
	is third domain of representsForAgent

Kinds of Arachnid :

• Spider (2 facts) - A Class of Arachnids characterized by an unsegmented abdomen, poisonous fangs, and an ability to spin thread
• Tick (3 facts) - A Class of Arachnids that attach themselves to instances of WarmBloodedVertebrate and feed off of their Blood

Next Arthropod: Insect    Up: Arthropod