(BindLink 
    (VariableNode "$var")
    ;; The pattern to be searched for
    (InheritanceLink 
        (VariableNode "$var") 
        (ConceptNode "animal")
    )
    ;; The value to be returned.
    (VariableNode "$var")
)
