Primate concept from the SUMO knowledge base

Kinds of Primate :

Primate	*documentation* The Class of Mammals which are Primates
Primate	is a kind of Mammal
WarmBloodedVertebrate	*is disjoint* from** ColdBloodedVertebrate
Vertebrate	has axiom (=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))
Animal	*is first domain* of** father
Animal	*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