SUMO additional axioms for Aquaint http://www.ksl.stanford.edu/projects/Aquaint/AquaSumo.daml http://www.ksl.stanford.edu/software/IW/registry/SRC/IW-TEAM.daml Fri Jun 06 15:13:40 PDT 2003 Fri Jun 06 17:58:19 PDT 2003