Primate Comparison Table

Entity > Physical > Object > Agent > Organism > Animal > Vertebrate > WarmBloodedVertebrate > Mammal > Primate

Primate 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

Human representsForAgent Modern man, the only remaining species of the Homo genus ColdBloodedVertebrate Primate employs citizen
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
Human	representsForAgent	Modern man, the only remaining species of the Homo genus	ColdBloodedVertebrate	Primate	employs	citizen	(=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?BUILDING)))))))

Up: Mammal