Integration of the TPTPWorld into SigmaKEE

by
Steven Trac University of Miami USA	Geoff Sutcliffe University of Miami USA	Adam Pease Articulate Software USA