SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Organism > Animal > Invertebrate > Arthropod > Arachnid
Next ArthropodInsect    UpArthropod

Arachnid
subjectfact 
Arachniddocumentation A Class of Arthropods that includes Ticks and Spiders2001-11-30 13:33:37.0
is a kind of Arthropod2001-11-30 13:33:37.0
Invertebrateis disjoint from Vertebrate2001-11-30 13:34:32.0
Animalhas axiom
(=> 
(and
(instance ?GROUP Group)
(member ?MEMB ?GROUP))
(instance ?MEMB Animal))
2001-11-30 13:33:37.0
has axiom
(=>
(instance ?DISEASE MentalOrBehavioralDysfunction)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(patient ?DISEASE ?ANIMAL))))
2001-11-30 13:33:37.0
has axiom
(=>
(instance ?PROCESS MentalProcess)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))
2001-11-30 13:33:37.0
has axiom
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists (?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))
2001-11-30 13:33:37.0
has axiom
(=>
(and
(instance ?PERCEPT Perception)
(agent ?PERCEPT ?AGENT))
(instance ?AGENT Animal))
2001-11-30 13:33:37.0
has axiom
(=>
(instance ?ANIMAL Animal)
(exists (?CELL ?WALL)
(and
(component ?CELL ?ANIMAL)
(instance ?CELL Cell)
(component ?WALL ?CELL)
(instance ?WALL CellWallNonRigid))))
2001-11-30 13:33:37.0
is first domain of father2001-11-30 13:33:37.0
is first domain of mother2001-11-30 13:33:37.0
Organismis second domain of developmentalForm2001-11-30 13:34:52.0
is second domain of familyRelation2001-11-30 13:34:52.0
is second domain of parent2001-11-30 13:34:52.0
Agentis third domain of hasPurposeForAgent2001-11-30 13:33:35.0
is third domain of representsForAgent2001-11-30 13:33:35.0

Kinds of Arachnid :

Next ArthropodInsect    UpArthropod