SemFormToRule update

added separate handling of the predicate "Is" (rdf:type)
E.g.: Opel Is Auto --> "Opel(?opel) => Auto(?opel)"