SUMO   View all facts   Glossary   Help

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

Arthropod
subject			fact

Arthropod	documentation A Class of Invertebrate that includes Arachnids and Insects
	is a kind of Invertebrate
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 Arthropod :

• Arachnid (2 kinds, 7 facts) - A Class of Arthropods that includes Ticks and Spiders
• Insect (3 facts) - A Class of Arthropods that is distinguished by its body appearance

Up: Invertebrate