Since you specified no object in your statement (eg. "knowledge") then "is" must be formally translated as an existential quantifier, eg. "there exists". My correction adds the missing object which properly restricts the quantifier.