Arthropod Comparison Table

Arthropod comparison table

Subject documentation have axiom

Arachnid A Class of Arthropods that includes Ticks and Spiders
(=>
(instance ?ANIMAL Animal)
(exists (?CELL ?WALL)
(and
(component ?CELL ?ANIMAL)
(instance ?CELL Cell)
(component ?WALL ?CELL)
(instance ?WALL CellWallNonRigid))))

Insect A Class of Arthropods that is distinguished by its body appearance
(=>
(instance ?CHLAMYD Chlamydia)
(exists (?CELL ?ANIMAL)
(and
(inhabits ?CHLAMYD ?CELL)
(instance ?CELL Cell)
(component ?CELL ?ANIMAL)
(or
(instance ?ANIMAL Insect)
(instance ?ANIMAL Tick)))))

Subject	documentation	have axiom
Arachnid	A Class of Arthropods that includes Ticks and Spiders	(=> (instance ?ANIMAL Animal) (exists (?CELL ?WALL) (and (component ?CELL ?ANIMAL) (instance ?CELL Cell) (component ?WALL ?CELL) (instance ?WALL CellWallNonRigid))))
Insect	A Class of Arthropods that is distinguished by its body appearance	(=> (instance ?CHLAMYD Chlamydia) (exists (?CELL ?ANIMAL) (and (inhabits ?CHLAMYD ?CELL) (instance ?CELL Cell) (component ?CELL ?ANIMAL) (or (instance ?ANIMAL Insect) (instance ?ANIMAL Tick)))))