External Sources
- Amazon:
Facts about products, especially books.
- DBPedia:
Curated data from Wikipedia, from a SPARQL endpoint.
Requires translation server for URLs.
- Linked Movie Database:
Information about movies, from SPARQL + translation.
- City information:
Latitude, longitude, etc., for a city, from Yahoo and GeoNames.
- Mondial:
CIA Factbook geographic information, from an XML fact file.
- YAGOSUMO:
About 14.5 million facts, compatible with SUMO. Stored in an SQL database.
- Yahoo:
Extraction of facts from web queries.
- Weather:
Weather for location, and city with weather, from Yahoo.
- Xchange:
Converts one currency to another, from Time Genie
- Arithmetic:
Solutions to conjunctive requests, by Mathematica.
- Babelfish:
Natural language translation, provided by Yahoo.
- LookDifferent:
Checks for syntactic difference.
Controlled implementation of UNA.
- RegExp:
Matching regular expressions, in Perl.
- PrintTTY:
Axioms with output as a side effect.
No axioms with output for continued search.
- Twitter:
Axioms with tweets as a side effect.
- XDB Translator:
Aimed at internal translation of terms, but can be used explicitly.
- Online Access