Simple Question (Direct)
Simple Question
Q3810181
P54
Q618123
USER
Which sports team has Joe Bendik as its member ?
(Q3810181,P54,c(Q618123))
action filter_type
action find
entity Q3810181
relation P54
type Q618123
['Q3810181', 'P54', {'concept': 'Q618123'}]
SELECT DISTINCT ?m WHERE { resource:Q3810181 property:P54 ?m . ?m rdf:type ontology:Q618123 }
Joe Bendik
action filter_type
action find
entity Joe Bendik
relation member of sports team
type geographical object
['Joe Bendik', 'member of sports team', {'concept': 'geographical object'}]
SELECT DISTINCT ?m WHERE { resource:Joe_Bendik property:member_of_sports_team ?m . ?m rdf:type ontology:geographical_object }
[]
geographical object
Q15214308
SYSTEM
Orlando City SC
Q15214308
(Q3810181,P54,c(Q618123))
action filter_type
action find
entity Q3810181
relation P54
type Q618123
[ANSWER] has Joe Bendik as its member
['Q3810181', 'P54', {'concept': 'Q618123'}]
SELECT DISTINCT ?m WHERE { resource:Q3810181 property:P54 ?m . ?m rdf:type ontology:Q618123 }
Orlando City SC
Orlando City SC has Joe Bendik as its member
Orlando City SC
action filter_type
action find
entity Joe Bendik
relation member of sports team
type geographical object
['Joe Bendik', 'member of sports team', {'concept': 'geographical object'}]
SELECT DISTINCT ?m WHERE { resource:Joe_Bendik property:member_of_sports_team ?m . ?m rdf:type ontology:geographical_object }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q3810181
P27
Q15617994
USER
Which administrative territory is Joe Bendik a civilian of ?
(Q3810181,P27,c(Q15617994))
action filter_type
action find
entity Q3810181
relation P27
type Q15617994
['Q3810181', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?q WHERE { resource:Q3810181 property:P27 ?q . ?q rdf:type ontology:Q15617994 }
Joe Bendik
action filter_type
action find
entity Joe Bendik
relation country of citizenship
type designation for an administrative territorial entity
['Joe Bendik', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { resource:Joe_Bendik property:country_of_citizenship ?q . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
(Q3810181,P27,c(Q15617994))
action filter_type
action find
entity Q3810181
relation P27
type Q15617994
The [ANSWER] is Joe Bendik a civilian of
['Q3810181', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?q WHERE { resource:Q3810181 property:P27 ?q . ?q rdf:type ontology:Q15617994 }
United States of America
The United States of America is Joe Bendik a civilian of
United States of America
action filter_type
action find
entity Joe Bendik
relation country of citizenship
type designation for an administrative territorial entity
['Joe Bendik', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { resource:Joe_Bendik property:country_of_citizenship ?q . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q3610024
Q15617994
USER
And what about Alessandro Fusco?
(Q3610024,P27,c(Q15617994))
action filter_type
action find
entity Q3610024
relation P27
type Q15617994
['Q3610024', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { resource:Q3610024 property:P27 ?z . ?z rdf:type ontology:Q15617994 }
Alessandro Fusco
action filter_type
action find
entity Alessandro Fusco
relation country of citizenship
type designation for an administrative territorial entity
['Alessandro Fusco', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { resource:Alessandro_Fusco property:country_of_citizenship ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
(Q3610024,P27,c(Q15617994))
action filter_type
action find
entity Q3610024
relation P27
type Q15617994
[ANSWER]
['Q3610024', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { resource:Q3610024 property:P27 ?z . ?z rdf:type ontology:Q15617994 }
Italy
Italy
action filter_type
action find
entity Alessandro Fusco
relation country of citizenship
type designation for an administrative territorial entity
['Alessandro Fusco', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { resource:Alessandro_Fusco property:country_of_citizenship ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1069161 Q30
P530 P17
Q15617994
USER
Which administrative territories have a diplomatic relationship with United States of America or do Chelsea Tower belong to ?
OR((Q30,P530,c(Q15617994)), (Q1069161,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q30
relation P530
action find
entity Q1069161
relation P17
type Q15617994
{'OR': [['Q30', 'P530', {'concept': 'Q15617994'}], ['Q1069161', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q15617994 . { { resource:Q1069161 property:P17 ?n } UNION { resource:Q30 property:P530 ?n } } }
Chelsea Tower United States of America
action filter_type
action union
action find
entity United States of America
relation diplomatic relation
action find
entity Chelsea Tower
relation country
type designation for an administrative territorial entity
{'OR': [['United States of America', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Chelsea Tower', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . { { resource:Chelsea_Tower property:country ?n } UNION { resource:United_States_of_America property:diplomatic_relation ?n } } }
[]
designation for an administrative territorial entity
Q668 Q159 Q953 Q403 Q17 Q347 Q796 Q155 Q222 Q38
SYSTEM
Some of them are India, Russia, Zambia, Serbia, Japan, Liechtenstein, Iraq, Brazil, Albania, Italy
Q805 Q38 Q159 Q222 Q801 Q155 Q148 Q1011 Q889 Q796 Q17 Q37 Q953 Q668 Q403 Q347 Q414 Q878
OR((Q30,P530,c(Q15617994)), (Q1069161,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q30
relation P530
action find
entity Q1069161
relation P17
type Q15617994
[ANSWERS] have a diplomatic relationship with United States of America or do Chelsea Tower belong to
{'OR': [['Q30', 'P530', {'concept': 'Q15617994'}], ['Q1069161', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q15617994 . { { resource:Q1069161 property:P17 ?n } UNION { resource:Q30 property:P530 ?n } } }
Yemen Italy Russia Albania Israel Brazil People's Republic of China Cape Verde Afghanistan Iraq Japan Lithuania Zambia India Serbia Liechtenstein Argentina United Arab Emirates
India, Russia, Zambia, Serbia, Japan, Liechtenstein, Iraq, Brazil, Albania and Italy have a diplomatic relationship with United States of America or do Chelsea Tower belong to
India Russia Zambia Serbia Japan Liechtenstein Iraq Brazil Albania Italy
action filter_type
action union
action find
entity United States of America
relation diplomatic relation
action find
entity Chelsea Tower
relation country
type designation for an administrative territorial entity
{'OR': [['United States of America', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Chelsea Tower', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:designation_for_an_administrative_territorial_entity . { { resource:Chelsea_Tower property:country ?n } UNION { resource:United_States_of_America property:diplomatic_relation ?n } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q22513
P35
Q502895 Q15617994 Q7275
USER
How many people are the chiefs of state of lesser number of administrative territories and states than Zhu De ?
(c(Q15617994)|c(Q7275),P35,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q15617994
action find_reverse_tuple_counts
relation P35
type Q502895
type Q7275
action count
action filter_multi_types
action find_reverse
entity Q22513
relation P35
type Q15617994
type Q7275
[[{'concept': 'Q15617994'}, {'concept': 'Q7275'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { FILTER ( ?z < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?l ) WHERE { ?a property:P35 resource:Q22513 . { { ?a rdf:type ontology:Q15617994 } UNION { ?a rdf:type ontology:Q7275 } } } } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?u WHERE { ?r rdf:type ?v . VALUES ( ?v ) { ( ontology:Q7275 ) ( ontology:Q15617994 ) } } GROUP BY ?u } }
Zhu De
action count
action less
action union
action find_reverse_tuple_counts
relation head of state
type common name
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type state
action count
action filter_multi_types
action find_reverse
entity Zhu De
relation head of state
type designation for an administrative territorial entity
type state
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'state'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { FILTER ( ?z < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?l ) WHERE { ?a property:head_of_state resource:Zhu_De . { { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?a rdf:type ontology:state } } } } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?u WHERE { ?r rdf:type ?v . VALUES ( ?v ) { ( ontology:state ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?u } }
[]
common name designation for an administrative territorial entity state
SYSTEM
161
Q2573 Q2571 Q310994 Q1428924 Q2494376 Q67345 Q297950 Q214029 Q152511 Q152335 Q171977 Q312557 Q162269 Q167724 Q1359023 Q310775 Q6809265 Q13631996 Q13014 Q237951 Q78490 Q152756 Q352200 Q151312 Q259331 Q267745 Q58056 Q167699 Q472323 Q38987 Q94941 Q855252 Q157812 Q444290 Q19216 Q188214 Q42939 Q20875 Q154444 Q2503364 Q155002 Q179858 Q250087 Q34105 Q9439 Q1354851 Q335323 Q2542 Q2540 Q152306 Q735387 Q122304 Q334851 Q156617 Q157789 Q976974 Q57488 Q6707612 Q502185 Q2594 Q570155 Q161958 Q154998 Q182266 Q156187 Q151305 Q189186 Q335310 Q157793 Q76 Q3910 Q11753 Q57509 Q57502 Q181261 Q332709 Q362618 Q157776 Q235454 Q4631 Q2677 Q188409 Q562209 Q102139 Q3518013 Q270645 Q29213 Q570195 Q69569 Q156572 Q335033 Q2551 Q336913 Q84204 Q511888 Q58600 Q173347 Q13593432 Q77233 Q355053 Q84475 Q205993 Q157068 Q153940 Q1455923 Q613051 Q154993 Q399998 Q354705 Q154041 Q81215 Q327203 Q2569 Q2563 Q1982245 Q2567 Q157781 Q1855372 Q212188 Q299629 Q11726 Q17488307 Q273228 Q1354229 Q187697 Q72856 Q161059 Q62483 Q72898 Q1260 Q313355 Q2582 Q17582456 Q541507 Q57360 Q172083 Q153586 Q704339 Q156349 Q332157 Q450675 Q154460 Q1356927 Q84263 Q2538 Q33168 Q360462 Q57521 Q380187 Q154912 Q233984 Q314464 Q1382174 Q1898405 Q57261 Q57634 Q229300 Q22368 Q174662 Q51672 Q333824
(c(Q15617994)|c(Q7275),P35,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q15617994
action find_reverse_tuple_counts
relation P35
type Q502895
type Q7275
action count
action filter_multi_types
action find_reverse
entity Q22513
relation P35
type Q15617994
type Q7275
[ANSWER]
[[{'concept': 'Q15617994'}, {'concept': 'Q7275'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { FILTER ( ?z < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?l ) WHERE { ?a property:P35 resource:Q22513 . { { ?a rdf:type ontology:Q15617994 } UNION { ?a rdf:type ontology:Q7275 } } } } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?u WHERE { ?r rdf:type ?v . VALUES ( ?v ) { ( ontology:Q7275 ) ( ontology:Q15617994 ) } } GROUP BY ?u } }
Gustav Heinemann Walter Scheel Patrick Hillery Nicola Mancino Edmund Lawrence John William, Duke of Jülich-Cleves-Berg R. Venkataraman Kaarlo Juho Ståhlberg Eddie Fenech Adami László Sólyom Tokugawa Ieyasu V. V. Giri Jefferson Davis Guido de Marco Raul Khadjimba Jean-Claude Duvalier Mehbooba Mufti Chennamaneni Vidyasagar Rao Franz Jonas Douglas Hyde Thomas Klestil Frederick VIII of Denmark Charles II, Duke of Parma Frederick IX of Denmark Yusof bin Ishak William Deane Christopher of Bavaria Ugo Mifsud Bonnici Ranasinghe Premadasa Tony Tan Keng Yam Frederick VII of Denmark Bhumibol Adulyadej Frederick III of Denmark Louis, King of Etruria Ma Ying-jeou Mary Robinson Bronisław Komorowski Edward VII Grand Duke Michael Alexandrovich of Russia Pietro Grasso Frederick VI of Denmark Urho Kekkonen Bill Hayden Hosni Mubarak Queen Victoria John Kerr William Morrison, 1st Viscount Dunrossil Horst Köhler Christian Wulff Carl Gustaf Emil Mannerheim William McKell Nitish Kumar Zail Singh Christian X of Denmark Frederick I of Denmark Peter Cosgrove Jakaya Kikwete Lydia Emerencia Andrey Vorobyov Theodor Heuss John II, Duke of Cleves Eric of Pomerania Christian III of Denmark Xiang Yu Frederick V of Denmark Christian IX of Denmark Zelman Cowen Richard Casey, Baron Casey Christian V of Denmark Barack Obama Albert II Heinz Fischer Atifete Jahjaga George Abela Charles Albert of Sardinia Giovanni Spadolini Adolph I, Duke of Cleves John, King of Denmark K. R. Narayanan Mohamed Morsi Wilhelm II Yevgeny Shevchuk Cesare Merzagora Margrethe II of Denmark N. Chandrababu Naidu Rose Francine Rogombé Tarja Halonen John I, Duke of Cleves Sardar Muhammad Yaqoob Khan Christian VII of Denmark William Slim, 1st Viscount Slim Johannes Rau Neelam Sanjiva Reddy Theodor Körner Leonard Petrosyan Friedrich III of Germany Éamon de Valera Adly Mansour Frederick III, Elector of Saxony Michael Jeffery Michael Hainisch William Gopallawa Lord Mountbatten Christian I of Denmark Takakazu Ishii Robert Kocharyan Christian VI of Denmark Wee Kim Wee Frederick Ballantyne Frederick II of Denmark Petar Stoyanov Seán T. O'Kelly Karl Carstens Roman Herzog Ismail Shammout Richard von Weizsäcker Christian VIII of Denmark Tamim bin Hamad Al Thani S. R. Nathan Léon M'ba Karl Renner Aleksandr Zakharchenko Amintore Fanfani Peter Hollingworth François Duvalier Rudolf Kirchschläger Frederick IV of Denmark William, Duke of Jülich-Cleves-Berg Adolf Schärf Kurt Waldheim Alexander Ankvab Heinrich Lübke Ihor Plotnytskiy Arkadi Ghukasyan Hamad bin Khalifa Al Thani Omar Bongo Christian IV of Denmark John III, Duke of Cleves Sarvepalli Radhakrishnan Shankar Dayal Sharma Francis Christian II of Denmark Ninian Stephen Wilhelm Miklas Joachim Gauck Kalvakuntla Chandrashekar Bako Sahakyan Ali Bongo Ondimba Ahmed Mahamoud Silanyo Olav V of Norway Tsai Ing-wen Tokugawa Hidetada Paul Hasluck Konijeti Rosaiah Georgi Parvanov Hashim Thaçi Quentin Bryce Chen Shui-bian Mary McAleese Herod the Great William Sidney, 1st Viscount De L'Isle
161
action count
action less
action union
action find_reverse_tuple_counts
relation head of state
type common name
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type state
action count
action filter_multi_types
action find_reverse
entity Zhu De
relation head of state
type designation for an administrative territorial entity
type state
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'state'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { FILTER ( ?z < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?l ) WHERE { ?a property:head_of_state resource:Zhu_De . { { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?a rdf:type ontology:state } } } } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) ?u WHERE { ?r rdf:type ?v . VALUES ( ?v ) { ( ontology:state ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?u } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q9151911
P35
Q502895 Q15617994 Q7275
USER
And how about Andrzej Duda?
(c(Q15617994)|c(Q7275),P35,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q15617994
action find_reverse_tuple_counts
relation P35
type Q502895
type Q7275
action count
action filter_multi_types
action find_reverse
entity Q9151911
relation P35
type Q15617994
type Q7275
[[{'concept': 'Q15617994'}, {'concept': 'Q7275'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) ?l WHERE { { ?y property:P35 ?l . ?l rdf:type ontology:Q502895 . ?y rdf:type ontology:Q15617994 } UNION { ?y property:P35 ?l . ?l rdf:type ontology:Q502895 . ?y rdf:type ontology:Q7275 } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { ?h property:P35 resource:Q9151911 . { { ?h rdf:type ontology:Q7275 } UNION { ?h rdf:type ontology:Q15617994 } } } } . FILTER ( ?a < ?c ) }
Andrzej Duda
action count
action less
action union
action find_reverse_tuple_counts
relation head of state
type common name
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type state
action count
action filter_multi_types
action find_reverse
entity Andrzej Duda
relation head of state
type designation for an administrative territorial entity
type state
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'state'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) ?l WHERE { { ?y property:head_of_state ?l . ?l rdf:type ontology:common_name . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?y property:head_of_state ?l . ?l rdf:type ontology:common_name . ?y rdf:type ontology:state } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { ?h property:head_of_state resource:Andrzej_Duda . { { ?h rdf:type ontology:state } UNION { ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?a < ?c ) }
[]
common name designation for an administrative territorial entity state
SYSTEM
161
Q2573 Q2571 Q310994 Q1428924 Q2494376 Q67345 Q297950 Q214029 Q152511 Q152335 Q171977 Q312557 Q162269 Q167724 Q1359023 Q310775 Q6809265 Q13631996 Q13014 Q237951 Q78490 Q152756 Q352200 Q151312 Q259331 Q267745 Q58056 Q167699 Q472323 Q38987 Q94941 Q855252 Q157812 Q444290 Q19216 Q188214 Q42939 Q20875 Q154444 Q2503364 Q155002 Q179858 Q250087 Q34105 Q9439 Q1354851 Q335323 Q2542 Q2540 Q152306 Q735387 Q122304 Q334851 Q156617 Q157789 Q976974 Q57488 Q6707612 Q502185 Q2594 Q570155 Q161958 Q154998 Q182266 Q156187 Q151305 Q189186 Q335310 Q157793 Q76 Q3910 Q11753 Q57509 Q57502 Q181261 Q332709 Q362618 Q157776 Q235454 Q4631 Q2677 Q188409 Q562209 Q102139 Q3518013 Q270645 Q29213 Q570195 Q69569 Q156572 Q335033 Q2551 Q336913 Q84204 Q511888 Q58600 Q173347 Q13593432 Q77233 Q355053 Q84475 Q205993 Q157068 Q153940 Q1455923 Q613051 Q154993 Q399998 Q354705 Q154041 Q81215 Q327203 Q2569 Q2563 Q1982245 Q2567 Q157781 Q1855372 Q212188 Q299629 Q11726 Q17488307 Q273228 Q1354229 Q187697 Q72856 Q161059 Q62483 Q72898 Q1260 Q313355 Q2582 Q17582456 Q541507 Q57360 Q172083 Q153586 Q704339 Q156349 Q332157 Q450675 Q154460 Q1356927 Q84263 Q2538 Q33168 Q360462 Q57521 Q380187 Q154912 Q233984 Q314464 Q1382174 Q1898405 Q57261 Q57634 Q229300 Q22368 Q174662 Q51672 Q333824
(c(Q15617994)|c(Q7275),P35,c(Q502895))
action count
action less
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q15617994
action find_reverse_tuple_counts
relation P35
type Q502895
type Q7275
action count
action filter_multi_types
action find_reverse
entity Q9151911
relation P35
type Q15617994
type Q7275
[ANSWER]
[[{'concept': 'Q15617994'}, {'concept': 'Q7275'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) ?l WHERE { { ?y property:P35 ?l . ?l rdf:type ontology:Q502895 . ?y rdf:type ontology:Q15617994 } UNION { ?y property:P35 ?l . ?l rdf:type ontology:Q502895 . ?y rdf:type ontology:Q7275 } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { ?h property:P35 resource:Q9151911 . { { ?h rdf:type ontology:Q7275 } UNION { ?h rdf:type ontology:Q15617994 } } } } . FILTER ( ?a < ?c ) }
Gustav Heinemann Walter Scheel Patrick Hillery Nicola Mancino Edmund Lawrence John William, Duke of Jülich-Cleves-Berg R. Venkataraman Kaarlo Juho Ståhlberg Eddie Fenech Adami László Sólyom Tokugawa Ieyasu V. V. Giri Jefferson Davis Guido de Marco Raul Khadjimba Jean-Claude Duvalier Mehbooba Mufti Chennamaneni Vidyasagar Rao Franz Jonas Douglas Hyde Thomas Klestil Frederick VIII of Denmark Charles II, Duke of Parma Frederick IX of Denmark Yusof bin Ishak William Deane Christopher of Bavaria Ugo Mifsud Bonnici Ranasinghe Premadasa Tony Tan Keng Yam Frederick VII of Denmark Bhumibol Adulyadej Frederick III of Denmark Louis, King of Etruria Ma Ying-jeou Mary Robinson Bronisław Komorowski Edward VII Grand Duke Michael Alexandrovich of Russia Pietro Grasso Frederick VI of Denmark Urho Kekkonen Bill Hayden Hosni Mubarak Queen Victoria John Kerr William Morrison, 1st Viscount Dunrossil Horst Köhler Christian Wulff Carl Gustaf Emil Mannerheim William McKell Nitish Kumar Zail Singh Christian X of Denmark Frederick I of Denmark Peter Cosgrove Jakaya Kikwete Lydia Emerencia Andrey Vorobyov Theodor Heuss John II, Duke of Cleves Eric of Pomerania Christian III of Denmark Xiang Yu Frederick V of Denmark Christian IX of Denmark Zelman Cowen Richard Casey, Baron Casey Christian V of Denmark Barack Obama Albert II Heinz Fischer Atifete Jahjaga George Abela Charles Albert of Sardinia Giovanni Spadolini Adolph I, Duke of Cleves John, King of Denmark K. R. Narayanan Mohamed Morsi Wilhelm II Yevgeny Shevchuk Cesare Merzagora Margrethe II of Denmark N. Chandrababu Naidu Rose Francine Rogombé Tarja Halonen John I, Duke of Cleves Sardar Muhammad Yaqoob Khan Christian VII of Denmark William Slim, 1st Viscount Slim Johannes Rau Neelam Sanjiva Reddy Theodor Körner Leonard Petrosyan Friedrich III of Germany Éamon de Valera Adly Mansour Frederick III, Elector of Saxony Michael Jeffery Michael Hainisch William Gopallawa Lord Mountbatten Christian I of Denmark Takakazu Ishii Robert Kocharyan Christian VI of Denmark Wee Kim Wee Frederick Ballantyne Frederick II of Denmark Petar Stoyanov Seán T. O'Kelly Karl Carstens Roman Herzog Ismail Shammout Richard von Weizsäcker Christian VIII of Denmark Tamim bin Hamad Al Thani S. R. Nathan Léon M'ba Karl Renner Aleksandr Zakharchenko Amintore Fanfani Peter Hollingworth François Duvalier Rudolf Kirchschläger Frederick IV of Denmark William, Duke of Jülich-Cleves-Berg Adolf Schärf Kurt Waldheim Alexander Ankvab Heinrich Lübke Ihor Plotnytskiy Arkadi Ghukasyan Hamad bin Khalifa Al Thani Omar Bongo Christian IV of Denmark John III, Duke of Cleves Sarvepalli Radhakrishnan Shankar Dayal Sharma Francis Christian II of Denmark Ninian Stephen Wilhelm Miklas Joachim Gauck Kalvakuntla Chandrashekar Bako Sahakyan Ali Bongo Ondimba Ahmed Mahamoud Silanyo Olav V of Norway Tsai Ing-wen Tokugawa Hidetada Paul Hasluck Konijeti Rosaiah Georgi Parvanov Hashim Thaçi Quentin Bryce Chen Shui-bian Mary McAleese Herod the Great William Sidney, 1st Viscount De L'Isle
161
action count
action less
action union
action find_reverse_tuple_counts
relation head of state
type common name
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type state
action count
action filter_multi_types
action find_reverse
entity Andrzej Duda
relation head of state
type designation for an administrative territorial entity
type state
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'state'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?a ) ?l WHERE { { ?y property:head_of_state ?l . ?l rdf:type ontology:common_name . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?y property:head_of_state ?l . ?l rdf:type ontology:common_name . ?y rdf:type ontology:state } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?c ) WHERE { ?h property:head_of_state resource:Andrzej_Duda . { { ?h rdf:type ontology:state } UNION { ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?a < ?c ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1629993 Q668
P530 P495
Q15617994
USER
Which administrative territories have a diplomatic relationship with India or are the countries of origin of SIG Sauer P239 ?
OR((Q668,P530,c(Q15617994)), (Q1629993,P495,c(Q15617994)))
action filter_type
action union
action find
entity Q668
relation P530
action find
entity Q1629993
relation P495
type Q15617994
{'OR': [['Q668', 'P530', {'concept': 'Q15617994'}], ['Q1629993', 'P495', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q15617994 . { { resource:Q668 property:P530 ?z } UNION { resource:Q1629993 property:P495 ?z } } }
SIG Sauer P239 India
action filter_type
action union
action find
entity India
relation diplomatic relation
action find
entity SIG Sauer P239
relation country of origin
type designation for an administrative territorial entity
{'OR': [['India', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['SIG Sauer P239', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . { { resource:India property:diplomatic_relation ?z } UNION { resource:SIG_Sauer_P239 property:country_of_origin ?z } } }
[]
designation for an administrative territorial entity
Q159 Q801 Q155 Q30 Q39 Q38
SYSTEM
Russia, Israel, Brazil, United States of America, Switzerland, Italy
Q159 Q801 Q155 Q30 Q39 Q38
OR((Q668,P530,c(Q15617994)), (Q1629993,P495,c(Q15617994)))
action filter_type
action union
action find
entity Q668
relation P530
action find
entity Q1629993
relation P495
type Q15617994
[ANSWERS] have a diplomatic relationship with India or are the countries of origin of SIG Sauer P239
{'OR': [['Q668', 'P530', {'concept': 'Q15617994'}], ['Q1629993', 'P495', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q15617994 . { { resource:Q668 property:P530 ?z } UNION { resource:Q1629993 property:P495 ?z } } }
Russia Israel Brazil United States of America Switzerland Italy
Russia, Israel, Brazil, United States of America, Switzerland and Italy have a diplomatic relationship with India or are the countries of origin of SIG Sauer P239
Russia Israel Brazil United States of America Switzerland Italy
action filter_type
action union
action find
entity India
relation diplomatic relation
action find
entity SIG Sauer P239
relation country of origin
type designation for an administrative territorial entity
{'OR': [['India', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['SIG Sauer P239', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . { { resource:India property:diplomatic_relation ?z } UNION { resource:SIG_Sauer_P239 property:country_of_origin ?z } } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic associations with those administrative territories ?
(Q183,P530,Q159) (Q183,P530,Q801) (Q183,P530,Q155) (Q183,P530,Q30) (Q183,P530,Q39) (Q183,P530,Q38)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q159'] ['Q183', 'P530', 'Q801'] ['Q183', 'P530', 'Q155'] ['Q183', 'P530', 'Q30'] ['Q183', 'P530', 'Q39'] ['Q183', 'P530', 'Q38']
ASK WHERE { resource:Q183 property:P530 ?l . VALUES ( ?l ) { ( resource:Q159 ) ( resource:Q801 ) ( resource:Q155 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Russia'] ['Germany', 'diplomatic relation', 'Israel'] ['Germany', 'diplomatic relation', 'Brazil'] ['Germany', 'diplomatic relation', 'United States of America'] ['Germany', 'diplomatic relation', 'Switzerland'] ['Germany', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Germany property:diplomatic_relation ?l . VALUES ( ?l ) { ( resource:Russia ) ( resource:Israel ) ( resource:Brazil ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q159) (Q183,P530,Q801) (Q183,P530,Q155) (Q183,P530,Q30) (Q183,P530,Q39) (Q183,P530,Q38)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q159'] ['Q183', 'P530', 'Q801'] ['Q183', 'P530', 'Q155'] ['Q183', 'P530', 'Q30'] ['Q183', 'P530', 'Q39'] ['Q183', 'P530', 'Q38']
ASK WHERE { resource:Q183 property:P530 ?l . VALUES ( ?l ) { ( resource:Q159 ) ( resource:Q801 ) ( resource:Q155 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Russia'] ['Germany', 'diplomatic relation', 'Israel'] ['Germany', 'diplomatic relation', 'Brazil'] ['Germany', 'diplomatic relation', 'United States of America'] ['Germany', 'diplomatic relation', 'Switzerland'] ['Germany', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Germany property:diplomatic_relation ?l . VALUES ( ?l ) { ( resource:Russia ) ( resource:Israel ) ( resource:Brazil ) } }
[]