Locations of visitors to this page

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 (TPTP FOF Example, TPTP 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 Time Limit Transform Format Command
 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) ).
 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) ).
 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) ).
 WithWeather 0.0  s
                    fof(!Name,question, ? [!Country,!USAState,!WeatherCondition,CityName,Temperature,Clouds,Humidity,Pressure,Windspeed] : with_weather(Country,USAState,WeatherCondition,CityName,Temperature,Clouds,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) ).