Mammal Comparison Table

Next WarmBloodedVertebrate: Bird Up: WarmBloodedVertebrate

Mammal comparison table

Subject be third domain of documentation be disjoint from is a kind of be second domain of be first domain of have axiom

Primate representsForAgent The Class of Mammals which are Primates ColdBloodedVertebrate Mammal parent mother
(=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn))))

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
Primate	representsForAgent	The Class of Mammals which are Primates	ColdBloodedVertebrate	Mammal	parent	mother	(=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn))))

Next WarmBloodedVertebrate: Bird Up: WarmBloodedVertebrate