SUMO   View all facts   Glossary   Help

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

Spider
subject			fact

Spider	documentation A Class of Arachnids characterized by an unsegmented abdomen, poisonous fangs, and an ability to spin thread
	is a kind of Arachnid
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

Next Arachnid: Tick    Up: Arachnid