Inference with Isa Hierarchies
(A great-blue-heron is an aquatic-bird)
Isa(great-blue-heron, aquatic-bird).
(An aquatic-bird is a bird)
Isa(acquatic-bird, bird).
(Is a great-blue-heron a bird)
Isa(great-blue-heron, bird)?
“Isa” represents a relation which has certain properties that support types of inference.