1. The Sigma Knowledge EngineeringEnvironment: An environment for developing large theories in first- and higher-order logicAdam Pease, Articulate [email protected]://www.ontologyportal.org/1…