Selecting predicate logic for knowledge representation by comparative study of knowledge representation schemes | IEEE Conference Publication | IEEE Xplore