Simple Question (Direct)
Simple Question
Q1038161
P20
Q56061
USER
Where did the demise of Carl Friedrich von Wiebeking occur ?
(Q1038161,P20,c(Q56061))
action filter_type
action find
entity Q1038161
relation P20
type Q56061
['Q1038161', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q1038161 property:P20 ?c }
Carl Friedrich von Wiebeking
action filter_type
action find
entity Carl Friedrich von Wiebeking
relation place of death
type administrative territorial entity
['Carl Friedrich von Wiebeking', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Carl_Friedrich_von_Wiebeking property:place_of_death ?c }
[]
administrative territorial entity
Q1726
SYSTEM
Munich
Q1726
(Q1038161,P20,c(Q56061))
action filter_type
action find
entity Q1038161
relation P20
type Q56061
The demise of Carl Friedrich von Wiebeking occurred in [ANSWER]
['Q1038161', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q1038161 property:P20 ?c }
Munich
The demise of Carl Friedrich von Wiebeking occurred in Munich
Munich
action filter_type
action find
entity Carl Friedrich von Wiebeking
relation place of death
type administrative territorial entity
['Carl Friedrich von Wiebeking', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Carl_Friedrich_von_Wiebeking property:place_of_death ?c }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1038161
P937
Q515
USER
Which is the work location of that person ?
(Q1726,P937,c(Q515))
action filter_type
action find
entity Q1038161
relation P937
type Q515
['Q1726', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?b WHERE { resource:Q1038161 property:P937 ?b . ?b rdf:type ontology:Q515 }
Carl Friedrich von Wiebeking
action filter_type
action find
entity Carl Friedrich von Wiebeking
relation work location
type city
['Munich', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?b WHERE { resource:Carl_Friedrich_von_Wiebeking property:work_location ?b . ?b rdf:type ontology:city }
[]
city
Q2973
SYSTEM
Darmstadt
Q2973
(Q1726,P937,c(Q515))
action filter_type
action find
entity Q1038161
relation P937
type Q515
The work location of that person is in [ANSWER]
['Q1726', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?b WHERE { resource:Q1038161 property:P937 ?b . ?b rdf:type ontology:Q515 }
Darmstadt
The work location of that person is in Darmstadt
Darmstadt
action filter_type
action find
entity Carl Friedrich von Wiebeking
relation work location
type city
['Munich', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?b WHERE { resource:Carl_Friedrich_von_Wiebeking property:work_location ?b . ?b rdf:type ontology:city }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Indirect
P206
Q355304 Q337567 Q515
USER
How many cities are located nearby around the same number of watercourses and still waterss as that city ?
(c(Q515),P206,c(Q355304)|c(Q337567))
action count
action approx
action union
action find_tuple_counts
relation P206
type Q515
type Q355304
action find_tuple_counts
relation P206
type Q515
type Q337567
action count
action filter_multi_types
action find
entity Q2973
relation P206
type Q355304
type Q337567
[{'concept': 'Q515'}, 'P206', [{'concept': 'Q355304'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?i ) AS ?b ) WHERE { ?i rdf:type ?z . VALUES ( ?z ) { ( ontology:Q355304 ) ( ontology:Q337567 ) } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Q2973 property:P206 ?v . { { ?v rdf:type ontology:Q355304 } UNION { ?v rdf:type ontology:Q337567 } } } } . FILTER ( ?b = ?j ) }
action count
action approx
action union
action find_tuple_counts
relation located next to body of water
type city
type watercourse
action find_tuple_counts
relation located next to body of water
type city
type still waters
action count
action filter_multi_types
action find
entity Darmstadt
relation located next to body of water
type watercourse
type still waters
[{'concept': 'city'}, 'located next to body of water', [{'concept': 'watercourse'}, {'concept': 'still waters'}]]
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?i ) AS ?b ) WHERE { ?i rdf:type ?z . VALUES ( ?z ) { ( ontology:watercourse ) ( ontology:still_waters ) } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Darmstadt property:located_next_to_body_of_water ?v . { { ?v rdf:type ontology:watercourse } UNION { ?v rdf:type ontology:still_waters } } } } . FILTER ( ?b = ?j ) }
[]
watercourse still waters city
SYSTEM
85
Q1410 Q1794 Q1863 Q1865 Q1519 Q496499 Q3974 Q846877 Q19689 Q1486 Q2966 Q34217 Q496479 Q602903 Q1461 Q488869 Q217432 Q827041 Q3572 Q623549 Q4024 Q3806 Q2973 Q34261 Q3014 Q1773 Q1844 Q14821 Q819587 Q3958 Q3955 Q23430 Q633272 Q2773 Q612815 Q320943 Q1858 Q633935 Q320416 Q7473516 Q1761 Q890122 Q4007 Q7070 Q3826 Q653545 Q8684 Q270704 Q41474 Q4174 Q3838 Q2833 Q1209 Q23661 Q3751 Q3750 Q3200 Q157835 Q847550 Q3936 Q2936 Q646780 Q3214 Q1533 Q1530 Q1953 Q5838 Q7027 Q3857 Q3994 Q19660 Q11194 Q3915 Q2119 Q3069 Q1720 Q1721 Q329996 Q3904 Q695920 Q2910 Q3861 Q1899 Q2999 Q2844
(c(Q515),P206,c(Q355304)|c(Q337567))
action count
action approx
action union
action find_tuple_counts
relation P206
type Q515
type Q355304
action find_tuple_counts
relation P206
type Q515
type Q337567
action count
action filter_multi_types
action find
entity Q2973
relation P206
type Q355304
type Q337567
[ANSWER]
[{'concept': 'Q515'}, 'P206', [{'concept': 'Q355304'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?i ) AS ?b ) WHERE { ?i rdf:type ?z . VALUES ( ?z ) { ( ontology:Q355304 ) ( ontology:Q337567 ) } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Q2973 property:P206 ?v . { { ?v rdf:type ontology:Q355304 } UNION { ?v rdf:type ontology:Q337567 } } } } . FILTER ( ?b = ?j ) }
Gibraltar Frankfurt Andorra la Vella Kuala Lumpur Abu Dhabi Kazuno Landshut Semboku Tirana Buenos Aires Heidelberg Oxford Yokote Yurihonjō Manila Benalmádena Port Harcourt Beroun Tunis Puerto de la Cruz Frankfurt (Oder) Tübingen Darmstadt Port-au-Prince Wolfsburg Riga Vaduz Coburg Noshiro Neubrandenburg Weimar Ulaanbaatar Yuzawa Braunschweig Garachico Matsudo Hanoi Oga Tartessos Tokyo Dublin Bolhrad Rosenheim Eisenach Muscat Kita-Akita Seoul Třebíč Kingstown Emden Kinshasa Freiburg im Breisgau Free Hanseatic City of Bremen Wellington Praia Gera Salzgitter Zaporizhzhya Nikaho Bamberg Oldenburg Katagami Cottbus Caracas Baghdad Yerevan Kabul Straubing Wilhelmshaven Kempten Bucharest Sarajevo Antananarivo Mannheim Bottrop Mainz Wiesbaden Ōdate Mbabane Daisen Ludwigshafen Doha Kyiv Würzburg Brasília
85
action count
action approx
action union
action find_tuple_counts
relation located next to body of water
type city
type watercourse
action find_tuple_counts
relation located next to body of water
type city
type still waters
action count
action filter_multi_types
action find
entity Darmstadt
relation located next to body of water
type watercourse
type still waters
[{'concept': 'city'}, 'located next to body of water', [{'concept': 'watercourse'}, {'concept': 'still waters'}]]
SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?i ) AS ?b ) WHERE { ?i rdf:type ?z . VALUES ( ?z ) { ( ontology:watercourse ) ( ontology:still_waters ) } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Darmstadt property:located_next_to_body_of_water ?v . { { ?v rdf:type ontology:watercourse } UNION { ?v rdf:type ontology:still_waters } } } } . FILTER ( ?b = ?j ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q475938 Q2973
P190
Q13220204
USER
Which administrative country subdivisions are partner towns of Darmstadt or Autrans ?
OR((Q2973,P190,c(Q13220204)), (Q475938,P190,c(Q13220204)))
action filter_type
action union
action find
entity Q2973
relation P190
action find
entity Q475938
relation P190
type Q13220204
{'OR': [['Q2973', 'P190', {'concept': 'Q13220204'}], ['Q475938', 'P190', {'concept': 'Q13220204'}]]}
SELECT DISTINCT ?c WHERE { { VALUES ( ?i ) { ( resource:Q2973 ) ( resource:Q475938 ) } . ?i property:P190 ?c } . ?c rdf:type ontology:Q13220204 }
Autrans Darmstadt
action filter_type
action union
action find
entity Darmstadt
relation sister city
action find
entity Autrans
relation sister city
type second-level administrative country subdivision
{'OR': [['Darmstadt', 'sister city', {'concept': 'second-level administrative country subdivision'}], ['Autrans', 'sister city', {'concept': 'second-level administrative country subdivision'}]]}
SELECT DISTINCT ?c WHERE { { VALUES ( ?i ) { ( resource:Darmstadt ) ( resource:Autrans ) } . ?i property:sister_city ?c } . ?c rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q101341 Q156711 Q972
SYSTEM
Lillehammer, Uzhhorod, Alkmaar
Q101341 Q156711 Q972
OR((Q2973,P190,c(Q13220204)), (Q475938,P190,c(Q13220204)))
action filter_type
action union
action find
entity Q2973
relation P190
action find
entity Q475938
relation P190
type Q13220204
[ANSWERS] are partner towns of Darmstadt or Autrans
{'OR': [['Q2973', 'P190', {'concept': 'Q13220204'}], ['Q475938', 'P190', {'concept': 'Q13220204'}]]}
SELECT DISTINCT ?c WHERE { { VALUES ( ?i ) { ( resource:Q2973 ) ( resource:Q475938 ) } . ?i property:P190 ?c } . ?c rdf:type ontology:Q13220204 }
Lillehammer Uzhhorod Alkmaar
Lillehammer, Uzhhorod and Alkmaar are partner towns of Darmstadt or Autrans
Lillehammer Uzhhorod Alkmaar
action filter_type
action union
action find
entity Darmstadt
relation sister city
action find
entity Autrans
relation sister city
type second-level administrative country subdivision
{'OR': [['Darmstadt', 'sister city', {'concept': 'second-level administrative country subdivision'}], ['Autrans', 'sister city', {'concept': 'second-level administrative country subdivision'}]]}
SELECT DISTINCT ?c WHERE { { VALUES ( ?i ) { ( resource:Darmstadt ) ( resource:Autrans ) } . ?i property:sister_city ?c } . ?c rdf:type ontology:second-level_administrative_country_subdivision }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P190
Q56061 Q486972
USER
How many administrative territories and human settlements are twin towns of that administrative country subdivision ?
(Q156711,P190,c(Q56061)) (Q156711,P190,c(Q486972)) (Q101341,P190,c(Q56061)) (Q101341,P190,c(Q486972)) (Q156711,P190,c(Q56061)) (Q156711,P190,c(Q486972)) (Q972,P190,c(Q56061)) (Q972,P190,c(Q486972))
['Q156711', 'P190', {'concept': 'Q56061'}] ['Q156711', 'P190', {'concept': 'Q486972'}] ['Q101341', 'P190', {'concept': 'Q56061'}] ['Q101341', 'P190', {'concept': 'Q486972'}] ['Q156711', 'P190', {'concept': 'Q56061'}] ['Q156711', 'P190', {'concept': 'Q486972'}] ['Q972', 'P190', {'concept': 'Q56061'}] ['Q972', 'P190', {'concept': 'Q486972'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Q156711 property:P190 ?z } UNION { resource:Q156711 property:P190 ?y } UNION { resource:Q2167044 property:P190 ?z } UNION { resource:Q2167044 property:P190 ?y } UNION { resource:Q156711 property:P190 ?z } UNION { resource:Q156711 property:P190 ?y } UNION { resource:Q1757278 property:P190 ?z } UNION { resource:Q1757278 property:P190 ?y } } . ?z rdf:type ontology:Q56061 . ?y rdf:type ontology:Q486972 }
['Uzhhorod', 'sister city', {'concept': 'administrative territorial entity'}] ['Uzhhorod', 'sister city', {'concept': 'human settlement'}] ['Lillehammer', 'sister city', {'concept': 'administrative territorial entity'}] ['Lillehammer', 'sister city', {'concept': 'human settlement'}] ['Uzhhorod', 'sister city', {'concept': 'administrative territorial entity'}] ['Uzhhorod', 'sister city', {'concept': 'human settlement'}] ['Alkmaar', 'sister city', {'concept': 'administrative territorial entity'}] ['Alkmaar', 'sister city', {'concept': 'human settlement'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Uzhhorod property:sister_city ?z } UNION { resource:Uzhhorod property:sister_city ?y } UNION { resource:Lillehammer property:sister_city ?z } UNION { resource:Lillehammer property:sister_city ?y } UNION { resource:Uzhhorod property:sister_city ?z } UNION { resource:Uzhhorod property:sister_city ?y } UNION { resource:Alkmaar property:sister_city ?z } UNION { resource:Alkmaar property:sister_city ?y } } . ?z rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:human_settlement }
[]
administrative territorial entity human settlement
Quantitative|Count|Mult. entity type|Clarification
Q156711
SYSTEM
Did you mean Uzhhorod ?
[ANSWER]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Q156711 property:P190 ?z } UNION { resource:Q156711 property:P190 ?y } UNION { resource:Q2167044 property:P190 ?z } UNION { resource:Q2167044 property:P190 ?y } UNION { resource:Q156711 property:P190 ?z } UNION { resource:Q156711 property:P190 ?y } UNION { resource:Q1757278 property:P190 ?z } UNION { resource:Q1757278 property:P190 ?y } } . ?z rdf:type ontology:Q56061 . ?y rdf:type ontology:Q486972 }
Did you mean Uzhhorod ?
Uzhhorod
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Uzhhorod property:sister_city ?z } UNION { resource:Uzhhorod property:sister_city ?y } UNION { resource:Lillehammer property:sister_city ?z } UNION { resource:Lillehammer property:sister_city ?y } UNION { resource:Uzhhorod property:sister_city ?z } UNION { resource:Uzhhorod property:sister_city ?y } UNION { resource:Alkmaar property:sister_city ?z } UNION { resource:Alkmaar property:sister_city ?y } } . ?z rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:human_settlement }
[]
Quantitative Reasoning (Count) (All)
USER
Yes
(Q156711,P190,c(Q56061)) (Q156711,P190,c(Q486972)) (Q101341,P190,c(Q56061)) (Q101341,P190,c(Q486972)) (Q156711,P190,c(Q56061)) (Q156711,P190,c(Q486972)) (Q972,P190,c(Q56061)) (Q972,P190,c(Q486972))
['Q156711', 'P190', {'concept': 'Q56061'}] ['Q156711', 'P190', {'concept': 'Q486972'}] ['Q101341', 'P190', {'concept': 'Q56061'}] ['Q101341', 'P190', {'concept': 'Q486972'}] ['Q156711', 'P190', {'concept': 'Q56061'}] ['Q156711', 'P190', {'concept': 'Q486972'}] ['Q972', 'P190', {'concept': 'Q56061'}] ['Q972', 'P190', {'concept': 'Q486972'}]
['Uzhhorod', 'sister city', {'concept': 'administrative territorial entity'}] ['Uzhhorod', 'sister city', {'concept': 'human settlement'}] ['Lillehammer', 'sister city', {'concept': 'administrative territorial entity'}] ['Lillehammer', 'sister city', {'concept': 'human settlement'}] ['Uzhhorod', 'sister city', {'concept': 'administrative territorial entity'}] ['Uzhhorod', 'sister city', {'concept': 'human settlement'}] ['Alkmaar', 'sister city', {'concept': 'administrative territorial entity'}] ['Alkmaar', 'sister city', {'concept': 'human settlement'}]
[]
SYSTEM
7 administrative territories and 1 human settlements
Q826068 Q748474 Q460925 Q4656 Q25409 Q3118 Q649 Q171223
(Q156711,P190,c(Q56061)) (Q156711,P190,c(Q486972)) (Q101341,P190,c(Q56061)) (Q101341,P190,c(Q486972)) (Q156711,P190,c(Q56061)) (Q156711,P190,c(Q486972)) (Q972,P190,c(Q56061)) (Q972,P190,c(Q486972))
[ANSWER]
['Q156711', 'P190', {'concept': 'Q56061'}] ['Q156711', 'P190', {'concept': 'Q486972'}] ['Q101341', 'P190', {'concept': 'Q56061'}] ['Q101341', 'P190', {'concept': 'Q486972'}] ['Q156711', 'P190', {'concept': 'Q56061'}] ['Q156711', 'P190', {'concept': 'Q486972'}] ['Q972', 'P190', {'concept': 'Q56061'}] ['Q972', 'P190', {'concept': 'Q486972'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Q156711 property:P190 ?z } UNION { resource:Q156711 property:P190 ?y } UNION { resource:Q2167044 property:P190 ?z } UNION { resource:Q2167044 property:P190 ?y } UNION { resource:Q156711 property:P190 ?z } UNION { resource:Q156711 property:P190 ?y } UNION { resource:Q1757278 property:P190 ?z } UNION { resource:Q1757278 property:P190 ?y } } . ?z rdf:type ontology:Q56061 . ?y rdf:type ontology:Q486972 }
Krosno Corvallis Michalovce Pula Košice Oryol Moscow Nyíregyháza
7 administrative territories and 1 human settlements
['Uzhhorod', 'sister city', {'concept': 'administrative territorial entity'}] ['Uzhhorod', 'sister city', {'concept': 'human settlement'}] ['Lillehammer', 'sister city', {'concept': 'administrative territorial entity'}] ['Lillehammer', 'sister city', {'concept': 'human settlement'}] ['Uzhhorod', 'sister city', {'concept': 'administrative territorial entity'}] ['Uzhhorod', 'sister city', {'concept': 'human settlement'}] ['Alkmaar', 'sister city', {'concept': 'administrative territorial entity'}] ['Alkmaar', 'sister city', {'concept': 'human settlement'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Uzhhorod property:sister_city ?z } UNION { resource:Uzhhorod property:sister_city ?y } UNION { resource:Lillehammer property:sister_city ?z } UNION { resource:Lillehammer property:sister_city ?y } UNION { resource:Uzhhorod property:sister_city ?z } UNION { resource:Uzhhorod property:sister_city ?y } UNION { resource:Alkmaar property:sister_city ?z } UNION { resource:Alkmaar property:sister_city ?y } } . ?z rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:human_settlement }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1726
P1376
Q1048835
USER
Which political territories have Munich have their first city ?
(Q1726,P1376,c(Q1048835))
action filter_type
action find
entity Q1726
relation P1376
type Q1048835
['Q1726', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q1048835 . resource:Q1726 property:P1376 ?r }
Munich
action filter_type
action find
entity Munich
relation capital of
type political territorial entity
['Munich', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:political_territorial_entity . resource:Munich property:capital_of ?r }
[]
political territorial entity
Q10544 Q10562
SYSTEM
Munich (district), Upper Bavaria
Q10544 Q10562
(Q1726,P1376,c(Q1048835))
action filter_type
action find
entity Q1726
relation P1376
type Q1048835
[ANSWERS] have Munich have their first city
['Q1726', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q1048835 . resource:Q1726 property:P1376 ?r }
Munich (district) Upper Bavaria
Munich (district) and Upper Bavaria have Munich have their first city
Munich (district) Upper Bavaria
action filter_type
action find
entity Munich
relation capital of
type political territorial entity
['Munich', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:political_territorial_entity . resource:Munich property:capital_of ?r }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q3344055
Q1048835
USER
And how about Bellavista?
(Q3344055,P1376,c(Q1048835))
action filter_type
action find
entity Q3344055
relation P1376
type Q1048835
['Q3344055', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?o WHERE { resource:Q3344055 property:P1376 ?o . ?o rdf:type ontology:Q1048835 }
Bellavista
action filter_type
action find
entity Bellavista
relation capital of
type political territorial entity
['Bellavista', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Bellavista property:capital_of ?o . ?o rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q4883554
SYSTEM
Bellavista District
Q4883554
(Q3344055,P1376,c(Q1048835))
action filter_type
action find
entity Q3344055
relation P1376
type Q1048835
[ANSWER]
['Q3344055', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?o WHERE { resource:Q3344055 property:P1376 ?o . ?o rdf:type ontology:Q1048835 }
Bellavista District
Bellavista District
action filter_type
action find
entity Bellavista
relation capital of
type political territorial entity
['Bellavista', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Bellavista property:capital_of ?o . ?o rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q4883554 Q123893 Q419
P17
Q15617994
USER
Is that political territory located in Castelplanio and Peru ?
(Q4883554,P17,Q123893) (Q4883554,P17,Q419)
action is_in
entity Q4883554
action intersection
action find_reverse
entity Q123893
relation P17
action find_reverse
entity Q419
relation P17
['Q4883554', 'P17', 'Q123893'] ['Q4883554', 'P17', 'Q419']
ASK WHERE { resource:Q4883554 property:P17 resource:Q123893 . resource:Q4883554 property:P17 resource:Q419 }
Bellavista District Castelplanio Peru
action is_in
entity Bellavista District
action intersection
action find_reverse
entity Castelplanio
relation country
action find_reverse
entity Peru
relation country
['Bellavista District', 'country', 'Castelplanio'] ['Bellavista District', 'country', 'Peru']
ASK WHERE { resource:Bellavista_District property:country resource:Castelplanio . resource:Bellavista_District property:country resource:Peru }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q4883554,P17,Q123893) (Q4883554,P17,Q419)
action is_in
entity Q4883554
action intersection
action find_reverse
entity Q123893
relation P17
action find_reverse
entity Q419
relation P17
[ANSWER]
['Q4883554', 'P17', 'Q123893'] ['Q4883554', 'P17', 'Q419']
ASK WHERE { resource:Q4883554 property:P17 resource:Q123893 . resource:Q4883554 property:P17 resource:Q419 }
NO and YES respectively
action is_in
entity Bellavista District
action intersection
action find_reverse
entity Castelplanio
relation country
action find_reverse
entity Peru
relation country
['Bellavista District', 'country', 'Castelplanio'] ['Bellavista District', 'country', 'Peru']
ASK WHERE { resource:Bellavista_District property:country resource:Castelplanio . resource:Bellavista_District property:country resource:Peru }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q1048835 Q1048835
USER
Which political territories have diplomatic relationships with min number of political territories ?
(c(Q1048835),P530,Q766)
action argmin
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
[{'concept': 'Q1048835'}, 'P530', 'Q766']
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?r ) { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?u ) WHERE { ?x property:P530 ?e . ?x rdf:type ontology:Q1048835 . ?e rdf:type ontology:Q1048835 } GROUP BY ?x } } . { SELECT DISTINCT ?z ( COUNT ( ?s ) AS ?f ) WHERE { ?z property:P530 ?s . ?z rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q1048835 } GROUP BY ?z } . FILTER ( ?f = ?r ) }
action argmin
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', 'Jamaica']
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?r ) { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?u ) WHERE { ?x property:diplomatic_relation ?e . ?x rdf:type ontology:political_territorial_entity . ?e rdf:type ontology:political_territorial_entity } GROUP BY ?x } } . { SELECT DISTINCT ?z ( COUNT ( ?s ) AS ?f ) WHERE { ?z property:diplomatic_relation ?s . ?z rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:political_territorial_entity } GROUP BY ?z } . FILTER ( ?f = ?r ) }
[]
political territorial entity political territorial entity
Q1000 Q769 Q691
SYSTEM
Gabon, Grenada, Papua New Guinea
Q1000 Q781 Q778 Q769 Q685 Q691 Q766
(c(Q1048835),P530,Q766)
action argmin
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
[ANSWERS] have diplomatic relationships with min number of political territories
[{'concept': 'Q1048835'}, 'P530', 'Q766']
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?r ) { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?u ) WHERE { ?x property:P530 ?e . ?x rdf:type ontology:Q1048835 . ?e rdf:type ontology:Q1048835 } GROUP BY ?x } } . { SELECT DISTINCT ?z ( COUNT ( ?s ) AS ?f ) WHERE { ?z property:P530 ?s . ?z rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q1048835 } GROUP BY ?z } . FILTER ( ?f = ?r ) }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Papua New Guinea Jamaica
Gabon, Grenada and Papua New Guinea have diplomatic relationships with min number of political territories
Gabon Grenada Papua New Guinea
action argmin
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', 'Jamaica']
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?r ) { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?u ) WHERE { ?x property:diplomatic_relation ?e . ?x rdf:type ontology:political_territorial_entity . ?e rdf:type ontology:political_territorial_entity } GROUP BY ?x } } . { SELECT DISTINCT ?z ( COUNT ( ?s ) AS ?f ) WHERE { ?z property:diplomatic_relation ?s . ?z rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:political_territorial_entity } GROUP BY ?z } . FILTER ( ?f = ?r ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q15617994
USER
Which administrative territories are known to have diplomatic connections with atleast 4 political territories ?
(c(Q15617994),P530,c(Q1048835))
action atleast
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
value 4
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?y ) AS ?i ) WHERE { ?g property:P530 ?y . ?g rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q1048835 } GROUP BY ?g } . FILTER ( ?i >= 4 ) }
action atleast
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
value 4
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?y ) AS ?i ) WHERE { ?g property:diplomatic_relation ?y . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:political_territorial_entity } GROUP BY ?g } . FILTER ( ?i >= 4 ) }
[]
political territorial entity designation for an administrative territorial entity
Q38 Q155 Q230
SYSTEM
Italy, Brazil, Georgia
Q155 Q38 Q230 Q953
(c(Q15617994),P530,c(Q1048835))
action atleast
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
value 4
[ANSWERS] are known to have diplomatic connections with atleast 4 political territories
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?y ) AS ?i ) WHERE { ?g property:P530 ?y . ?g rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q1048835 } GROUP BY ?g } . FILTER ( ?i >= 4 ) }
Brazil Italy Georgia Zambia
Italy, Brazil and Georgia are known to have diplomatic connections with atleast 4 political territories
Italy Brazil Georgia
action atleast
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
value 4
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?y ) AS ?i ) WHERE { ?g property:diplomatic_relation ?y . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:political_territorial_entity } GROUP BY ?g } . FILTER ( ?i >= 4 ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1646633 Q4883554
P1376
Q56061
USER
Which administrative territories are the capital of Bellavista District or Tobolsky District ?
OR((c(Q56061),P1376,Q4883554), (c(Q56061),P1376,Q1646633))
action filter_type
action union
action find_reverse
entity Q4883554
relation P1376
action find_reverse
entity Q1646633
relation P1376
type Q56061
{'OR': [[{'concept': 'Q56061'}, 'P1376', 'Q4883554'], [{'concept': 'Q56061'}, 'P1376', 'Q1646633']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?d ) { ( resource:Q4883554 ) ( resource:Q1646633 ) } . ?e property:P1376 ?d } . ?e rdf:type ontology:Q56061 }
Tobolsky District Bellavista District
action filter_type
action union
action find_reverse
entity Bellavista District
relation capital of
action find_reverse
entity Tobolsky District
relation capital of
type administrative territorial entity
{'OR': [[{'concept': 'administrative territorial entity'}, 'capital of', 'Bellavista District'], [{'concept': 'administrative territorial entity'}, 'capital of', 'Tobolsky District']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?d ) { ( resource:Bellavista_District ) ( resource:Tobolsky_District ) } . ?e property:capital_of ?d } . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q168782 Q3344055
SYSTEM
Tobolsk, Bellavista
Q168782 Q3344055
OR((c(Q56061),P1376,Q4883554), (c(Q56061),P1376,Q1646633))
action filter_type
action union
action find_reverse
entity Q4883554
relation P1376
action find_reverse
entity Q1646633
relation P1376
type Q56061
[ANSWERS] are the capital of Bellavista District or Tobolsky District
{'OR': [[{'concept': 'Q56061'}, 'P1376', 'Q4883554'], [{'concept': 'Q56061'}, 'P1376', 'Q1646633']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?d ) { ( resource:Q4883554 ) ( resource:Q1646633 ) } . ?e property:P1376 ?d } . ?e rdf:type ontology:Q56061 }
Tobolsk Bellavista
Tobolsk and Bellavista are the capital of Bellavista District or Tobolsky District
Tobolsk Bellavista
action filter_type
action union
action find_reverse
entity Bellavista District
relation capital of
action find_reverse
entity Tobolsky District
relation capital of
type administrative territorial entity
{'OR': [[{'concept': 'administrative territorial entity'}, 'capital of', 'Bellavista District'], [{'concept': 'administrative territorial entity'}, 'capital of', 'Tobolsky District']]}
SELECT DISTINCT ?e WHERE { { VALUES ( ?d ) { ( resource:Bellavista_District ) ( resource:Tobolsky_District ) } . ?e property:capital_of ?d } . ?e rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q371846 Q691
P47 P530
Q1048835
USER
Which political territories have diplomatic relationships with Papua New Guinea or share border with Laspaúles ?
OR((Q691,P530,c(Q1048835)), (Q371846,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q691
relation P530
action find
entity Q371846
relation P47
type Q1048835
{'OR': [['Q691', 'P530', {'concept': 'Q1048835'}], ['Q371846', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q691 property:P530 ?n } UNION { resource:Q371846 property:P47 ?n } } . ?n rdf:type ontology:Q1048835 }
Laspaúles Papua New Guinea
action filter_type
action union
action find
entity Papua New Guinea
relation diplomatic relation
action find
entity Laspaúles
relation shares border with
type political territorial entity
{'OR': [['Papua New Guinea', 'diplomatic relation', {'concept': 'political territorial entity'}], ['Laspaúles', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Papua_New_Guinea property:diplomatic_relation ?n } UNION { resource:Laspaúles property:shares_border_with ?n } } . ?n rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q1020564 Q984625 Q984671 Q768770 Q408 Q748790 Q866052
SYSTEM
Beranuy, Torre la Ribera, Castejón de Sos, Montanuy, Australia, Bonansa, Bisaurri
Q1020564 Q984625 Q984671 Q768770 Q408 Q748790 Q866052
OR((Q691,P530,c(Q1048835)), (Q371846,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q691
relation P530
action find
entity Q371846
relation P47
type Q1048835
[ANSWERS] have diplomatic relationships with Papua New Guinea or share border with Laspaúles
{'OR': [['Q691', 'P530', {'concept': 'Q1048835'}], ['Q371846', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q691 property:P530 ?n } UNION { resource:Q371846 property:P47 ?n } } . ?n rdf:type ontology:Q1048835 }
Beranuy Torre la Ribera Castejón de Sos Montanuy Australia Bonansa Bisaurri
Beranuy, Torre la Ribera, Castejón de Sos, Montanuy, Australia, Bonansa and Bisaurri have diplomatic relationships with Papua New Guinea or share border with Laspaúles
Beranuy Torre la Ribera Castejón de Sos Montanuy Australia Bonansa Bisaurri
action filter_type
action union
action find
entity Papua New Guinea
relation diplomatic relation
action find
entity Laspaúles
relation shares border with
type political territorial entity
{'OR': [['Papua New Guinea', 'diplomatic relation', {'concept': 'political territorial entity'}], ['Laspaúles', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Papua_New_Guinea property:diplomatic_relation ?n } UNION { resource:Laspaúles property:shares_border_with ?n } } . ?n rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P417
Q502895 Q1445650 Q56061
USER
Which administrative territories have adopted max number of people and holidays as patron saint ?
(c(Q56061),P417,c(Q502895)|c(Q1445650))
action argmax
action union
action find_tuple_counts
relation P417
type Q56061
type Q502895
action find_tuple_counts
relation P417
type Q56061
type Q1445650
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q502895'}, {'concept': 'Q1445650'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?v ) AS ?j ) WHERE { { ?f property:P417 ?v . ?f rdf:type ontology:Q56061 . ?v rdf:type ontology:Q502895 } UNION { ?f rdf:type ontology:Q56061 . ?v rdf:type ontology:Q1445650 . ?f property:P417 ?v } } GROUP BY ?f } . FILTER ( ?j = ?q ) . { SELECT DISTINCT ( MAX ( ?m ) AS ?q ) { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ?i . VALUES ( ?i ) { ( ontology:Q502895 ) ( ontology:Q1445650 ) } } GROUP BY ?b } } }
action argmax
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'common name'}, {'concept': 'holiday'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?v ) AS ?j ) WHERE { { ?f property:patron_saint ?v . ?f rdf:type ontology:administrative_territorial_entity . ?v rdf:type ontology:common_name } UNION { ?f rdf:type ontology:administrative_territorial_entity . ?v rdf:type ontology:holiday . ?f property:patron_saint ?v } } GROUP BY ?f } . FILTER ( ?j = ?q ) . { SELECT DISTINCT ( MAX ( ?m ) AS ?q ) { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ?i . VALUES ( ?i ) { ( ontology:common_name ) ( ontology:holiday ) } } GROUP BY ?b } } }
[]
common name holiday administrative territorial entity
Q39519 Q220
SYSTEM
Brinzio, Rome
Q39519 Q220
(c(Q56061),P417,c(Q502895)|c(Q1445650))
action argmax
action union
action find_tuple_counts
relation P417
type Q56061
type Q502895
action find_tuple_counts
relation P417
type Q56061
type Q1445650
[ANSWERS] have adopted max number of people and holidays as patron saint
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q502895'}, {'concept': 'Q1445650'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?v ) AS ?j ) WHERE { { ?f property:P417 ?v . ?f rdf:type ontology:Q56061 . ?v rdf:type ontology:Q502895 } UNION { ?f rdf:type ontology:Q56061 . ?v rdf:type ontology:Q1445650 . ?f property:P417 ?v } } GROUP BY ?f } . FILTER ( ?j = ?q ) . { SELECT DISTINCT ( MAX ( ?m ) AS ?q ) { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ?i . VALUES ( ?i ) { ( ontology:Q502895 ) ( ontology:Q1445650 ) } } GROUP BY ?b } } }
Brinzio Rome
Brinzio and Rome have adopted max number of people and holidays as patron saint
Brinzio Rome
action argmax
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'common name'}, {'concept': 'holiday'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?v ) AS ?j ) WHERE { { ?f property:patron_saint ?v . ?f rdf:type ontology:administrative_territorial_entity . ?v rdf:type ontology:common_name } UNION { ?f rdf:type ontology:administrative_territorial_entity . ?v rdf:type ontology:holiday . ?f property:patron_saint ?v } } GROUP BY ?f } . FILTER ( ?j = ?q ) . { SELECT DISTINCT ( MAX ( ?m ) AS ?q ) { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ?i . VALUES ( ?i ) { ( ontology:common_name ) ( ontology:holiday ) } } GROUP BY ?b } } }
[]