Simple Question (Direct)
Simple Question
Q1532230
P27
Q1048835
USER
Which political territory is Otto Kleinschmidt an inhabitant of ?
(Q1532230,P27,c(Q1048835))
action filter_type
action find
entity Q1532230
relation P27
type Q1048835
['Q1532230', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?f WHERE { resource:Q1532230 property:P27 ?f . ?f rdf:type ontology:Q1048835 }
Otto Kleinschmidt
action filter_type
action find
entity Otto Kleinschmidt
relation country of citizenship
type political territorial entity
['Otto Kleinschmidt', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Otto_Kleinschmidt property:country_of_citizenship ?f . ?f rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q1532230,P27,c(Q1048835))
action filter_type
action find
entity Q1532230
relation P27
type Q1048835
[ANSWER] is Otto Kleinschmidt an inhabitant of
['Q1532230', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?f WHERE { resource:Q1532230 property:P27 ?f . ?f rdf:type ontology:Q1048835 }
Germany
Germany is Otto Kleinschmidt an inhabitant of
Germany
action filter_type
action find
entity Otto Kleinschmidt
relation country of citizenship
type political territorial entity
['Otto Kleinschmidt', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Otto_Kleinschmidt property:country_of_citizenship ?f . ?f rdf:type ontology:political_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1532230
P937
Q515
USER
What are the work locations of that person ?
(Q183,P937,c(Q515))
action filter_type
action find
entity Q1532230
relation P937
type Q515
['Q183', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q515 . resource:Q1532230 property:P937 ?q }
Otto Kleinschmidt
action filter_type
action find
entity Otto Kleinschmidt
relation work location
type city
['Germany', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:city . resource:Otto_Kleinschmidt property:work_location ?q }
[]
city
Q2079 Q1721
SYSTEM
Leipzig, Wiesbaden
Q2079 Q1721
(Q183,P937,c(Q515))
action filter_type
action find
entity Q1532230
relation P937
type Q515
The work locations of that person are in [ANSWERS]
['Q183', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q515 . resource:Q1532230 property:P937 ?q }
Leipzig Wiesbaden
The work locations of that person are in Leipzig and Wiesbaden
Leipzig Wiesbaden
action filter_type
action find
entity Otto Kleinschmidt
relation work location
type city
['Germany', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:city . resource:Otto_Kleinschmidt property:work_location ?q }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q2079 Q1721
P190
Q56061
USER
Which administrative territories are twin towns of Leipzig and Wiesbaden ?
(Q2079,P190,c(Q56061)) (Q1721,P190,c(Q56061))
action union
action filter_type
action find
entity Q2079
relation P190
type Q56061
action filter_type
action find
entity Q1721
relation P190
type Q56061
['Q2079', 'P190', {'concept': 'Q56061'}] ['Q1721', 'P190', {'concept': 'Q56061'}]
SELECT DISTINCT ?f WHERE { VALUES ( ?v ) { ( resource:Q2079 ) ( resource:Q1721 ) } . ?v property:P190 ?f }
Leipzig Wiesbaden
action union
action filter_type
action find
entity Leipzig
relation sister city
type administrative territorial entity
action filter_type
action find
entity Wiesbaden
relation sister city
type administrative territorial entity
['Leipzig', 'sister city', {'concept': 'administrative territorial entity'}] ['Wiesbaden', 'sister city', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { VALUES ( ?v ) { ( resource:Leipzig ) ( resource:Wiesbaden ) } . ?v property:sister_city ?f }
[]
administrative territorial entity
Q174 Q17151 Q1715
SYSTEM
São Paulo, Thessaloniki, Hanover
Q16555 Q776965 Q3703 Q17151 Q174 Q1715 Q152491 Q1891 Q459 Q69354 Q437 Q665489 Q10313 Q152436 Q1296 Q1025830
(Q2079,P190,c(Q56061)) (Q1721,P190,c(Q56061))
action union
action filter_type
action find
entity Q2079
relation P190
type Q56061
action filter_type
action find
entity Q1721
relation P190
type Q56061
[ANSWERS] are twin towns of Leipzig and Wiesbaden
['Q2079', 'P190', {'concept': 'Q56061'}] ['Q1721', 'P190', {'concept': 'Q56061'}]
SELECT DISTINCT ?f WHERE { VALUES ( ?v ) { ( resource:Q2079 ) ( resource:Q1721 ) } . ?v property:P190 ?f }
Houston Klaipėda Bamako Thessaloniki São Paulo Hanover Herzliya Bologna Plovdiv Montreux Ljubljana Royal Tunbridge Wells Donostia/San Sebastián Kfar Saba Ghent Ocotal
São Paulo, Thessaloniki and Hanover are twin towns of Leipzig and Wiesbaden
São Paulo Thessaloniki Hanover
action union
action filter_type
action find
entity Leipzig
relation sister city
type administrative territorial entity
action filter_type
action find
entity Wiesbaden
relation sister city
type administrative territorial entity
['Leipzig', 'sister city', {'concept': 'administrative territorial entity'}] ['Wiesbaden', 'sister city', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { VALUES ( ?v ) { ( resource:Leipzig ) ( resource:Wiesbaden ) } . ?v property:sister_city ?f }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q174 Q17151 Q1715
P159
Q4830453
USER
Which business enterprises have the principal seat at São Paulo, Thessaloniki and Hanover ?
(c(Q4830453),P159,Q174) (c(Q4830453),P159,Q17151) (c(Q4830453),P159,Q1715)
action union
action filter_type
action find_reverse
entity Q174
relation P159
type Q4830453
action filter_type
action find_reverse
entity Q17151
relation P159
type Q4830453
action filter_type
action find_reverse
entity Q1715
relation P159
type Q4830453
[{'concept': 'Q4830453'}, 'P159', 'Q174'] [{'concept': 'Q4830453'}, 'P159', 'Q17151'] [{'concept': 'Q4830453'}, 'P159', 'Q1715']
SELECT DISTINCT ?m WHERE { ?m property:P159 ?w . VALUES ( ?w ) { ( resource:Q174 ) ( resource:Q17151 ) } }
São Paulo Thessaloniki Hanover
action union
action filter_type
action find_reverse
entity São Paulo
relation headquarters location
type business enterprise
action filter_type
action find_reverse
entity Thessaloniki
relation headquarters location
type business enterprise
action filter_type
action find_reverse
entity Hanover
relation headquarters location
type business enterprise
[{'concept': 'business enterprise'}, 'headquarters location', 'São Paulo'] [{'concept': 'business enterprise'}, 'headquarters location', 'Thessaloniki'] [{'concept': 'business enterprise'}, 'headquarters location', 'Hanover']
SELECT DISTINCT ?m WHERE { ?m property:headquarters_location ?w . VALUES ( ?w ) { ( resource:São_Paulo ) ( resource:Thessaloniki ) } }
[]
business enterprise
Q10365854 Q9669704 Q10366163
SYSTEM
Rádio Globo São Paulo, CBN São Paulo, Rádio Trianon
Q10385096 Q9669704 Q10366163 Q10337767 Q10300990 Q10365620 Q10272846 Q10386169 Q18462111 Q10365786 Q9645574 Q1555170 Q7477131 Q10365593 Q10365814 Q10288562 Q10365854 Q10331210 Q10366160 Q690227 Q10310944 Q6825359 Q7824492 Q16488962 Q10366119 Q16956985 Q17394626 Q1964161 Q1514089 Q27149269 Q2126387 Q1122564 Q1576304
(c(Q4830453),P159,Q174) (c(Q4830453),P159,Q17151) (c(Q4830453),P159,Q1715)
action union
action filter_type
action find_reverse
entity Q174
relation P159
type Q4830453
action filter_type
action find_reverse
entity Q17151
relation P159
type Q4830453
action filter_type
action find_reverse
entity Q1715
relation P159
type Q4830453
[ANSWERS] have the principal seat at São Paulo, Thessaloniki and Hanover
[{'concept': 'Q4830453'}, 'P159', 'Q174'] [{'concept': 'Q4830453'}, 'P159', 'Q17151'] [{'concept': 'Q4830453'}, 'P159', 'Q1715']
SELECT DISTINCT ?m WHERE { ?m property:P159 ?w . VALUES ( ?w ) { ( resource:Q174 ) ( resource:Q17151 ) } }
Tropical FM CBN São Paulo Rádio Trianon Nova Brasil FM Adore FM Rádio Capital Energia 97 89 FM a Rádio Rock Bradesco Esportes FM Rádio Estadão BandNews FM São Paulo Gurgel Kiss FM Rádio Bandeirantes São Paulo Rádio Gazeta Gazeta FM Rádio Globo São Paulo Mix FM Rádio Transamérica São Paulo Chamonix Jovem Pan FM São Paulo Metropolitana FM Top FM Alpha FM Rádio Trânsito Terkenlis Mouzenidis Group Namco Germania brewery Kunst- und Auktionshaus Kastern Radio ffn Infra Infrastrukturgesellschaft Region Hannover GmbH Hannoversche Waggonfabrik
Rádio Globo São Paulo, CBN São Paulo and Rádio Trianon have the principal seat at São Paulo, Thessaloniki and Hanover
Rádio Globo São Paulo CBN São Paulo Rádio Trianon
action union
action filter_type
action find_reverse
entity São Paulo
relation headquarters location
type business enterprise
action filter_type
action find_reverse
entity Thessaloniki
relation headquarters location
type business enterprise
action filter_type
action find_reverse
entity Hanover
relation headquarters location
type business enterprise
[{'concept': 'business enterprise'}, 'headquarters location', 'São Paulo'] [{'concept': 'business enterprise'}, 'headquarters location', 'Thessaloniki'] [{'concept': 'business enterprise'}, 'headquarters location', 'Hanover']
SELECT DISTINCT ?m WHERE { ?m property:headquarters_location ?w . VALUES ( ?w ) { ( resource:São_Paulo ) ( resource:Thessaloniki ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1532230
P19
Q515
USER
Which city was Otto Kleinschmidt born at ?
(Q1532230,P19,c(Q515))
action filter_type
action find
entity Q1532230
relation P19
type Q515
['Q1532230', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?y WHERE { resource:Q1532230 property:P19 ?y . ?y rdf:type ontology:Q515 }
Otto Kleinschmidt
action filter_type
action find
entity Otto Kleinschmidt
relation place of birth
type city
['Otto Kleinschmidt', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?y WHERE { resource:Otto_Kleinschmidt property:place_of_birth ?y . ?y rdf:type ontology:city }
[]
city
Q2973
SYSTEM
Darmstadt
Q2973
(Q1532230,P19,c(Q515))
action filter_type
action find
entity Q1532230
relation P19
type Q515
Otto Kleinschmidt was born in [ANSWER]
['Q1532230', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?y WHERE { resource:Q1532230 property:P19 ?y . ?y rdf:type ontology:Q515 }
Darmstadt
Otto Kleinschmidt was born in Darmstadt
Darmstadt
action filter_type
action find
entity Otto Kleinschmidt
relation place of birth
type city
['Otto Kleinschmidt', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?y WHERE { resource:Otto_Kleinschmidt property:place_of_birth ?y . ?y rdf:type ontology:city }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q2973 Q183 Q15970
P17
Q1048835
USER
Is that city present in Germany and Santa María de Miralles ?
(Q2973,P17,Q183) (Q2973,P17,Q15970)
action is_in
entity Q2973
action intersection
action find_reverse
entity Q183
relation P17
action find_reverse
entity Q15970
relation P17
['Q2973', 'P17', 'Q183'] ['Q2973', 'P17', 'Q15970']
ASK WHERE { resource:Q2973 property:P17 resource:Q183 . resource:Q2973 property:P17 resource:Q15970 }
Darmstadt Germany Santa María de Miralles
action is_in
entity Darmstadt
action intersection
action find_reverse
entity Germany
relation country
action find_reverse
entity Santa María de Miralles
relation country
['Darmstadt', 'country', 'Germany'] ['Darmstadt', 'country', 'Santa María de Miralles']
ASK WHERE { resource:Darmstadt property:country resource:Germany . resource:Darmstadt property:country resource:Santa_María_de_Miralles }
[]
political territorial entity
SYSTEM
YES and NO respectively
(Q2973,P17,Q183) (Q2973,P17,Q15970)
action is_in
entity Q2973
action intersection
action find_reverse
entity Q183
relation P17
action find_reverse
entity Q15970
relation P17
[ANSWER]
['Q2973', 'P17', 'Q183'] ['Q2973', 'P17', 'Q15970']
ASK WHERE { resource:Q2973 property:P17 resource:Q183 . resource:Q2973 property:P17 resource:Q15970 }
YES and NO respectively
action is_in
entity Darmstadt
action intersection
action find_reverse
entity Germany
relation country
action find_reverse
entity Santa María de Miralles
relation country
['Darmstadt', 'country', 'Germany'] ['Darmstadt', 'country', 'Santa María de Miralles']
ASK WHERE { resource:Darmstadt property:country resource:Germany . resource:Darmstadt property:country resource:Santa_María_de_Miralles }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q24174
P1376
Q1048835 Q515
USER
Which political territories have around the same number of cities as their capital as Dresden Government Region ?
(c(Q515),P1376,c(Q1048835))
action approx
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action count
action filter_type
action find
entity Q24174
relation P1376
type Q1048835
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?z ) AS ?v ) WHERE { ?z rdf:type ontology:Q515 . ?h rdf:type ontology:Q1048835 . ?z property:P1376 ?h } GROUP BY ?h } . FILTER ( ?v = ?a ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?a ) WHERE { resource:Q24174 property:P1376 ?k . ?k rdf:type ontology:Q1048835 } } }
Dresden Government Region
action approx
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action count
action filter_type
action find
entity Dresden Government Region
relation capital of
type political territorial entity
[{'concept': 'city'}, 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?z ) AS ?v ) WHERE { ?z rdf:type ontology:city . ?h rdf:type ontology:political_territorial_entity . ?z property:capital_of ?h } GROUP BY ?h } . FILTER ( ?v = ?a ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?a ) WHERE { resource:Dresden_Government_Region property:capital_of ?k . ?k rdf:type ontology:political_territorial_entity } } }
[]
political territorial entity city
Q664 Q757 Q785
SYSTEM
New Zealand, Saint Vincent and the Grenadines, Jersey
Q13881 Q13882 Q13884 Q13889 Q785 Q13726 Q2051 Q3891 Q3899 Q2175 Q2271 Q48060 Q13900 Q170390 Q8170 Q168651 Q3741 Q2223 Q13786 Q13785 Q13869 Q13868 Q13865 Q13863 Q13862 Q10547 Q1890 Q664 Q12741 Q6339 Q5082 Q5065 Q5067 Q5061 Q5062 Q5068 Q13737 Q7932 Q2140 Q13827 Q13826 Q13825 Q13829 Q953068 Q170036 Q9648 Q3125978 Q13857 Q757 Q13772 Q6301 Q7890 Q3916 Q13794 Q13791 Q13792 Q13813 Q48079 Q5093 Q5095 Q671742 Q5075 Q193619 Q13744 Q48094 Q192697 Q2772 Q13874 Q7928 Q188373 Q48046 Q2101298 Q1823 Q13844 Q13847 Q13843 Q2594990 Q8195 Q2110 Q48072 Q3586 Q13892 Q13891 Q13899 Q3906 Q1866 Q13809 Q13860 Q13806 Q240441 Q24174 Q10440 Q49655 Q190930 Q13753 Q13752 Q13755 Q13759 Q8167 Q48089 Q7916 Q7912 Q3540 Q10526 Q13870 Q13872 Q3724 Q13876 Q48057 Q6328 Q10557 Q10555 Q2902 Q10559
(c(Q515),P1376,c(Q1048835))
action approx
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action count
action filter_type
action find
entity Q24174
relation P1376
type Q1048835
[ANSWERS] have around the same number of cities as their capital as Dresden Government Region
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?z ) AS ?v ) WHERE { ?z rdf:type ontology:Q515 . ?h rdf:type ontology:Q1048835 . ?z property:P1376 ?h } GROUP BY ?h } . FILTER ( ?v = ?a ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?a ) WHERE { resource:Q24174 property:P1376 ?k . ?k rdf:type ontology:Q1048835 } } }
Sorsogon South Cotabato Southern Leyte Surigao del Norte Jersey Albay Jambi Province Kalimantan Tengah Kalimantan Timur Riau Province South Sumatra Gera District Zamboanga del Sur County of Oldenburg Tübingen Landgraviate of Hesse-Kassel Special Region of Yogyakarta Kepulauan Riau Cebu Cavite Palawan Oriental Mindoro Nueva Ecija Negros Oriental Negros Occidental Lower Franconia Bengkulu Province New Zealand Ilocos Sur Erzgebirgskreis West Sulawesi Central Sulawesi Province Gorontalo Province East Nusa Tenggara Province West Nusa Tenggara North Sulawesi Province Basilan Darmstadt Government Region North Sumatra Province Kalinga Isabela Iloilo La Union South-West Africa Kiev Oblast Falkland Islands Bali Misamis Occidental Saint Vincent and the Grenadines Capiz Nordsachsen Kassel Kalimantan Barat Davao del Sur Cotabato Davao del Norte Ilocos Norte Leipzig District Maluku Province Papua General Pueyrredón South East Sulawesi Province Union of South Africa Batangas Potsdam District South Moravian Region West Sumatra Rizal Kassel  Government Region South Bohemia Region Cottbus Tandil Aceh Leyte Masbate Lanao del Sur Dominion of New Zealand Breisgau-Hochschwarzwald Lampung Province Karl-Marx-Stadt District East Java Tarlac Surigao del Sur Zamboanga del Norte Kalimantan Selatan Bangka–Belitung Islands Eastern Samar Misamis Oriental Davao Oriental General Alvarado Partido Dresden Government Region Coburg Schellenberg Vysočina Region Bukidnon Bohol Bulacan Cagayan Freiburg Government Region Neubrandenburg District Darmstadt-Dieburg Offenbach Banten Province Rosenheim Pampanga Quezon West Java Province Samar Frankfurt (Oder) Mittelsachsen Swabia Upper Palatinate Mecklenburgische Seenplatte District Lower Bavaria
New Zealand, Saint Vincent and the Grenadines and Jersey have around the same number of cities as their capital as Dresden Government Region
New Zealand Saint Vincent and the Grenadines Jersey
action approx
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action count
action filter_type
action find
entity Dresden Government Region
relation capital of
type political territorial entity
[{'concept': 'city'}, 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?z ) AS ?v ) WHERE { ?z rdf:type ontology:city . ?h rdf:type ontology:political_territorial_entity . ?z property:capital_of ?h } GROUP BY ?h } . FILTER ( ?v = ?a ) . { SELECT DISTINCT ( COUNT ( ?k ) AS ?a ) WHERE { resource:Dresden_Government_Region property:capital_of ?k . ?k rdf:type ontology:political_territorial_entity } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q5445332
P1376
Q1048835 Q515
USER
And what about Ferreñafe District?
(c(Q515),P1376,c(Q1048835))
action approx
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action count
action filter_type
action find
entity Q5445332
relation P1376
type Q1048835
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?q ) WHERE { ?j rdf:type ontology:Q515 . ?e rdf:type ontology:Q1048835 . ?j property:P1376 ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?z ) WHERE { resource:Q5445332 property:P1376 ?h . ?h rdf:type ontology:Q1048835 } } . FILTER ( ?q = ?z ) }
Ferreñafe District
action approx
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action count
action filter_type
action find
entity Ferreñafe District
relation capital of
type political territorial entity
[{'concept': 'city'}, 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?q ) WHERE { ?j rdf:type ontology:city . ?e rdf:type ontology:political_territorial_entity . ?j property:capital_of ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?z ) WHERE { resource:Ferreñafe_District property:capital_of ?h . ?h rdf:type ontology:political_territorial_entity } } . FILTER ( ?q = ?z ) }
[]
political territorial entity city
Q183 Q408 Q35
SYSTEM
Germany, Australia, Denmark
Q7915647 Q7130037 Q132418 Q132410 Q13885 Q13887 Q6318040 Q6319902 Q208186 Q2703484 Q208183 Q208182 Q13728 Q13721 Q13723 Q13727 Q6317672 Q3321945 Q938891 Q10298683 Q849807 Q10500690 Q6317993 Q191061 Q3313189 Q2357511 Q260600 Q157070 Q164193 Q2696388 Q5925302 Q188399 Q10453 Q6115 Q3824788 Q6319605 Q10459 Q6119 Q2039666 Q5700 Q6321850 Q2696745 Q13902 Q515343 Q753689 Q2058837 Q3317759 Q3825827 Q3825439 Q167859 Q43448 Q215221 Q2608412 Q792933 Q8061684 Q2488777 Q599613 Q3824052 Q5777 Q1122980 Q6981448 Q1382499 Q3825382 Q8560940 Q2026858 Q7414298 Q3824230 Q103691 Q13769 Q13767 Q103699 Q3824339 Q13763 Q3313237 Q8172 Q8601 Q5685842 Q50615 Q7909 Q50616 Q7901 Q7902 Q7904 Q7905 Q7906 Q7907 Q234 Q605805 Q205126 Q605803 Q3995 Q102377 Q8165 Q3825242 Q5445332 Q5390290 Q104231 Q2622314 Q3312907 Q3312902 Q173407 Q8517 Q2702993 Q165956 Q6949621 Q133083 Q6156 Q2071352 Q1925048 Q210061 Q494354 Q9676 Q13867 Q13866 Q13864 Q205104 Q13789 Q35672 Q205089 Q3313400 Q104257 Q5047837 Q2737098 Q10544 Q10469 Q2485101 Q7290462 Q10462 Q1334322 Q10466 Q10465 Q628370 Q104891 Q4863230 Q205078 Q2039785 Q193307 Q127167 Q1229806 Q193266 Q89959 Q269272 Q971457 Q746558 Q8560844 Q6319387 Q6330 Q2707686 Q559600 Q18288155 Q6337 Q3312493 Q3824385 Q3678587 Q2967 Q6317167 Q408 Q2096228 Q13730 Q2846059 Q13739 Q599448 Q40 Q3312467 Q7931 Q13861 Q240 Q6319070 Q207973 Q3312924 Q2843759 Q105075 Q653605 Q2621919 Q3824849 Q869191 Q208185 Q6321798 Q6318172 Q539231 Q34617 Q2698844 Q383734 Q35 Q38610 Q3313291 Q3312974 Q2718534 Q7137570 Q3826135 Q5926575 Q7686343 Q5262649 Q192959 Q3321924 Q5455586 Q8566 Q6319759 Q3313129 Q25228 Q692946 Q210896 Q788626 Q81725 Q5692 Q533915 Q3322654 Q3312451 Q3313430 Q3825983 Q2342207 Q5088519 Q579801 Q585345 Q6319917 Q3236666 Q3321991 Q690880 Q6317752 Q1229833 Q20274 Q13778 Q103686 Q691 Q5164916 Q90027 Q3313822 Q3656379 Q642314 Q6318695 Q6308 Q632108 Q5096392 Q5031628 Q10461 Q3312393 Q3908 Q7898 Q7899 Q170213 Q7893 Q2917 Q7896 Q1399432 Q933179 Q5945 Q1803069 Q192702 Q2149622 Q160284 Q8522 Q4040 Q10896751 Q129286 Q6177392 Q1827027 Q13812 Q13810 Q8560764 Q781 Q6061 Q5705 Q707771 Q3826003 Q5095925 Q6318859 Q5720 Q13353 Q10471 Q10472 Q170604 Q3391867 Q166709 Q4502016 Q3825852 Q3825512 Q948230 Q3825929 Q874935 Q707584 Q40637 Q5577966 Q103659 Q594435 Q3322682 Q3825462 Q2486441 Q18288148 Q5096 Q3653113 Q23635 Q6321909 Q6317899 Q450521 Q2621992 Q3824597 Q834261 Q3557 Q5078 Q13740 Q2632922 Q4804007 Q5925410 Q1893486 Q3313278 Q2898 Q5051137 Q48098 Q201162 Q168856 Q178269 Q46070 Q7258563 Q18288152 Q2167140 Q104926 Q6317022 Q2718496 Q922842 Q3825702 Q41071 Q2718491 Q5932 Q8050384 Q2703450 Q3313040 Q3314201 Q2697234 Q231 Q106789 Q3312967 Q2486015 Q1468315 Q3313284 Q192536 Q4883554 Q3826044 Q205057 Q2486455 Q5048959 Q3826128 Q7414539 Q2379199 Q1769672 Q13845 Q13846 Q13841 Q13840 Q7421013 Q3825413 Q189974 Q193295 Q1038802 Q3315196 Q1039006 Q2566142 Q207413 Q3322644 Q173822 Q209142 Q604640 Q104746 Q6318726 Q638013 Q134907 Q5756 Q193714 Q1000 Q1229942 Q269509 Q6061367 Q2761723 Q769 Q685 Q103679 Q20264 Q763 Q1232887 Q766 Q103672 Q650489 Q2199691 Q7894 Q313969 Q6313 Q8048242 Q6317 Q2718510 Q18221 Q192184 Q13893 Q2875944 Q13895 Q5444794 Q593806 Q3903 Q1730130 Q13714 Q10551 Q13711 Q2842398 Q1117137 Q2761218 Q257516 Q505050 Q1787430 Q778266 Q201697 Q505220 Q7827062 Q3826249 Q4694508 Q209597 Q103093 Q7636360 Q178084 Q2697268 Q13807 Q170672 Q1230021 Q183 Q933576 Q1632864 Q200938 Q6109 Q8541 Q10562 Q151938 Q597029 Q3313100 Q104877 Q103738 Q103732 Q2703324 Q3825445 Q858617 Q211208 Q6316996 Q2723621 Q3824193 Q6318896 Q3317748 Q6318575 Q783091 Q207424 Q106915 Q5783 Q5785 Q2941 Q368273 Q79965 Q315840 Q6317226 Q13751 Q13750 Q5657086 Q2697641 Q309460 Q571947 Q7919 Q7917 Q7914 Q7911 Q7910 Q838690 Q48101 Q1233672 Q48106 Q185700 Q232806 Q3825025 Q3824537 Q1009130 Q2307775 Q7908 Q543868 Q16 Q5856660 Q2697221 Q2697637 Q539094 Q205068 Q130840 Q6320495 Q191091 Q10480 Q3321868 Q10483 Q10485 Q10487 Q339637 Q3031627 Q7380195 Q3825015 Q13871 Q13873 Q13875 Q13877 Q13879 Q3313020 Q2576396 Q190550 Q205112 Q874962 Q189822 Q211793 Q48054 Q6013498 Q211795 Q6319125 Q3312431 Q10554 Q2909 Q2640062 Q862584 Q170666 Q5091750 Q1787207 Q103707 Q2566284 Q48083 Q778 Q5924968 Q170446 Q468378 Q25305 Q193317 Q272033 Q6323 Q9331 Q2703091 Q18288162 Q18288160 Q35086 Q2885071 Q2367188 Q104940 Q1478051 Q188732
(c(Q515),P1376,c(Q1048835))
action approx
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action count
action filter_type
action find
entity Q5445332
relation P1376
type Q1048835
[ANSWERS]
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?q ) WHERE { ?j rdf:type ontology:Q515 . ?e rdf:type ontology:Q1048835 . ?j property:P1376 ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?z ) WHERE { resource:Q5445332 property:P1376 ?h . ?h rdf:type ontology:Q1048835 } } . FILTER ( ?q = ?z ) }
Vargas Guerra District Panao District Northern Cape Mpumalanga Sultan Kudarat Sulu Paita District Huancayo District Ica Region Antabamba District Piura Region Moquegua Region Apayao Agusan del Sur Aklan Antique Ayabaca District Acarí District San Miguel District Huacrachuco Western Highlands Province San Miguel District San Pablo District, San Pablo Grodno Region Barranca District City of Dundee La Plata Partido County of Flanders Lviv Oblast Colquioc District Huamachuco District Central Bohemian Region Weißenburg-Gunzenhausen Barnim Yunguyo District Ichocán District Kitzingen Oberhavel Paracas District Lapland Junín District San Nicolás District, Rodríguez de Mendoza Zamboanga Sibugay Ranrahirca District Sandaun Province Purús District Putumayo District Coracora District Sancos District, Huanca Sancos Volyn Oblast British Indian Ocean Territory Huánuco Region Sicuani District Benito Juárez Yurimaguas District Huari District County of Namur Sivia District Extremadura Comtat Venaissin Nauta District Hela Lampa District Requena District Hudiksvall County San Ignacio District, Peru Ayaviri District Halland County Camiguin Camarines Sur Gävleborg County Ica District Camarines Norte Supe District Stuttgart Government Region Rhein-Lahn-Kreis Lircay District Akershus Main-Taunus-Kreis Hedmark Vogelsbergkreis Marburg-Biedenkopf Gießen Lahn-Dill-Kreis Limburg-Weilburg Rheingau-Taunus-Kreis Flemish Region Bagua District La Libertad Region Tocache District Basque Country Blekinge County Karlsruhe Government Region Chincha Alta District Ferreñafe District Laredo District Stockholm County Saavedra Checca District Coya District Ternopil Oblast Main-Tauber Haquira District North West Máncora District Gauteng Oberspreewald-Lausitz Callao Region San Pedro Partido Lambayeque Region Kara-Khanid Khanate Isle of Man Occidental Mindoro Nueva Vizcaya Northern Samar Puno Region Compostela Valley Pitcairn Islands Áncash Region Arahuay District Örebro County Casa Grande District Jumbilla District Munich (district) Main-Spessart County of Chiny Ramón Castilla District Haßberge County of Toulouse Bad Kissingen Rhön-Grabfeld Lobería Västernorrland County Barranca District, Datem del Marañón Cajamarca Region Tumbes Olomouc Region Western Cape Chachapoyas District Liberec Region French Community of Belgium Rioja District Lunahuaná District Emirate of Bukhara Manseriche District Querco District Zwickau Casma District Güstrow Metropolitan City of Milan Vogtlandkreis Ccatca District Huancané District Metropolitan City of Venice Rendsburg-Eckernförde Tambopata Australia Tornquist Aurora Andahuaylillas District Bataan Chimbu Province Austria Tacna District Giessen Government Region Mountain Province Brussels Magdalena de Cao District Junín Region Moquegua District Locumba Västmanland County Coronel Rosales Patagones Juliaca District Coronel Dorrego Apurímac Region Sexi District Zarumilla Ambo District Saint Pierre and Miquelon Chimbote District Iquitos District Denmark Dominion of Newfoundland San Vicente de Cañete District Calca District Lurigancho Pariñas District Puquio District Huaytará District Tarma District Jauja District Minsk Region Arequipa Fitzcarrald Alzey-Worms Sicaya District Cerro Azul District Anguilla Gorizia and Gradisca Madre de Dios Region Bahía Blanca KwaZulu-Natal Southern Ostrobothnia Malmöhus County Tinta District Marcona District Antioquia District Tarata San Cayetano Chavinillo District Gothenburg and Bohus County Coronel Pringles Pedro Galvez District Huaura District Camaná District East Sepik Province Picota District Granada District Weißeritzkreis Catanduanes Norrbotten County Papua New Guinea Contamana District German-speaking Community of Belgium Pachangara District Davao Occidental County of Burgundy Pimentel Leipzig Lincoln Partido Chiclayo District Candarave Schweinfurt Ayacucho District Galicia Hersfeld-Rotenburg Fulda Zakarpattia Oblast Waldeck-Frankenberg Vorpommern-Greifswald District Werra-Meißner-Kreis Almirante Brown Huánuco District Cloppenburg Bad Aibling county Ústí nad Labem Region Rivadavia Department Free State Ostalb Aragon Llipa District British Raj Jenaro Herrera District Mar Chiquita Partido Ifugao Guimaras Indiana District, Maynas Antigua and Barbuda Altmarkkreis Salzwedel Catalonia County of Bentheim Chucuito District Chicama District Lambayeque District Valencian Country Montserrat Aschaffenburg Miltenberg New France Guadalupe District Vinnytsia Oblast Juanjui District Macusani District Sandia District Oyón District Cangallo District Manus Province County of Loon Zhytomyr Oblast Pampas District, Tayacaja Skåne County Layo District Huayllabamba District Anta District Padre Abad Metropolitan City of Florence West Papua Kingdom of Syunik Bermuda Río Tambo District Moyobamba District Magdeburg Government Region Villarino Moho District Bolívar Partido Central Java Province South Sulawesi Batanes Chancay District Ascope District Huancavelica District County of Jaffa and Ascalon Santa Ana District, La Convención Rostock District Catacaos Rostock District Amazonas Region Chernivtsi Oblast Ivano-Frankivsk Oblast Plzeň Region Puerto Inca District Metropolitan City of Genoa Rauch Partido Uppsala County Sechura District Andahuaylas District Skaraborg County Juli District Gangwon Province Acomayo District Friesland Yavari District Chalhuanca District Yucay District Achoma District Huaraz District Walloon Region Värmland County Urubamba District Callería Pozuzo District Mala District Zlín Region Bellavista District Quinua District Cusco Region Manantay Casitas Huancabamba District San José de Sisa District politics of Edinburgh La Sotonera Maguindanao Marinduque Lanao del Norte Laguna Saposoa District Pausa District Jõgeva County Hradec Králové Region Junín Partido Huambo District Laprida Huacho District Tacna Region Mollendo District Brest Region South Lanarkshire General Villegas Partido Kronoberg County Tarapoto District Tinajo, Las Palmas Limpopo Community of Madrid Mandatory Palestine Gabon La Jalca District Coronel Suárez Monsefú District Puan Grenada Solomon Islands Jämtland County Sächsische Schweiz Saint Kitts and Nevis County of Savoy Jamaica Jönköping County Margraviate of Baden Monte Hermoso Schwalm-Eder-Kreis Regierungsbezirk Minden Meissen Yanahuanca Görlitz Abancay District Turks and Caicos Islands Saint Helena, Ascension and Tristan da Cunha Tawi-Tawi Omate District Zambales Fernando Lores District Llata District North Kalimantan Later Qin Agusan del Norte Middle Franconia Abra Trujillo District Raimondi Jesús District Oxapampa District Adolfo Gonzales Chaves Niesky District County of Artois Leimebamba District Huancavelica Region Torres Causana District Chuschi District Aguas Verdes Tumbes department Västra Götaland County Sullana District Ilkhanate Chavín de Huantar District Dinagat Islands Dnipropetrovsk Oblast Nieva District Germany Santa Cruz District Huaral District Loreto Region Uckermark Ludwigsburg Upper Bavaria Neutral Moresnet Bagua Grande District Kimbiri District Västerbotten county Gotland County Dalarna County Tambobamba District Piura District Carlos Tejedor Partido Pasco Region Zorritos Cusco Querobamba District Moche District Ilave District Iñapari Ayacucho Partido Ucayali Region Södermanland County Andalusia Cayman Islands Schleswig-Flensburg Lámud District Golden Horde County of Veldenz Lamas District Biliran Benguet Manú Pamparomas District County of Hainaut Bautzen Odenwaldkreis Kreis Bergstraße Groß-Gerau Main-Kinzig-Kreis Wetteraukreis New Ireland Province Schwerin District County of Barcelona Suhl District Vitebsk Region County of Edessa Puno District Azángaro District General La Madrid Sepahua Hochtaunuskreis Chaupimarca District Canada Mito District Corongo District San Marcos District El Algarrobal District Arequipa Region Eastern Cape San Ramón District Karlovy Vary Region Dingolfing-Landau Samuel Pastor District Regen Deggendorf Freyung-Grafenau Kristianstad County Nazca District Rupa-Rupa District Putina District Pangasinan Quirino Romblon Sarangani Siquijor Pichari District Huanta District Moravian-Silesian Region Ayacucho Region Milne Bay Province Mogilev Region San Martín Region Erfurt Inambari Lima Region Pacasmayo District Cajamarca Upper Franconia Vorpommern-Rügen District Aramango District Enga Province Kharkiv Oblast Chepén District Kreis Auerbach Kalmar County Pisco District Magdeburg The Bahamas Huacaybamba Sumy Oblast County of Hoya British Virgin Islands Pardubice Region County of Tripoli Sächsische Schweiz-Osterzgebirge Flemish Community Chincheros District Metropolitan City of Turin Metropolitan City of Rome South Georgia and the South Sandwich Islands Ilo District Härnösand County Östergötland County La Oroya District Gomel Region
Germany Australia Denmark
action approx
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action count
action filter_type
action find
entity Ferreñafe District
relation capital of
type political territorial entity
[{'concept': 'city'}, 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?q ) WHERE { ?j rdf:type ontology:city . ?e rdf:type ontology:political_territorial_entity . ?j property:capital_of ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?z ) WHERE { resource:Ferreñafe_District property:capital_of ?h . ?h rdf:type ontology:political_territorial_entity } } . FILTER ( ?q = ?z ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1627554
P530
Q1048835
USER
Are Baltar known to have diplomatic connections with those ones ?
(Q1627554,P530,Q183) (Q1627554,P530,Q408) (Q1627554,P530,Q35)
action is_in
entity prev_answer
action find
entity Q1627554
relation P530
['Q1627554', 'P530', 'Q183'] ['Q1627554', 'P530', 'Q408'] ['Q1627554', 'P530', 'Q35']
ASK WHERE { resource:Q1627554 property:P530 ?f . VALUES ( ?f ) { ( resource:Q7915647 ) ( resource:Q7130037 ) ( resource:Q132418 ) } }
Baltar
action is_in
entity prev_answer
action find
entity Baltar
relation diplomatic relation
['Baltar', 'diplomatic relation', 'Germany'] ['Baltar', 'diplomatic relation', 'Australia'] ['Baltar', 'diplomatic relation', 'Denmark']
ASK WHERE { resource:Baltar property:diplomatic_relation ?f . VALUES ( ?f ) { ( resource:Vargas_Guerra_District ) ( resource:Panao_District ) ( resource:Northern_Cape ) } }
[]
political territorial entity
SYSTEM
NO
(Q1627554,P530,Q183) (Q1627554,P530,Q408) (Q1627554,P530,Q35)
action is_in
entity prev_answer
action find
entity Q1627554
relation P530
[ANSWER]
['Q1627554', 'P530', 'Q183'] ['Q1627554', 'P530', 'Q408'] ['Q1627554', 'P530', 'Q35']
ASK WHERE { resource:Q1627554 property:P530 ?f . VALUES ( ?f ) { ( resource:Q7915647 ) ( resource:Q7130037 ) ( resource:Q132418 ) } }
No
action is_in
entity prev_answer
action find
entity Baltar
relation diplomatic relation
['Baltar', 'diplomatic relation', 'Germany'] ['Baltar', 'diplomatic relation', 'Australia'] ['Baltar', 'diplomatic relation', 'Denmark']
ASK WHERE { resource:Baltar property:diplomatic_relation ?f . VALUES ( ?f ) { ( resource:Vargas_Guerra_District ) ( resource:Panao_District ) ( resource:Northern_Cape ) } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q183 Q237
P530
Q15617994
USER
How many administrative territories holds diplomatic relationship with Germany and Vatican City ?
(Q183,P530,c(Q15617994)) (Q237,P530,c(Q15617994))
action count
action intersection
action filter_type
action find
entity Q183
relation P530
type Q15617994
action filter_type
action find
entity Q237
relation P530
type Q15617994
['Q183', 'P530', {'concept': 'Q15617994'}] ['Q237', 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?t ) WHERE { resource:Q183 property:P530 ?r . ?r rdf:type ontology:Q15617994 . ?r rdf:type ontology:Q15617994 . resource:Q237 property:P530 ?r }
Germany Vatican City
action count
action intersection
action filter_type
action find
entity Germany
relation diplomatic relation
type designation for an administrative territorial entity
action filter_type
action find
entity Vatican City
relation diplomatic relation
type designation for an administrative territorial entity
['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}] ['Vatican City', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?t ) WHERE { resource:Germany property:diplomatic_relation ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Vatican_City property:diplomatic_relation ?r }
[]
designation for an administrative territorial entity
SYSTEM
2
Q142 Q801
(Q183,P530,c(Q15617994)) (Q237,P530,c(Q15617994))
action count
action intersection
action filter_type
action find
entity Q183
relation P530
type Q15617994
action filter_type
action find
entity Q237
relation P530
type Q15617994
[ANSWER]
['Q183', 'P530', {'concept': 'Q15617994'}] ['Q237', 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?t ) WHERE { resource:Q183 property:P530 ?r . ?r rdf:type ontology:Q15617994 . ?r rdf:type ontology:Q15617994 . resource:Q237 property:P530 ?r }
France Israel
2
action count
action intersection
action filter_type
action find
entity Germany
relation diplomatic relation
type designation for an administrative territorial entity
action filter_type
action find
entity Vatican City
relation diplomatic relation
type designation for an administrative territorial entity
['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}] ['Vatican City', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?t ) WHERE { resource:Germany property:diplomatic_relation ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Vatican_City property:diplomatic_relation ?r }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q183
P194
Q11204 Q1752346
USER
How many legislatures or assemblies are the legislative bodies for Germany ?
(Q183,P194,c(Q11204)) (Q183,P194,c(Q1752346))
action count
action union
action filter_type
action find
entity Q183
relation P194
type Q11204
action filter_type
action find
entity Q183
relation P194
type Q1752346
['Q183', 'P194', {'concept': 'Q11204'}] ['Q183', 'P194', {'concept': 'Q1752346'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?b ) WHERE { { resource:Q183 property:P194 ?r . ?r rdf:type ontology:Q1752346 } UNION { resource:Q183 property:P194 ?r . ?r rdf:type ontology:Q11204 } }
Germany
action count
action union
action filter_type
action find
entity Germany
relation legislative body
type legislature
action filter_type
action find
entity Germany
relation legislative body
type assembly
['Germany', 'legislative body', {'concept': 'legislature'}] ['Germany', 'legislative body', {'concept': 'assembly'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?b ) WHERE { { resource:Germany property:legislative_body ?r . ?r rdf:type ontology:assembly } UNION { resource:Germany property:legislative_body ?r . ?r rdf:type ontology:legislature } }
[]
legislature assembly
SYSTEM
2
Q154797 Q146138
(Q183,P194,c(Q11204)) (Q183,P194,c(Q1752346))
action count
action union
action filter_type
action find
entity Q183
relation P194
type Q11204
action filter_type
action find
entity Q183
relation P194
type Q1752346
[ANSWER]
['Q183', 'P194', {'concept': 'Q11204'}] ['Q183', 'P194', {'concept': 'Q1752346'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?b ) WHERE { { resource:Q183 property:P194 ?r . ?r rdf:type ontology:Q1752346 } UNION { resource:Q183 property:P194 ?r . ?r rdf:type ontology:Q11204 } }
Bundestag of Germany Bundesrat
2
action count
action union
action filter_type
action find
entity Germany
relation legislative body
type legislature
action filter_type
action find
entity Germany
relation legislative body
type assembly
['Germany', 'legislative body', {'concept': 'legislature'}] ['Germany', 'legislative body', {'concept': 'assembly'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?b ) WHERE { { resource:Germany property:legislative_body ?r . ?r rdf:type ontology:assembly } UNION { resource:Germany property:legislative_body ?r . ?r rdf:type ontology:legislature } }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q15936 Q15970
P47
Q1048835
USER
Which political territories share border with Santa María de Miralles and Argençola ?
AND((Q15970,P47,c(Q1048835)), (Q15936,P47,c(Q1048835)))
action filter_type
action intersection
action find
entity Q15970
relation P47
action find
entity Q15936
relation P47
type Q1048835
{'AND': [['Q15970', 'P47', {'concept': 'Q1048835'}], ['Q15936', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?w WHERE { resource:Q15970 property:P47 ?w . resource:Q15936 property:P47 ?w . ?w rdf:type ontology:Q1048835 }
Argençola Santa María de Miralles
action filter_type
action intersection
action find
entity Santa María de Miralles
relation shares border with
action find
entity Argençola
relation shares border with
type political territorial entity
{'AND': [['Santa María de Miralles', 'shares border with', {'concept': 'political territorial entity'}], ['Argençola', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?w WHERE { resource:Santa_María_de_Miralles property:shares_border_with ?w . resource:Argençola property:shares_border_with ?w . ?w rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q15966
SYSTEM
Sant Martí de Tous
Q15966
AND((Q15970,P47,c(Q1048835)), (Q15936,P47,c(Q1048835)))
action filter_type
action intersection
action find
entity Q15970
relation P47
action find
entity Q15936
relation P47
type Q1048835
[ANSWER] share border with Santa María de Miralles and Argençola
{'AND': [['Q15970', 'P47', {'concept': 'Q1048835'}], ['Q15936', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?w WHERE { resource:Q15970 property:P47 ?w . resource:Q15936 property:P47 ?w . ?w rdf:type ontology:Q1048835 }
Sant Martí de Tous
Sant Martí de Tous share border with Santa María de Miralles and Argençola
Sant Martí de Tous
action filter_type
action intersection
action find
entity Santa María de Miralles
relation shares border with
action find
entity Argençola
relation shares border with
type political territorial entity
{'AND': [['Santa María de Miralles', 'shares border with', {'concept': 'political territorial entity'}], ['Argençola', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?w WHERE { resource:Santa_María_de_Miralles property:shares_border_with ?w . resource:Argençola property:shares_border_with ?w . ?w rdf:type ontology:political_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15936
P1001
Q12737077
USER
Which occupation has control over the jurisdiction of Argençola ?
(c(Q12737077),P1001,Q15936)
action filter_type
action find_reverse
entity Q15936
relation P1001
type Q12737077
[{'concept': 'Q12737077'}, 'P1001', 'Q15936']
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q12737077 . ?w property:P1001 resource:Q15936 }
Argençola
action filter_type
action find_reverse
entity Argençola
relation applies to jurisdiction
type occupation
[{'concept': 'occupation'}, 'applies to jurisdiction', 'Argençola']
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:occupation . ?w property:applies_to_jurisdiction resource:Argençola }
[]
occupation
Q26691757
SYSTEM
mayor of Argensola
Q26691757
(c(Q12737077),P1001,Q15936)
action filter_type
action find_reverse
entity Q15936
relation P1001
type Q12737077
The [ANSWER] has control over the jurisdiction of Argençola
[{'concept': 'Q12737077'}, 'P1001', 'Q15936']
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q12737077 . ?w property:P1001 resource:Q15936 }
mayor of Argensola
The mayor of Argensola has control over the jurisdiction of Argençola
mayor of Argensola
action filter_type
action find_reverse
entity Argençola
relation applies to jurisdiction
type occupation
[{'concept': 'occupation'}, 'applies to jurisdiction', 'Argençola']
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:occupation . ?w property:applies_to_jurisdiction resource:Argençola }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15936
P1313
Q12737077
USER
Which occupation is fulfilled by that political territory ?
(Q26691757,P1313,c(Q12737077))
action filter_type
action find
entity Q15936
relation P1313
type Q12737077
['Q26691757', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?a WHERE { resource:Q15936 property:P1313 ?a . ?a rdf:type ontology:Q12737077 }
Argençola
action filter_type
action find
entity Argençola
relation office held by head of government
type occupation
['mayor of Argensola', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?a WHERE { resource:Argençola property:office_held_by_head_of_government ?a . ?a rdf:type ontology:occupation }
[]
occupation
Q26691757
SYSTEM
mayor of Argensola
Q26691757
(Q26691757,P1313,c(Q12737077))
action filter_type
action find
entity Q15936
relation P1313
type Q12737077
The [ANSWER] is fulfilled by that political territory
['Q26691757', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?a WHERE { resource:Q15936 property:P1313 ?a . ?a rdf:type ontology:Q12737077 }
mayor of Argensola
The mayor of Argensola is fulfilled by that political territory
mayor of Argensola
action filter_type
action find
entity Argençola
relation office held by head of government
type occupation
['mayor of Argensola', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?a WHERE { resource:Argençola property:office_held_by_head_of_government ?a . ?a rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q26691757 Q29
P17
Q15617994
USER
Is mayor of Argensola a part of Spain ?
(Q26691757,P17,Q29)
action is_in
entity Q29
action find
entity Q26691757
relation P17
['Q26691757', 'P17', 'Q29']
ASK WHERE { resource:Q26691757 property:P17 resource:Q29 }
mayor of Argensola Spain
action is_in
entity Spain
action find
entity mayor of Argensola
relation country
['mayor of Argensola', 'country', 'Spain']
ASK WHERE { resource:mayor_of_Argensola property:country resource:Spain }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q26691757,P17,Q29)
action is_in
entity Q29
action find
entity Q26691757
relation P17
[ANSWER]
['Q26691757', 'P17', 'Q29']
ASK WHERE { resource:Q26691757 property:P17 resource:Q29 }
Yes
action is_in
entity Spain
action find
entity mayor of Argensola
relation country
['mayor of Argensola', 'country', 'Spain']
ASK WHERE { resource:mayor_of_Argensola property:country resource:Spain }
[]