Simple Question (Direct)
Simple Question
Q4750121
P86
Q502895
USER
Which person composed An Itch in Time ?
(Q4750121,P86,c(Q502895))
action filter_type
action find
entity Q4750121
relation P86
type Q502895
['Q4750121', 'P86', {'concept': 'Q502895'}]
SELECT DISTINCT ?y WHERE { resource:Q4750121 property:P86 ?y . ?y rdf:type ontology:Q502895 }
An Itch in Time
action filter_type
action find
entity An Itch in Time
relation composer
type common name
['An Itch in Time', 'composer', {'concept': 'common name'}]
SELECT DISTINCT ?y WHERE { resource:An_Itch_in_Time property:composer ?y . ?y rdf:type ontology:common_name }
[]
common name
Q598185
SYSTEM
Carl Stalling
Q598185
(Q4750121,P86,c(Q502895))
action filter_type
action find
entity Q4750121
relation P86
type Q502895
[ANSWER] composed An Itch in Time
['Q4750121', 'P86', {'concept': 'Q502895'}]
SELECT DISTINCT ?y WHERE { resource:Q4750121 property:P86 ?y . ?y rdf:type ontology:Q502895 }
Carl Stalling
Carl Stalling composed An Itch in Time
Carl Stalling
action filter_type
action find
entity An Itch in Time
relation composer
type common name
['An Itch in Time', 'composer', {'concept': 'common name'}]
SELECT DISTINCT ?y WHERE { resource:An_Itch_in_Time property:composer ?y . ?y rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q598185
P162
Q838948
USER
Which work of art created that person ?
(c(Q838948),P162,Q598185)
action filter_type
action find_reverse
entity Q598185
relation P162
type Q838948
[{'concept': 'Q838948'}, 'P162', 'Q598185']
SELECT DISTINCT ?x WHERE { ?x property:P162 resource:Q598185 . ?x rdf:type ontology:Q838948 }
Carl Stalling
action filter_type
action find_reverse
entity Carl Stalling
relation producer
type work of art
[{'concept': 'work of art'}, 'producer', 'Carl Stalling']
SELECT DISTINCT ?x WHERE { ?x property:producer resource:Carl_Stalling . ?x rdf:type ontology:work_of_art }
[]
work of art
Q7775380
SYSTEM
The Wizard of Oz
Q7775380
(c(Q838948),P162,Q598185)
action filter_type
action find_reverse
entity Q598185
relation P162
type Q838948
The [ANSWER] created that person
[{'concept': 'Q838948'}, 'P162', 'Q598185']
SELECT DISTINCT ?x WHERE { ?x property:P162 resource:Q598185 . ?x rdf:type ontology:Q838948 }
The Wizard of Oz
The The Wizard of Oz created that person
The Wizard of Oz
action filter_type
action find_reverse
entity Carl Stalling
relation producer
type work of art
[{'concept': 'work of art'}, 'producer', 'Carl Stalling']
SELECT DISTINCT ?x WHERE { ?x property:producer resource:Carl_Stalling . ?x rdf:type ontology:work_of_art }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q598185
P20
Q56061
USER
Where did Carl Stalling expire ?
(Q598185,P20,c(Q56061))
action filter_type
action find
entity Q598185
relation P20
type Q56061
['Q598185', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?o WHERE { resource:Q598185 property:P20 ?o . ?o rdf:type ontology:Q56061 }
Carl Stalling
action filter_type
action find
entity Carl Stalling
relation place of death
type administrative territorial entity
['Carl Stalling', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Carl_Stalling property:place_of_death ?o . ?o rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q65
SYSTEM
Los Angeles
Q65
(Q598185,P20,c(Q56061))
action filter_type
action find
entity Q598185
relation P20
type Q56061
Carl Stalling expired in [ANSWER]
['Q598185', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?o WHERE { resource:Q598185 property:P20 ?o . ?o rdf:type ontology:Q56061 }
Los Angeles
Carl Stalling expired in Los Angeles
Los Angeles
action filter_type
action find
entity Carl Stalling
relation place of death
type administrative territorial entity
['Carl Stalling', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Carl_Stalling property:place_of_death ?o . ?o rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q65 Q983859
P47
Q56061
USER
Does El Segundo have a shared border with Los Angeles ?
(Q65,P47,Q983859)
action is_in
entity Q983859
action find
entity Q65
relation P47
['Q65', 'P47', 'Q983859']
ASK WHERE { resource:Q65 property:P47 resource:Q983859 }
Los Angeles El Segundo
action is_in
entity El Segundo
action find
entity Los Angeles
relation shares border with
['Los Angeles', 'shares border with', 'El Segundo']
ASK WHERE { resource:Los_Angeles property:shares_border_with resource:El_Segundo }
[]
administrative territorial entity
SYSTEM
YES
(Q65,P47,Q983859)
action is_in
entity Q983859
action find
entity Q65
relation P47
[ANSWER]
['Q65', 'P47', 'Q983859']
ASK WHERE { resource:Q65 property:P47 resource:Q983859 }
Yes
action is_in
entity El Segundo
action find
entity Los Angeles
relation shares border with
['Los Angeles', 'shares border with', 'El Segundo']
ASK WHERE { resource:Los_Angeles property:shares_border_with resource:El_Segundo }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q65
P190
Q486972
USER
Which human settlement is twin town of Los Angeles ?
action filter_type
action find
entity Q65
relation P190
type Q486972
SELECT DISTINCT ?w WHERE { resource:Q65 property:P190 ?w . ?w rdf:type ontology:Q486972 }
Los Angeles
action filter_type
action find
entity Los Angeles
relation sister city
type human settlement
SELECT DISTINCT ?w WHERE { resource:Los_Angeles property:sister_city ?w . ?w rdf:type ontology:human_settlement }
[]
human settlement
Q752460
SYSTEM
Los Mochis
Q752460
action filter_type
action find
entity Q65
relation P190
type Q486972
[ANSWER] is twin town of Los Angeles
SELECT DISTINCT ?w WHERE { resource:Q65 property:P190 ?w . ?w rdf:type ontology:Q486972 }
Los Mochis
Los Mochis is twin town of Los Angeles
Los Mochis
action filter_type
action find
entity Los Angeles
relation sister city
type human settlement
SELECT DISTINCT ?w WHERE { resource:Los_Angeles property:sister_city ?w . ?w rdf:type ontology:human_settlement }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q504244
P1376
Q914262 Q486972
USER
How many administrative territory of Swedens have approximately the same number of human settlements as their capital as Rättvik Municipality ?
(c(Q486972),P1376,c(Q914262))
action count
action approx
action find_reverse_tuple_counts
relation P1376
type Q914262
type Q486972
action count
action filter_type
action find
entity Q504244
relation P1376
type Q914262
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q914262'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?i ) AS ?d ) WHERE { ?i property:P1376 ?t . ?t rdf:type ontology:Q914262 . ?i rdf:type ontology:Q486972 } GROUP BY ?t } . FILTER ( ?d = ?h ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?h ) WHERE { resource:Q504244 property:P1376 ?v . ?v rdf:type ontology:Q914262 } } }
Rättvik Municipality
action count
action approx
action find_reverse_tuple_counts
relation capital of
type administrative territorial entity of Sweden
type human settlement
action count
action filter_type
action find
entity Rättvik Municipality
relation capital of
type administrative territorial entity of Sweden
[{'concept': 'human settlement'}, 'capital of', {'concept': 'administrative territorial entity of Sweden'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?i ) AS ?d ) WHERE { ?i property:capital_of ?t . ?t rdf:type ontology:administrative_territorial_entity_of_Sweden . ?i rdf:type ontology:human_settlement } GROUP BY ?t } . FILTER ( ?d = ?h ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?h ) WHERE { resource:Rättvik_Municipality property:capital_of ?v . ?v rdf:type ontology:administrative_territorial_entity_of_Sweden } } }
[]
administrative territorial entity of Sweden human settlement
SYSTEM
289
Q293970 Q255206 Q504239 Q499421 Q514739 Q29963 Q504235 Q3233447 Q516308 Q500217 Q500210 Q509546 Q307370 Q501463 Q307569 Q513421 Q186230 Q510135 Q47019 Q47018 Q3231382 Q515282 Q509452 Q504630 Q47169 Q297718 Q1130264 Q511281 Q376003 Q117091 Q505064 Q507656 Q510233 Q499460 Q389040 Q505259 Q509488 Q298003 Q59091 Q59093 Q512002 Q501205 Q37399 Q498453 Q499359 Q504249 Q508125 Q59858 Q504244 Q510198 Q515299 Q505936 Q374794 Q515969 Q62469 Q3120654 Q27982 Q113730 Q511297 Q503127 Q501420 Q503122 Q515358 Q501442 Q505018 Q503184 Q502298 Q179180 Q503188 Q516080 Q515505 Q514756 Q515680 Q505090 Q498470 Q506250 Q498477 Q507684 Q501526 Q504257 Q508180 Q493841 Q515699 Q3231675 Q503198 Q3231325 Q487502 Q34550 Q508140 Q508108 Q505071 Q428749 Q515342 Q280562 Q427991 Q515266 Q503132 Q505013 Q42009 Q894327 Q514815 Q511407 Q240574 Q28532 Q503193 Q2642771 Q10723852 Q501432 Q430780 Q504261 Q515326 Q271340 Q501532 Q498447 Q297936 Q504266 Q209634 Q504465 Q503209 Q3232214 Q34078 Q510364 Q505052 Q301259 Q487648 Q149539 Q515373 Q113718 Q505057 Q503102 Q511270 Q132334 Q509476 Q503361 Q511394 Q514805 Q499441 Q507709 Q293928 Q512035 Q499464 Q504994 Q501424 Q492614 Q509501 Q52502 Q221990 Q427422 Q501540 Q501428 Q504988 Q501545 Q307603 Q509568 Q511310 Q501470 Q845930 Q503111 Q493066 Q499380 Q499385 Q2777887 Q505006 Q503214 Q500125 Q503746 Q972564 Q513370 Q511241 Q948462 Q499474 Q501438 Q509469 Q501448 Q514722 Q515477 Q493815 Q8100253 Q271274 Q505109 Q382808 Q504983 Q514830 Q125222 Q509997 Q507670 Q509634 Q505246 Q504689 Q501551 Q499415 Q62464 Q510223 Q499410 Q515250 Q511426 Q511253 Q504601 Q509514 Q505046 Q501494 Q499393 Q10658966 Q504609 Q500153 Q514770 Q515318 Q109010 Q113673 Q503204 Q510010 Q249378 Q500090 Q37404 Q113679 Q515235 Q514707 Q507644 Q498857 Q271107 Q504219 Q501452 Q505096 Q254799 Q500267 Q515409 Q509609 Q1345439 Q508153 Q500071 Q505085 Q220881 Q499404 Q113692 Q285894 Q504692 Q1128384 Q338752 Q503173 Q504676 Q201813 Q3231208 Q216915 Q511438 Q511228 Q504619 Q239332 Q271079 Q515551 Q186662 Q267030 Q511338 Q512048 Q510310 Q515491 Q504614 Q267462 Q505239 Q501459 Q504227 Q123855 Q203509 Q503180 Q505102 Q499425 Q177019 Q501479 Q504594 Q514858 Q504505 Q516336 Q306789 Q499435 Q214048 Q515861 Q503148 Q504626 Q503144 Q605329 Q117728 Q505076 Q501487 Q145835 Q255025 Q511326 Q515706 Q37462 Q509651 Q271153
(c(Q486972),P1376,c(Q914262))
action count
action approx
action find_reverse_tuple_counts
relation P1376
type Q914262
type Q486972
action count
action filter_type
action find
entity Q504244
relation P1376
type Q914262
[ANSWER]
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q914262'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?i ) AS ?d ) WHERE { ?i property:P1376 ?t . ?t rdf:type ontology:Q914262 . ?i rdf:type ontology:Q486972 } GROUP BY ?t } . FILTER ( ?d = ?h ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?h ) WHERE { resource:Q504244 property:P1376 ?v . ?v rdf:type ontology:Q914262 } } }
Ödeshög Municipality Ängelholm Municipality Mora Municipality Skara Municipality Ljusnarsberg Municipality Hudiksvall Municipality Ljungby Municipality Västra Götaland Regional Council Heby Municipality Växjö Municipality Vännäs Municipality Borgholm Municipality Östra Göinge Municipality Sorsele Municipality Överkalix Municipality Härjedalen Municipality Pajala Municipality Torsby Municipality Hallstahammar Municipality Fagersta Municipality Gävleborg County Council Lekeberg Municipality Emmaboda Municipality Orsa Municipality Kungsör Municipality Örebro Municipality Eslöv Municipality Götene Municipality Bjurholm Municipality Kalix Municipality Trosa Municipality Piteå Municipality Högsby Municipality Nykvarn Municipality Munkedal Municipality Gislaved Lessebo Municipality Örnsköldsvik Uppsala Municipality Östhammar Municipality Hultsfred Municipality Sunne Municipality Sala Municipality Karlstad Municipality Hammarö Municipality Perstorp Municipality Hässleholm Municipality Älvkarleby Municipality Rättvik Municipality Tierp Municipality Kinda Municipality Storfors Municipality Gotland Municipality Vadstena Municipality Bollnäs Municipality Lidingö Municipality Flen Municipality Tyresö Municipality Vårgårda Municipality Essunga Municipality Sotenäs Municipality Grums Municipality Lidköping Municipality Uddevalla Municipality Lund Municipality Ludvika Municipality Landskrona Municipality Varberg Municipality Lerum Municipality Salem Municipality Uppvidinge Municipality Mörbylånga Municipality Söderköping Municipality Nynäshamn Municipality Ale Municipality Stockholm Municipality Hylte Municipality Hedemora Municipality Vallentuna Municipality Olofström Municipality Hallsberg Municipality Värmdö Municipality Ydre Municipality Kalmar County Council Habo Municipality Dalarna County Council Laholm Municipality Västerås Municipality Katrineholm Municipality Motala Municipality Tranås Municipality Hjo Municipality Ragunda Municipality Värnamo Municipality Lomma Municipality Skurup Municipality Dals-Ed Municipality Höganäs Municipality Köping Municipality Borås Municipality Kramfors Municipality Hagfors Municipality Markaryd Municipality Trollhättan Municipality Gullspång Municipality Gagnef Municipality Ytterlännäs rural municipality Tibro Municipality Skellefteå Municipality Bräcke Municipality Laxå Municipality Åtvidaberg Municipality Strängnäs Municipality Eda Municipality Örkelljunga Municipality Malung-Sälen Municipality Härnösand Municipality Knivsta Municipality Borlänge Municipality Västmanlands läns landsting Surahammar Municipality Kristinehamn Municipality Vetlanda Municipality Järfälla Municipality Helsingborg Municipality Sandviken Municipality Ronneby Municipality Botkyrka Municipality Vimmerby Municipality Bollebygd Municipality Mölndal Municipality Dorotea Municipality Boden Municipality Malmö Municipality Kungälv Municipality Nordanstig Municipality Färgelanda Municipality Umeå Municipality Öckerö Municipality Eksjö Municipality Båstad Municipality Sundsvall Municipality Strömstad Municipality Ekerö Municipality Askersund Municipality Gothenburg Municipality Sollefteå Municipality Mariestad Municipality Malå Municipality Vara Municipality Kumla Municipality Falun Municipality Övertorneå Municipality Enköping Municipality Bjuv Municipality Töreboda Municipality Berg Municipality Herrljunga Municipality Täby Municipality Kungsbacka Municipality Forshaga Municipality Årjäng Municipality Oskarshamn Municipality Falköping Municipality Härryda Municipality Sollentuna Municipality Sundbyberg Municipality Kävlinge Municipality Lilla Edet Municipality Lycksele municipality Kiruna Municipality Mellerud Municipality Degerfors Municipality Tjörn Municipality Nordmaling Municipality Västervik Municipality Gällivare Municipality Västernorrland County Council Åsele Municipality Ockelbo Municipality Ulricehamn Municipality Timrå Municipality Bromölla Municipality Partille Municipality Valdemarsvik Municipality Robertsfors Municipality Karlskoga Municipality Oxelösund Municipality Jönköping Municipality Vansbro Municipality Storuman Municipality Hofors Municipality Karlshamn Municipality Linköping Municipality Mönsterås Municipality Vänersborg Municipality Håbo Municipality Sjöbo Municipality Boxholm Municipality Smedjebacken Municipality Munkfors Municipality Kil Municipality Rödön Staffanstorp Municipality Mark Municipality Strömsund Municipality Nybro Municipality Solna Municipality Upplands-Bro Municipality Filipstad Municipality Gävle Municipality Vingåker Municipality Vaxholm Municipality Norberg Municipality Danderyd Municipality Ljusdal Municipality Krokom Municipality Norsjö Municipality Kristianstad Municipality Ånge Trelleborg Municipality Skövde Municipality Nässjö Municipality Älmhult Municipality Nyköping Municipality Sölvesborg Municipality Gnosjö Municipality Säter Municipality Kalmar Municipality Avesta Municipality Ovanåker Municipality Hällefors Municipality Arvidsjaur Municipality Haninge Municipality Nora Municipality Halmstad Municipality Karlskrona Municipality Orust Municipality Lysekil Municipality Norrköping Municipality Åstorp Municipality Blekinge County Council Sigtuna Municipality Stenungsund Municipality Tanum Municipality Hörby Municipality Gnesta Municipality Åmål Municipality Torsås Municipality Burlöv Municipality Mjölby Municipality Vellinge Municipality Jokkmokk Municipality Haparanda Municipality Tingsryd Municipality Klippan Municipality Bengtsfors Municipality Sävsjö Municipality Tidaholm Municipality Svalöv Municipality Älvdalen Municipality Uppland Finspång Municipality Ystad Municipality Upplands Väsby Municipality Luleå Municipality Tranemo Municipality Osby Municipality Lindesberg Municipality Vindeln Municipality Södertälje Municipality Östersund Municipality Karlsborg Municipality Norrtälje Municipality Vilhelmina Municipality Grästorp Municipality Simrishamn Municipality Eskilstuna Municipality Vaggeryd Municipality Österåker Municipality Mullsjö Municipality Svenljunga Municipality Söderhamn Municipality Älvsbyn Municipality Säffle Municipality Svedala Municipality Skinnskatteberg Municipality Leksand Municipality Åre Municipality
289
action count
action approx
action find_reverse_tuple_counts
relation capital of
type administrative territorial entity of Sweden
type human settlement
action count
action filter_type
action find
entity Rättvik Municipality
relation capital of
type administrative territorial entity of Sweden
[{'concept': 'human settlement'}, 'capital of', {'concept': 'administrative territorial entity of Sweden'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?i ) AS ?d ) WHERE { ?i property:capital_of ?t . ?t rdf:type ontology:administrative_territorial_entity_of_Sweden . ?i rdf:type ontology:human_settlement } GROUP BY ?t } . FILTER ( ?d = ?h ) . { SELECT DISTINCT ( COUNT ( ?v ) AS ?h ) WHERE { resource:Rättvik_Municipality property:capital_of ?v . ?v rdf:type ontology:administrative_territorial_entity_of_Sweden } } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1026270 Q65
P190
Q56061
USER
Which administrative territories are twin cities of Los Angeles or Paita ?
OR((Q65,P190,c(Q56061)), (Q1026270,P190,c(Q56061)))
action filter_type
action union
action find
entity Q65
relation P190
action find
entity Q1026270
relation P190
type Q56061
{'OR': [['Q65', 'P190', {'concept': 'Q56061'}], ['Q1026270', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q1026270 property:P190 ?j } UNION { resource:Q65 property:P190 ?j } } . ?j rdf:type ontology:Q56061 }
Paita Los Angeles
action filter_type
action union
action find
entity Los Angeles
relation sister city
action find
entity Paita
relation sister city
type administrative territorial entity
{'OR': [['Los Angeles', 'sister city', {'concept': 'administrative territorial entity'}], ['Paita', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Paita property:sister_city ?j } UNION { resource:Los_Angeles property:sister_city ?j } } . ?j rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q340 Q37100 Q1489 Q3306 Q1156 Q81788 Q2078026 Q1524 Q171639 Q723584
SYSTEM
Some of them are Montreal, Auckland, Mexico City, Panama City, Mumbai, Giza, Balboa, Athens, Ashdod, Talara
Q3881 Q938802 Q134762 Q18125 Q1867 Q1479 Q340 Q1524 Q1489 Q4115712 Q1156 Q3630 Q3306 Q43509 Q37100 Q84 Q81788 Q24639 Q723584 Q105037 Q171639 Q64 Q23564 Q3820 Q2078026
OR((Q65,P190,c(Q56061)), (Q1026270,P190,c(Q56061)))
action filter_type
action union
action find
entity Q65
relation P190
action find
entity Q1026270
relation P190
type Q56061
[ANSWERS] are twin cities of Los Angeles or Paita
{'OR': [['Q65', 'P190', {'concept': 'Q56061'}], ['Q1026270', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q1026270 property:P190 ?j } UNION { resource:Q65 property:P190 ?j } } . ?j rdf:type ontology:Q56061 }
Lusaka Santa Maria degli Angeli Eilat Manchester Taipei Bordeaux Montreal Athens Mexico City Kaunas Mumbai Jakarta Panama City Guayaquil Auckland London Giza Vancouver Talara Callao Ashdod Berlin Podgorica Beirut Balboa
Montreal, Auckland, Mexico City, Panama City, Mumbai, Giza, Balboa, Athens, Ashdod and Talara are twin cities of Los Angeles or Paita
Montreal Auckland Mexico City Panama City Mumbai Giza Balboa Athens Ashdod Talara
action filter_type
action union
action find
entity Los Angeles
relation sister city
action find
entity Paita
relation sister city
type administrative territorial entity
{'OR': [['Los Angeles', 'sister city', {'concept': 'administrative territorial entity'}], ['Paita', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Paita property:sister_city ?j } UNION { resource:Los_Angeles property:sister_city ?j } } . ?j rdf:type ontology:administrative_territorial_entity }
[]