Invertebrate concept from the SUMO knowledge base

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

Next Animal: Vertebrate Up: Animal

Invertebrate

subject fact

Invertebrate documentation An Animal which has no SpinalColumn 2001-11-30 13:34:32.0
is disjoint from Vertebrate
is a kind of Animal

Animal has 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))))
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))
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 father
is first domain of mother

Organism is second domain of developmentalForm 2001-11-30 13:34:52.0
is second domain of familyRelation
is second domain of parent

Agent is third domain of hasPurposeForAgent 2001-11-30 13:33:35.0
is third domain of representsForAgent

Kinds of Invertebrate :

Arthropod (4 kinds, 12 facts) - A Class of Invertebrate that includes Arachnids and Insects

Next Animal: Vertebrate Up: Animal

Invertebrate	*documentation* An Animal which has no SpinalColumn
	*is disjoint* from** Vertebrate
	is a kind of Animal
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
Agent	*is third domain* of** representsForAgent