Teknowledge IEEE SUO

Cyc

Stanford KSL

URochester

etc......

Kestrel