isa(cardinal, bird). 
isa(bluejay, bird). 
isa(boy, human). 
isa(girl, human). 
isa(computer, artifact). 
isa(airplane, artifact). 
isa(bird, animal). 
isa(human, animal). 

has(bird, feathers). 
has(bird, wings). 
has(human, intelligence). 
has(computer, intelligence). 
has(airplane, wings). 

can_do(Thing, fly) :- has(Thing, wings). 
can_do(Thing, think) :- has(Thing, intelligence). 
can_do(Thing, live) :- isa(Thing, animal).