Simple Question (Direct)
Simple Question
Q7615835
P641
Q349
USER
Which sport was Stewart Jump a part of ?
(Q7615835,P641,c(Q349))
action filter_type
action find
entity Q7615835
relation P641
type Q349
['Q7615835', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?n WHERE { resource:Q7615835 property:P641 ?n . ?n rdf:type ontology:Q349 }
Stewart Jump
action filter_type
action find
entity Stewart Jump
relation sport
type sport
['Stewart Jump', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?n WHERE { resource:Stewart_Jump property:sport ?n . ?n rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q7615835,P641,c(Q349))
action filter_type
action find
entity Q7615835
relation P641
type Q349
Stewart Jump was in [ANSWER]
['Q7615835', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?n WHERE { resource:Q7615835 property:P641 ?n . ?n rdf:type ontology:Q349 }
association football
Stewart Jump was in association football
association football
action filter_type
action find
entity Stewart Jump
relation sport
type sport
['Stewart Jump', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?n WHERE { resource:Stewart_Jump property:sport ?n . ?n rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q7615835
P54
Q618123
USER
Which sports team has that person as its member ?
(Q2736,P54,c(Q618123))
action filter_type
action find
entity Q7615835
relation P54
type Q618123
['Q2736', 'P54', {'concept': 'Q618123'}]
SELECT DISTINCT ?j WHERE { resource:Q7615835 property:P54 ?j . ?j rdf:type ontology:Q618123 }
Stewart Jump
action filter_type
action find
entity Stewart Jump
relation member of sports team
type geographical object
['association football', 'member of sports team', {'concept': 'geographical object'}]
SELECT DISTINCT ?j WHERE { resource:Stewart_Jump property:member_of_sports_team ?j . ?j rdf:type ontology:geographical_object }
[]
geographical object
Q7009324
SYSTEM
New Jersey Rockets
Q7009324
(Q2736,P54,c(Q618123))
action filter_type
action find
entity Q7615835
relation P54
type Q618123
[ANSWER] has that person as its member
['Q2736', 'P54', {'concept': 'Q618123'}]
SELECT DISTINCT ?j WHERE { resource:Q7615835 property:P54 ?j . ?j rdf:type ontology:Q618123 }
New Jersey Rockets
New Jersey Rockets has that person as its member
New Jersey Rockets
action filter_type
action find
entity Stewart Jump
relation member of sports team
type geographical object
['association football', 'member of sports team', {'concept': 'geographical object'}]
SELECT DISTINCT ?j WHERE { resource:Stewart_Jump property:member_of_sports_team ?j . ?j rdf:type ontology:geographical_object }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q7009324 Q5537257
P54
Q502895
USER
Does George Brittain play for that geographical object ?
(Q5537257,P54,Q7009324)
action is_in
entity Q5537257
action find
entity Q7009324
relation P54
['Q5537257', 'P54', 'Q7009324']
ASK WHERE { resource:Q7009324 property:P54 resource:Q5537257 }
New Jersey Rockets George Brittain
action is_in
entity George Brittain
action find
entity New Jersey Rockets
relation member of sports team
['George Brittain', 'member of sports team', 'New Jersey Rockets']
ASK WHERE { resource:New_Jersey_Rockets property:member_of_sports_team resource:George_Brittain }
[]
common name
SYSTEM
NO
(Q5537257,P54,Q7009324)
action is_in
entity Q5537257
action find
entity Q7009324
relation P54
[ANSWER]
['Q5537257', 'P54', 'Q7009324']
ASK WHERE { resource:Q7009324 property:P54 resource:Q5537257 }
No
action is_in
entity George Brittain
action find
entity New Jersey Rockets
relation member of sports team
['George Brittain', 'member of sports team', 'New Jersey Rockets']
ASK WHERE { resource:New_Jersey_Rockets property:member_of_sports_team resource:George_Brittain }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q7615835 Q145 Q706311
P27
Q15617994
USER
Is Stewart Jump a citizen of United Kingdom and Brücken-Hackpfüffel ?
(Q7615835,P27,Q145) (Q7615835,P27,Q706311)
action is_in
entity Q7615835
action intersection
action find_reverse
entity Q145
relation P27
action find_reverse
entity Q706311
relation P27
['Q7615835', 'P27', 'Q145'] ['Q7615835', 'P27', 'Q706311']
ASK WHERE { resource:Q7615835 property:P27 resource:Q706311 . resource:Q7615835 property:P27 resource:Q145 }
Stewart Jump United Kingdom Brücken-Hackpfüffel
action is_in
entity Stewart Jump
action intersection
action find_reverse
entity United Kingdom
relation country of citizenship
action find_reverse
entity Brücken-Hackpfüffel
relation country of citizenship
['Stewart Jump', 'country of citizenship', 'United Kingdom'] ['Stewart Jump', 'country of citizenship', 'Brücken-Hackpfüffel']
ASK WHERE { resource:Stewart_Jump property:country_of_citizenship resource:Brücken-Hackpfüffel . resource:Stewart_Jump property:country_of_citizenship resource:United_Kingdom }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q7615835,P27,Q145) (Q7615835,P27,Q706311)
action is_in
entity Q7615835
action intersection
action find_reverse
entity Q145
relation P27
action find_reverse
entity Q706311
relation P27
[ANSWER]
['Q7615835', 'P27', 'Q145'] ['Q7615835', 'P27', 'Q706311']
ASK WHERE { resource:Q7615835 property:P27 resource:Q706311 . resource:Q7615835 property:P27 resource:Q145 }
YES and NO respectively
action is_in
entity Stewart Jump
action intersection
action find_reverse
entity United Kingdom
relation country of citizenship
action find_reverse
entity Brücken-Hackpfüffel
relation country of citizenship
['Stewart Jump', 'country of citizenship', 'United Kingdom'] ['Stewart Jump', 'country of citizenship', 'Brücken-Hackpfüffel']
ASK WHERE { resource:Stewart_Jump property:country_of_citizenship resource:Brücken-Hackpfüffel . resource:Stewart_Jump property:country_of_citizenship resource:United_Kingdom }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q9360
P47
Q15617994
USER
Which administrative territories are adjacent to Foglizzo ?
(Q9360,P47,c(Q15617994))
action filter_type
action find
entity Q9360
relation P47
type Q15617994
['Q9360', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { resource:Q9360 property:P47 ?y . ?y rdf:type ontology:Q15617994 }
Foglizzo
action filter_type
action find
entity Foglizzo
relation shares border with
type designation for an administrative territorial entity
['Foglizzo', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { resource:Foglizzo property:shares_border_with ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q10268 Q9131 Q9073
SYSTEM
San Giorgio Canavese, Caluso, Bosconero
Q9073 Q10272 Q10268 Q9131 Q9489 Q10256
(Q9360,P47,c(Q15617994))
action filter_type
action find
entity Q9360
relation P47
type Q15617994
[ANSWERS] are adjacent to Foglizzo
['Q9360', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { resource:Q9360 property:P47 ?y . ?y rdf:type ontology:Q15617994 }
Bosconero San Giusto Canavese San Giorgio Canavese Caluso Montanaro San Benigno Canavese
San Giorgio Canavese, Caluso and Bosconero are adjacent to Foglizzo
San Giorgio Canavese Caluso Bosconero
action filter_type
action find
entity Foglizzo
relation shares border with
type designation for an administrative territorial entity
['Foglizzo', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { resource:Foglizzo property:shares_border_with ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q10268 Q9131 Q9073
P47
Q15617994
USER
Which administrative territories have an adjacent border with those ones ?
(c(Q15617994),P47,Q10268) (c(Q15617994),P47,Q9131) (c(Q15617994),P47,Q9073)
action filter_type
action find
entity prev_answer
relation P47
type Q15617994
[{'concept': 'Q15617994'}, 'P47', 'Q10268'] [{'concept': 'Q15617994'}, 'P47', 'Q9131'] [{'concept': 'Q15617994'}, 'P47', 'Q9073']
SELECT DISTINCT ?u WHERE { VALUES ( ?o ) { ( resource:Q9073 ) ( resource:Q10272 ) ( resource:Q10268 ) } . ?o property:P47 ?u . ?u rdf:type ontology:Q15617994 }
San Giorgio Canavese Caluso Bosconero
action filter_type
action find
entity prev_answer
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'San Giorgio Canavese'] [{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Caluso'] [{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Bosconero']
SELECT DISTINCT ?u WHERE { VALUES ( ?o ) { ( resource:Bosconero ) ( resource:San_Giusto_Canavese ) ( resource:San_Giorgio_Canavese ) } . ?o property:shares_border_with ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q10268 Q10226 Q9275
SYSTEM
San Giorgio Canavese, Rivarolo Canavese, Chivasso
Q9131 Q9529 Q9520 Q10272 Q9483 Q9277 Q9447 Q8971 Q9360 Q9346 Q9323 Q9044 Q10268 Q9489 Q9460 Q9275 Q9360 Q9044 Q9144 Q10226 Q10272 Q9431 Q9360 Q9346 Q10256
(c(Q15617994),P47,Q10268) (c(Q15617994),P47,Q9131) (c(Q15617994),P47,Q9073)
action filter_type
action find
entity prev_answer
relation P47
type Q15617994
[ANSWERS] have an adjacent border with those ones
[{'concept': 'Q15617994'}, 'P47', 'Q10268'] [{'concept': 'Q15617994'}, 'P47', 'Q9131'] [{'concept': 'Q15617994'}, 'P47', 'Q9073']
SELECT DISTINCT ?u WHERE { VALUES ( ?o ) { ( resource:Q9073 ) ( resource:Q10272 ) ( resource:Q10268 ) } . ?o property:P47 ?u . ?u rdf:type ontology:Q15617994 }
Caluso Ozegna Orio Canavese San Giusto Canavese Montalenghe Ciconio Lusigliè Agliè Foglizzo Feletto Cuceglio Barone Canavese San Giorgio Canavese Montanaro Mazzè Chivasso Foglizzo Barone Canavese Candia Canavese Rivarolo Canavese San Giusto Canavese Lombardore Foglizzo Feletto San Benigno Canavese
San Giorgio Canavese, Rivarolo Canavese and Chivasso have an adjacent border with those ones
San Giorgio Canavese Rivarolo Canavese Chivasso
action filter_type
action find
entity prev_answer
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'San Giorgio Canavese'] [{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Caluso'] [{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'Bosconero']
SELECT DISTINCT ?u WHERE { VALUES ( ?o ) { ( resource:Bosconero ) ( resource:San_Giusto_Canavese ) ( resource:San_Giorgio_Canavese ) } . ?o property:shares_border_with ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Clarification
Simple Question|Single Entity|Indirect
Q10268
P19
Q502895
USER
Which people have birthplace at that administrative territory ?
(c(Q502895),P19,Q10268)
action filter_type
action find_reverse
entity Q10268
relation P19
type Q502895
[{'concept': 'Q502895'}, 'P19', 'Q10268']
SELECT DISTINCT ?j WHERE { ?j property:P19 resource:Q10268 . ?j rdf:type ontology:Q502895 }
San Giorgio Canavese
action filter_type
action find_reverse
entity San Giorgio Canavese
relation place of birth
type common name
[{'concept': 'common name'}, 'place of birth', 'San Giorgio Canavese']
SELECT DISTINCT ?j WHERE { ?j property:place_of_birth resource:San_Giorgio_Canavese . ?j rdf:type ontology:common_name }
[]
common name
Clarification for simple ques.
Q10268
SYSTEM
Did you mean San Giorgio Canavese ?
Q10268 Q10226 Q9275
(c(Q502895),P19,Q10268) (c(Q502895),P19,Q10226) (c(Q502895),P19,Q9275)
[ANSWER]
[{'concept': 'Q502895'}, 'P19', 'Q10268'] [{'concept': 'Q502895'}, 'P19', 'Q10226'] [{'concept': 'Q502895'}, 'P19', 'Q9275']
SELECT DISTINCT ?j WHERE { ?j property:P19 resource:Q10268 . ?j rdf:type ontology:Q502895 }
San Giorgio Canavese Rivarolo Canavese Chivasso
Did you mean San Giorgio Canavese ?
San Giorgio Canavese
[{'concept': 'common name'}, 'place of birth', 'San Giorgio Canavese'] [{'concept': 'common name'}, 'place of birth', 'Rivarolo Canavese'] [{'concept': 'common name'}, 'place of birth', 'Chivasso']
SELECT DISTINCT ?j WHERE { ?j property:place_of_birth resource:San_Giorgio_Canavese . ?j rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
USER
Yes
(c(Q502895),P19,Q10268)
[{'concept': 'Q502895'}, 'P19', 'Q10268']
[{'concept': 'common name'}, 'place of birth', 'San Giorgio Canavese']
[]
Q623180 Q556243 Q279200
SYSTEM
Carlo Giuseppe Guglielmo Botta, Arrigo Miglio, Vittorio Jano
Q279200 Q2857362 Q3767067 Q3852177 Q623180 Q556243 Q3765640
(c(Q502895),P19,Q10268)
action filter_type
action find_reverse
entity Q10268
relation P19
type Q502895
[ANSWERS] have birthplace at that administrative territory
[{'concept': 'Q502895'}, 'P19', 'Q10268']
SELECT DISTINCT ?j WHERE { ?j property:P19 resource:Q10268 . ?j rdf:type ontology:Q502895 }
Vittorio Jano Antonio Michela Zucco Giovanni Crisostomo Javèlli Matteo Pescatore Carlo Giuseppe Guglielmo Botta Arrigo Miglio Giorgio Orsolano
Carlo Giuseppe Guglielmo Botta, Arrigo Miglio and Vittorio Jano have birthplace at that administrative territory
Carlo Giuseppe Guglielmo Botta Arrigo Miglio Vittorio Jano
action filter_type
action find_reverse
entity San Giorgio Canavese
relation place of birth
type common name
[{'concept': 'common name'}, 'place of birth', 'San Giorgio Canavese']
SELECT DISTINCT ?j WHERE { ?j property:place_of_birth resource:San_Giorgio_Canavese . ?j rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q10268
P17
Q15617994
USER
Which administrative territory does San Giorgio Canavese belong to ?
(Q10268,P17,c(Q15617994))
action filter_type
action find
entity Q10268
relation P17
type Q15617994
['Q10268', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q10268 property:P17 ?d . ?d rdf:type ontology:Q15617994 }
San Giorgio Canavese
action filter_type
action find
entity San Giorgio Canavese
relation country
type designation for an administrative territorial entity
['San Giorgio Canavese', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:San_Giorgio_Canavese property:country ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
(Q10268,P17,c(Q15617994))
action filter_type
action find
entity Q10268
relation P17
type Q15617994
San Giorgio Canavese belongs to [ANSWER]
['Q10268', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q10268 property:P17 ?d . ?d rdf:type ontology:Q15617994 }
Italy
San Giorgio Canavese belongs to Italy
Italy
action filter_type
action find
entity San Giorgio Canavese
relation country
type designation for an administrative territorial entity
['San Giorgio Canavese', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:San_Giorgio_Canavese property:country ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P706
Q82794 Q553036 Q15617994
USER
Which administrative territories are located in atmost 1 geographic regions or natural region of Germanys ?
(c(Q15617994),P706,c(Q82794)|c(Q553036))
action atmost
action union
action find_tuple_counts
relation P706
type Q15617994
type Q82794
action find_tuple_counts
relation P706
type Q15617994
type Q553036
value 1
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q82794'}, {'concept': 'Q553036'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?n ) ?u WHERE { { ?i rdf:type ontology:Q82794 . ?u rdf:type ontology:Q15617994 . ?u property:P706 ?i } UNION { ?u property:P706 ?i . ?u rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q553036 } } GROUP BY ?u } . FILTER ( ?n <= 1 ) }
action atmost
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type natural region of Germany
value 1
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'geographic region'}, {'concept': 'natural region of Germany'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?n ) ?u WHERE { { ?i rdf:type ontology:geographic_region . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?u property:located_on_terrain_feature ?i } UNION { ?u property:located_on_terrain_feature ?i . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:natural_region_of_Germany } } GROUP BY ?u } . FILTER ( ?n <= 1 ) }
[]
geographic region natural region of Germany designation for an administrative territorial entity
Q148 Q145 Q805
SYSTEM
People's Republic of China, United Kingdom, Yemen
Q805 Q1070686 Q695445 Q2712111 Q489215 Q5101419 Q682072 Q6685870 Q4692591 Q525879 Q24846 Q267993 Q3172 Q922342 Q637400 Q21042 Q632868 Q148 Q784 Q21049 Q786 Q25129 Q7042 Q312335 Q21160 Q525945 Q5382040 Q252320 Q3003231 Q505665 Q1462 Q15744129 Q4692611 Q521132 Q790 Q508054 Q1721440 Q5517964 Q496389 Q555609 Q267005 Q128230 Q27332 Q1619957 Q1093572 Q6350324 Q204529 Q244 Q4789577 Q501683 Q582690 Q216422 Q5000224 Q20789 Q16642582 Q33 Q921 Q633162 Q3146 Q520347 Q851 Q845396 Q15213143 Q598754 Q252772 Q21074475 Q104192 Q81306 Q771971 Q1778088 Q3942 Q145 Q333149 Q27 Q494305 Q565749 Q4770750 Q20836 Q20837 Q769680 Q5420482 Q19906291 Q192129 Q502662 Q47821 Q20019215 Q503693 Q4692647 Q3038 Q3068 Q331886 Q15244035 Q6472577 Q25130 Q588957 Q25135 Q229 Q3218 Q4769813 Q112019 Q704288 Q21008 Q7916724 Q660806 Q25125 Q29931 Q28091 Q754 Q507258 Q25082 Q5275507 Q28013 Q558787 Q14892 Q180271 Q262684 Q6353095 Q628095 Q3923 Q27649869 Q5283827 Q3193 Q522992 Q15744111 Q23968 Q760 Q6835962 Q489865 Q518171 Q2119591 Q46870 Q7561974 Q72432 Q504134 Q625747 Q2585085 Q20754 Q8147649 Q153969 Q481758 Q8043694 Q55416 Q31640 Q3559483 Q376823 Q3559279 Q3559271
(c(Q15617994),P706,c(Q82794)|c(Q553036))
action atmost
action union
action find_tuple_counts
relation P706
type Q15617994
type Q82794
action find_tuple_counts
relation P706
type Q15617994
type Q553036
value 1
[ANSWERS] are located in atmost 1 geographic regions or natural region of Germanys
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q82794'}, {'concept': 'Q553036'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?n ) ?u WHERE { { ?i rdf:type ontology:Q82794 . ?u rdf:type ontology:Q15617994 . ?u property:P706 ?i } UNION { ?u property:P706 ?i . ?u rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q553036 } } GROUP BY ?u } . FILTER ( ?n <= 1 ) }
Yemen Leivathos Langen Zagori Oberhof Chionata Rankwitz Loucha Agioi Pantes Haundorf Juist Muhr am See Fehmarn Sithonia Hohenwarte Nebel Sasbach People's Republic of China Dominica Norddorf auf Amrum Dominican Republic Langeoog Amberg Spalt List auf Sylt Pfofeld Epanochori, Cephalonia Pleinfeld Croisset Bergen Sardinia Oberscheuren Agios Dimitrios, Cephalonia Hilpoltstein Haiti Neu Wulmstorf Kaimig Galaro Lipari Magdala Moneglia Ventotene Kampen Hippelsbach Trøllanes Kalamaki, Zakynthos Zingst Barbados Arginia Rosengarten Neuenhagen bei Berlin Samsø Burnt River, Ontario Wenningstedt-Braderup Hydra Finland Brunei Drestedt Pellworm Röttenbach, Roth Saudi Arabia Pyramiden Davgata Undeloh Eichstätt Nenndorf Kleinmachnow Forbach Avlida Kochenbach Aschaffenburg United Kingdom Abstatt Ireland Kelheim Erden Ansons Bay Hallig Hooge Fanø Bornholm Exo Chora Western New Guinea Ustica Bad Salzungen Malcesine Natal Riedenburg Agios Nikolaos, Cephalonia Helgoland Loire-Atlantique Absberg Makryotika Lagopodo Spiekeroog Allersberg Wangerooge Cyprus Insel Hiddensee Ano Gerakari Sirmione Duchy of Holstein Sylt Vasilikades Karlshagen Baltrum Langeneß Wittdün auf Amrum Trinidad and Tobago Kipfenberg Borkum Digaleto Hörnum Südeichsfeld Buchholz in der Nordheide Vetralla Füssen Kalipado Nürburg Bayreuth Teglkås Divarata Ostseebad Insel Poel Braunlage Niederscheuren Norderney Saint Lucia Michata Isola delle Femmine Ellhofen Pylaros Bardolino Sonning Eye Procida Kirchlinteln Rangsdorf Wintersberg Gröde Ba District Lindau Pantelleria Xenopoulo Chioggia Unterschwaningen Elatia Wenzendorf Artemisia Arkadioi
People's Republic of China, United Kingdom and Yemen are located in atmost 1 geographic regions or natural region of Germanys
People's Republic of China United Kingdom Yemen
action atmost
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type natural region of Germany
value 1
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'geographic region'}, {'concept': 'natural region of Germany'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?n ) ?u WHERE { { ?i rdf:type ontology:geographic_region . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?u property:located_on_terrain_feature ?i } UNION { ?u property:located_on_terrain_feature ?i . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:natural_region_of_Germany } } GROUP BY ?u } . FILTER ( ?n <= 1 ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q15617994 Q20667921 Q486972
USER
Which administrative territories have atleast 2 french administrative divisions or human settlements as their capital ?
(c(Q20667921)|c(Q486972),P1376,c(Q15617994))
action atleast
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q486972
value 2
[[{'concept': 'Q20667921'}, {'concept': 'Q486972'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?k >= 2 ) . { SELECT DISTINCT ?a ( COUNT ( ?l ) AS ?k ) WHERE { { ?l property:P1376 ?a . ?a rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q486972 } UNION { ?l property:P1376 ?a . ?a rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q20667921 } } GROUP BY ?a } }
action atleast
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type human settlement
value 2
[[{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?k >= 2 ) . { SELECT DISTINCT ?a ( COUNT ( ?l ) AS ?k ) WHERE { { ?l property:capital_of ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:human_settlement } UNION { ?l property:capital_of ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:type_of_french_administrative_division } } GROUP BY ?a } }
[]
designation for an administrative territorial entity type of french administrative division human settlement
Q12703 Q12569 Q12789
SYSTEM
Pyrénées-Atlantiques, Loire, Var
Q2998020 Q3259 Q12798 Q12703 Q12569 Q12789 Q12730 Q3278 Q12772
(c(Q20667921)|c(Q486972),P1376,c(Q15617994))
action atleast
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q486972
value 2
[ANSWERS] have atleast 2 french administrative divisions or human settlements as their capital
[[{'concept': 'Q20667921'}, {'concept': 'Q486972'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?k >= 2 ) . { SELECT DISTINCT ?a ( COUNT ( ?l ) AS ?k ) WHERE { { ?l property:P1376 ?a . ?a rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q486972 } UNION { ?l property:P1376 ?a . ?a rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q20667921 } } GROUP BY ?a } }
Corse Cantal Vendée Pyrénées-Atlantiques Loire Var Haute-Saône Charente-Maritime Tarn
Pyrénées-Atlantiques, Loire and Var have atleast 2 french administrative divisions or human settlements as their capital
Pyrénées-Atlantiques Loire Var
action atleast
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type human settlement
value 2
[[{'concept': 'type of french administrative division'}, {'concept': 'human settlement'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?k >= 2 ) . { SELECT DISTINCT ?a ( COUNT ( ?l ) AS ?k ) WHERE { { ?l property:capital_of ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:human_settlement } UNION { ?l property:capital_of ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:type_of_french_administrative_division } } GROUP BY ?a } }
[]
Clarification
Simple Question|Single Entity|Indirect
Q12569
P138
Q355304
USER
Which watercourse is namesake of that administrative territory ?
(Q12569,P138,c(Q355304))
action filter_type
action find
entity Q12569
relation P138
type Q355304
['Q12569', 'P138', {'concept': 'Q355304'}]
SELECT DISTINCT ?j WHERE { resource:Q12569 property:P138 ?j . ?j rdf:type ontology:Q355304 }
Loire
action filter_type
action find
entity Loire
relation named after
type watercourse
['Loire', 'named after', {'concept': 'watercourse'}]
SELECT DISTINCT ?j WHERE { resource:Loire property:named_after ?j . ?j rdf:type ontology:watercourse }
[]
watercourse
Clarification for simple ques.
Q12569
SYSTEM
Did you mean Loire ?
Q12703 Q12569 Q12789
(Q12703,P138,c(Q355304)) (Q12569,P138,c(Q355304)) (Q12789,P138,c(Q355304))
[ANSWER]
['Q12703', 'P138', {'concept': 'Q355304'}] ['Q12569', 'P138', {'concept': 'Q355304'}] ['Q12789', 'P138', {'concept': 'Q355304'}]
SELECT DISTINCT ?j WHERE { resource:Q12569 property:P138 ?j . ?j rdf:type ontology:Q355304 }
Pyrénées-Atlantiques Loire Var
Did you mean Loire ?
Loire
['Pyrénées-Atlantiques', 'named after', {'concept': 'watercourse'}] ['Loire', 'named after', {'concept': 'watercourse'}] ['Var', 'named after', {'concept': 'watercourse'}]
SELECT DISTINCT ?j WHERE { resource:Loire property:named_after ?j . ?j rdf:type ontology:watercourse }
[]
Simple Question (Coreferenced)
USER
Yes
(Q12569,P138,c(Q355304))
['Q12569', 'P138', {'concept': 'Q355304'}]
['Loire', 'named after', {'concept': 'watercourse'}]
[]
Q1469
SYSTEM
Loire
Q1469
(Q12569,P138,c(Q355304))
action filter_type
action find
entity Q12569
relation P138
type Q355304
[ANSWER] is namesake of that administrative territory
['Q12569', 'P138', {'concept': 'Q355304'}]
SELECT DISTINCT ?j WHERE { resource:Q12569 property:P138 ?j . ?j rdf:type ontology:Q355304 }
Loire
Loire is namesake of that administrative territory
Loire
action filter_type
action find
entity Loire
relation named after
type watercourse
['Loire', 'named after', {'concept': 'watercourse'}]
SELECT DISTINCT ?j WHERE { resource:Loire property:named_after ?j . ?j rdf:type ontology:watercourse }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1469 Q5603861
P17
Q15617994
USER
Is Loire located in Greene County Tech School District ?
(Q1469,P17,Q5603861)
action is_in
entity Q5603861
action find
entity Q1469
relation P17
['Q1469', 'P17', 'Q5603861']
ASK WHERE { resource:Q1469 property:P17 resource:Q5603861 }
Loire Greene County Tech School District
action is_in
entity Greene County Tech School District
action find
entity Loire
relation country
['Loire', 'country', 'Greene County Tech School District']
ASK WHERE { resource:Loire property:country resource:Greene_County_Tech_School_District }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q1469,P17,Q5603861)
action is_in
entity Q5603861
action find
entity Q1469
relation P17
[ANSWER]
['Q1469', 'P17', 'Q5603861']
ASK WHERE { resource:Q1469 property:P17 resource:Q5603861 }
No
action is_in
entity Greene County Tech School District
action find
entity Loire
relation country
['Loire', 'country', 'Greene County Tech School District']
ASK WHERE { resource:Loire property:country resource:Greene_County_Tech_School_District }
[]