System Q&A TPTP

No cluster map for System Q&A TPTP
This interface is for answering questions. If you want to solve problems, use the SystemOnTPTP interface.

The TPTP Needs Money   See the TPTP web page for details, benefits, and process of making a donation.

Problem

 TPTP Problem (e.g., SYN054-1)
Browse TPTP

TPTP2T problem and solution finder

 Input Formulae (FOF example, CNF example)
 Local file to upload
 URL to fetch from

Output mode
 Result
 Progress
 System
 Everything
Our server does not output results until all tasks are completed. Be patient while the systems do their thing. Results are presented using the SZS problem status ontology.
The usage hint for each service system provides a template for questions. The fields with a leading ! must be instantiated.

System CPU s Transform Format Command Application
 AmazonBooks 0.0  s
fof(!Name,question,? [AuthorName,Title,Binding,Date,Price,Currency] : book(!Author,AuthorName,Title,Binding,Date,Price,Currency) ).
 Arithmetic 0.0  s
TPTP integer arithmetic predicates
 Babelfish 0.0  s
fof(!Name,question,? [TranslatedText] : translation(!SourceText,!SourceLanguageCode,TranslatedText,!TargetLanguageCode) ).
 CountryCodes 0.0  s
fof(!Name,question,? [CountryCode,CurrencyCode,LanguageCodes] : country_codes(!Country,CountryCode,CurrencyCode,LanguageCodes) ).
 DBPedia 0.0  s
fof(!Name,question,? [PersonURL,PlaceURL] : birthPlace(PersonURL,PlaceURL) ).
fof(!Name,question,? [InstanceURL] : is_instance(InstanceURL,!Category) ).
 LatLong 0.0  s
fof(!Name,question,? [Latitude,Longitude,OfficialName,CountryCode] : latlong(!Location,Latitude,Longitude,OfficialName,CountryCode) ).
 LinkedMDB 0.0  s
fof(!Name,question,? [Movie,Actor] : movie_actor(Movie,Actor) ).
 Location 0.0  s
fof(!Name,question,? [LocationHints,CityName,CountryName,Latitude,Longitude,Elevation] : location(!Location,LocationHints,CityName,CountryName,Latitude,Longitude,Elevation) ).
 LookDifferent 0.0  s
fof(!Name,question,look_different(!OneThing,!DifferentThing) ).
 Mathematica 0.0  s
fof(!Name,question,MATH() ).
 Mondial 0.0  s
fof(!Name,question,? [City,Country] : mondial_city(City,Country) ).
fof(!Name,question,? [Country1,Country2,BorderLength] : mondial_countries_meet(Country1,Country2,BorderLength) ).
 PrintTTY 0.0  s
fof(!Name,question,print(!This) ).
 RegExp 0.0  s
fof(!Name,question,regexp(!StringAtom,!RegExpAtom) ).
 Translator‑GDM 0.0  s
fof(!Name,question,? [ToFormula,ReturnSyntax] : gdm_ut(!FromFormula,!FromSyntax,ReturnSyntax,ToFormula,!ToSyntax) ).
 Translator‑XDB 0.0  s
fof(!Name,question,? [ToFormula,ReturnSyntax] : xdb_ut(!FromFormula,!FromSyntax,ReturnSyntax,ToFormula,!ToSyntax) ).
 Twitter 0.0  s
fof(!Name,question,twitter(!This) ).
 Weather 0.0  s
fof(!Name,question,? [LocationHints,CityName,CountryName,Temperature,Clouds,Precipitation,Humidity,Pressure,Windspeed] : weather(!Location,LocationHints,CityName,CountryName,Temperature,Clouds,Precipitation,Humidity,Pressure,Windspeed) ).
 XChange 0.0  s
fof(!Name,question,? [ToAmount] : xchange(!FromAmount,!FromCode,ToAmount,!ToCode) ).
 YAGOSUMO 0.0  s
fof(!Name,question,? [Thing,Class] : s__instance(Thing,Class) ).
fof(!Name,question,? [CapitalCity,Country] : s__capitalCity(CapitalCity,Country) ).
fof(!Name,question,? [Place,Population] : s__hasPopulation(Place,Population) ).
fof(!Name,question,? [Person,Day,Month,Year] : s__birthdate(Person,Day,Month,Year) ).
fof(!Name,question,? [FamilyName,FullName] : s__familyName(FamilyName,FullName) ).
fof(!Name,question,? [GivenName,FullName] : s__givenName(GivenName,FullName) ).
fof(!Name,question,? [FullName,Prize] : s__hasWonPrize(FullName,Prize) ).
fof(!Name,question,? [Person,Weight,Units] : s__weight(Person,Weight,Units) ).