SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Organism > Animal
Next OrganismMicroorganism    UpOrganism    Previous OrganismToxicOrganism   

Animal comparison table
Subject documentation be disjoint from have axiom
InvertebrateAn Animal which has no SpinalColumnVertebrate
(=>
(instance ?ANIMAL Animal)
(exists (?CELL ?WALL)
(and
(component ?CELL ?ANIMAL)
(instance ?CELL Cell)
(component ?WALL ?CELL)
(instance ?WALL CellWallNonRigid))))
VertebrateAn Animal which has a SpinalColumnSubstance
(=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn))))

Next OrganismMicroorganism    UpOrganism    Previous OrganismToxicOrganism