Employing the Inference Rules of Predicate Logic for Predicting Protein Functions | IEEE Conference Publication | IEEE Xplore