isa(mammal,animal).

isa(bird,animal).
isa(cat,mammal).
isa(dog,mammal).
isa(canary,bird).
isa(penguin,bird).
isa(pet,cat).
isa(pet,dog).
isa(pet,canary).
inst(garfield,cat).
inst(sylvestor,cat).
inst(tweety,canary).
inst(opus,penguin).
attribute(mammal,has-part,tail).
attribute(bird,has-part,tail).
attribute(bird,has-part,wing).
attribute(bird,has-part,feather).
attribute(bird,eats,seeds).
attribute(bird,can,fly).
attribute(cat,eat,catfood).
attribute(garfield,eat,lasagna).
attribute(opus,cannot,fly).
subclass(Class1,Class2):-isa(Class1,Class2).
subclass(Class1,Class2):-isa(Class1,Class3),subclass(Class3,Class2).
aninstance(Obj,Class):-inst(Obj,Class).
aninstance(Obj,Class):-inst(Obj,Class1),subclass(Class1,Class).
value(Obj,Property,Value):-attribute(Obj,Property,Value).
value(Obj,Property,Value):-aninstance(Obj,Class),attribute(Obj,Property,Value).