Knowledge representation: Predicate logic implementation using sentence-type for natural languages | IEEE Conference Publication | IEEE Xplore