Simple Question (Direct)
Simple Question
Q1564700
P47
Q515
USER
Which city is adjacent to Lišov ?
(Q1564700,P47,c(Q515))
action filter_type
action find
entity Q1564700
relation P47
type Q515
['Q1564700', 'P47', {'concept': 'Q515'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q515 . resource:Q1564700 property:P47 ?y }
Lišov
action filter_type
action find
entity Lišov
relation shares border with
type city
['Lišov', 'shares border with', {'concept': 'city'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:city . resource:Lišov property:shares_border_with ?y }
[]
city
Q773312
SYSTEM
Třeboň
Q773312
(Q1564700,P47,c(Q515))
action filter_type
action find
entity Q1564700
relation P47
type Q515
[ANSWER] is adjacent to Lišov
['Q1564700', 'P47', {'concept': 'Q515'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q515 . resource:Q1564700 property:P47 ?y }
Třeboň
Třeboň is adjacent to Lišov
Třeboň
action filter_type
action find
entity Lišov
relation shares border with
type city
['Lišov', 'shares border with', {'concept': 'city'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:city . resource:Lišov property:shares_border_with ?y }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q773312
P190
Q56061
USER
Which administrative territory is twin town of that city ?
(c(Q56061),P190,Q773312)
action filter_type
action find
entity Q773312
relation P190
type Q56061
[{'concept': 'Q56061'}, 'P190', 'Q773312']
SELECT DISTINCT ?m WHERE { resource:Q773312 property:P190 ?m . ?m rdf:type ontology:Q56061 }
Třeboň
action filter_type
action find
entity Třeboň
relation sister city
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'sister city', 'Třeboň']
SELECT DISTINCT ?m WHERE { resource:Třeboň property:sister_city ?m . ?m rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q68103
SYSTEM
Interlaken
Q68103
(c(Q56061),P190,Q773312)
action filter_type
action find
entity Q773312
relation P190
type Q56061
[ANSWER] is twin town of that city
[{'concept': 'Q56061'}, 'P190', 'Q773312']
SELECT DISTINCT ?m WHERE { resource:Q773312 property:P190 ?m . ?m rdf:type ontology:Q56061 }
Interlaken
Interlaken is twin town of that city
Interlaken
action filter_type
action find
entity Třeboň
relation sister city
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'sister city', 'Třeboň']
SELECT DISTINCT ?m WHERE { resource:Třeboň property:sister_city ?m . ?m rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q68103
P740
Q43229
USER
Which organization originated at that administrative territory ?
(c(Q43229),P740,Q68103)
action filter_type
action find_reverse
entity Q68103
relation P740
type Q43229
[{'concept': 'Q43229'}, 'P740', 'Q68103']
SELECT DISTINCT ?l WHERE { ?l property:P740 resource:Q68103 . ?l rdf:type ontology:Q43229 }
Interlaken
action filter_type
action find_reverse
entity Interlaken
relation location of formation
type organization
[{'concept': 'organization'}, 'location of formation', 'Interlaken']
SELECT DISTINCT ?l WHERE { ?l property:location_of_formation resource:Interlaken . ?l rdf:type ontology:organization }
[]
organization
Q5412559
SYSTEM
European Federation of Biotechnology
Q5412559
(c(Q43229),P740,Q68103)
action filter_type
action find_reverse
entity Q68103
relation P740
type Q43229
[ANSWER] originated at that administrative territory
[{'concept': 'Q43229'}, 'P740', 'Q68103']
SELECT DISTINCT ?l WHERE { ?l property:P740 resource:Q68103 . ?l rdf:type ontology:Q43229 }
European Federation of Biotechnology
European Federation of Biotechnology originated at that administrative territory
European Federation of Biotechnology
action filter_type
action find_reverse
entity Interlaken
relation location of formation
type organization
[{'concept': 'organization'}, 'location of formation', 'Interlaken']
SELECT DISTINCT ?l WHERE { ?l property:location_of_formation resource:Interlaken . ?l rdf:type ontology:organization }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q19245579 Q773312
P17
Q15617994
USER
Which administrative territories are Třeboň or Hélène Swarthplantsoen located in ?
OR((Q773312,P17,c(Q15617994)), (Q19245579,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q773312
relation P17
action find
entity Q19245579
relation P17
type Q15617994
{'OR': [['Q773312', 'P17', {'concept': 'Q15617994'}], ['Q19245579', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q15617994 . { VALUES ( ?n ) { ( resource:Q773312 ) ( resource:Q19245579 ) } . ?n property:P17 ?b } }
Hélène Swarthplantsoen Třeboň
action filter_type
action union
action find
entity Třeboň
relation country
action find
entity Hélène Swarthplantsoen
relation country
type designation for an administrative territorial entity
{'OR': [['Třeboň', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Hélène Swarthplantsoen', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . { VALUES ( ?n ) { ( resource:Třeboň ) ( resource:Hélène_Swarthplantsoen ) } . ?n property:country ?b } }
[]
designation for an administrative territorial entity
Q213 Q55
SYSTEM
Czech Republic, Netherlands
Q213 Q55
OR((Q773312,P17,c(Q15617994)), (Q19245579,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q773312
relation P17
action find
entity Q19245579
relation P17
type Q15617994
Třeboň or Hélène Swarthplantsoen are located in [ANSWERS]
{'OR': [['Q773312', 'P17', {'concept': 'Q15617994'}], ['Q19245579', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q15617994 . { VALUES ( ?n ) { ( resource:Q773312 ) ( resource:Q19245579 ) } . ?n property:P17 ?b } }
Czech Republic Netherlands
Třeboň or Hélène Swarthplantsoen are located in Czech Republic and Netherlands
Czech Republic Netherlands
action filter_type
action union
action find
entity Třeboň
relation country
action find
entity Hélène Swarthplantsoen
relation country
type designation for an administrative territorial entity
{'OR': [['Třeboň', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Hélène Swarthplantsoen', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . { VALUES ( ?n ) { ( resource:Třeboň ) ( resource:Hélène_Swarthplantsoen ) } . ?n property:country ?b } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q38
P530
Q15617994
USER
Do Italy have ambassadorial relations with those ones ?
(Q38,P530,Q213) (Q38,P530,Q55)
action is_in
entity prev_answer
action find
entity Q38
relation P530
['Q38', 'P530', 'Q213'] ['Q38', 'P530', 'Q55']
ASK WHERE { VALUES ( ?l ) { ( resource:Q213 ) ( resource:Q55 ) } . resource:Q38 property:P530 ?l }
Italy
action is_in
entity prev_answer
action find
entity Italy
relation diplomatic relation
['Italy', 'diplomatic relation', 'Czech Republic'] ['Italy', 'diplomatic relation', 'Netherlands']
ASK WHERE { VALUES ( ?l ) { ( resource:Czech_Republic ) ( resource:Netherlands ) } . resource:Italy property:diplomatic_relation ?l }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q38,P530,Q213) (Q38,P530,Q55)
action is_in
entity prev_answer
action find
entity Q38
relation P530
[ANSWER]
['Q38', 'P530', 'Q213'] ['Q38', 'P530', 'Q55']
ASK WHERE { VALUES ( ?l ) { ( resource:Q213 ) ( resource:Q55 ) } . resource:Q38 property:P530 ?l }
Yes
action is_in
entity prev_answer
action find
entity Italy
relation diplomatic relation
['Italy', 'diplomatic relation', 'Czech Republic'] ['Italy', 'diplomatic relation', 'Netherlands']
ASK WHERE { VALUES ( ?l ) { ( resource:Czech_Republic ) ( resource:Netherlands ) } . resource:Italy property:diplomatic_relation ?l }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q13941 Q68103
P47
Q56061
USER
Which administrative territories share border with Interlaken or Santa Perpètua de Mogoda ?
OR((Q68103,P47,c(Q56061)), (Q13941,P47,c(Q56061)))
action filter_type
action union
action find
entity Q68103
relation P47
action find
entity Q13941
relation P47
type Q56061
{'OR': [['Q68103', 'P47', {'concept': 'Q56061'}], ['Q13941', 'P47', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q56061 . { { resource:Q68103 property:P47 ?q } UNION { resource:Q13941 property:P47 ?q } } }
Santa Perpètua de Mogoda Interlaken
action filter_type
action union
action find
entity Interlaken
relation shares border with
action find
entity Santa Perpètua de Mogoda
relation shares border with
type administrative territorial entity
{'OR': [['Interlaken', 'shares border with', {'concept': 'administrative territorial entity'}], ['Santa Perpètua de Mogoda', 'shares border with', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:administrative_territorial_entity . { { resource:Interlaken property:shares_border_with ?q } UNION { resource:Santa_Perpètua_de_Mogoda property:shares_border_with ?q } } }
[]
administrative territorial entity
Q67097 Q65757 Q12258 Q65502
SYSTEM
Unterseen, Matten bei Interlaken, Sabadell, Bönigen
Q67097 Q65757 Q12258 Q65502
OR((Q68103,P47,c(Q56061)), (Q13941,P47,c(Q56061)))
action filter_type
action union
action find
entity Q68103
relation P47
action find
entity Q13941
relation P47
type Q56061
[ANSWERS] share border with Interlaken or Santa Perpètua de Mogoda
{'OR': [['Q68103', 'P47', {'concept': 'Q56061'}], ['Q13941', 'P47', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q56061 . { { resource:Q68103 property:P47 ?q } UNION { resource:Q13941 property:P47 ?q } } }
Unterseen Matten bei Interlaken Sabadell Bönigen
Unterseen, Matten bei Interlaken, Sabadell and Bönigen share border with Interlaken or Santa Perpètua de Mogoda
Unterseen Matten bei Interlaken Sabadell Bönigen
action filter_type
action union
action find
entity Interlaken
relation shares border with
action find
entity Santa Perpètua de Mogoda
relation shares border with
type administrative territorial entity
{'OR': [['Interlaken', 'shares border with', {'concept': 'administrative territorial entity'}], ['Santa Perpètua de Mogoda', 'shares border with', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:administrative_territorial_entity . { { resource:Interlaken property:shares_border_with ?q } UNION { resource:Santa_Perpètua_de_Mogoda property:shares_border_with ?q } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q786
P706
Q271669 Q82794 Q15617994
USER
Which administrative territories have their location as approximately the same number of landforms and geographic regions as Dominican Republic ?
(c(Q15617994),P706,c(Q271669)|c(Q82794))
action approx
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q786
relation P706
type Q271669
type Q82794
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?b ) AS ?o ) WHERE { { ?s rdf:type ontology:Q15617994 . ?b rdf:type ontology:Q271669 . ?s property:P706 ?b } UNION { ?s property:P706 ?b . ?s rdf:type ontology:Q15617994 . ?b rdf:type ontology:Q82794 } } GROUP BY ?s } . FILTER ( ?o = ?r ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { resource:Q786 property:P706 ?f . { { ?f rdf:type ontology:Q271669 } UNION { ?f rdf:type ontology:Q82794 } } } } }
Dominican Republic
action approx
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Dominican Republic
relation located on terrain feature
type landform
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?b ) AS ?o ) WHERE { { ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?b rdf:type ontology:landform . ?s property:located_on_terrain_feature ?b } UNION { ?s property:located_on_terrain_feature ?b . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?b rdf:type ontology:geographic_region } } GROUP BY ?s } . FILTER ( ?o = ?r ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { resource:Dominican_Republic property:located_on_terrain_feature ?f . { { ?f rdf:type ontology:landform } UNION { ?f rdf:type ontology:geographic_region } } } } }
[]
landform geographic region designation for an administrative territorial entity
Q148 Q33 Q786
SYSTEM
People's Republic of China, Finland, Dominican Republic
Q695445 Q2712111 Q489215 Q525879 Q24846 Q267993 Q637400 Q632868 Q148 Q784 Q786 Q25129 Q7042 Q312335 Q525945 Q3003231 Q505665 Q1462 Q521132 Q790 Q555609 Q267005 Q1619957 Q204529 Q244 Q501683 Q582690 Q216422 Q5000224 Q33 Q633162 Q3146 Q520347 Q598754 Q21074475 Q3942 Q333149 Q565749 Q4770750 Q20836 Q20837 Q769680 Q502662 Q47821 Q3038 Q3068 Q331886 Q25130 Q588957 Q25135 Q3218 Q112019 Q704288 Q25125 Q29931 Q754 Q25082 Q558787 Q14892 Q180271 Q262684 Q628095 Q3923 Q27649869 Q3193 Q522992 Q23968 Q760 Q489865 Q518171 Q46870 Q7561974 Q72432 Q504134 Q20754 Q153969 Q481758 Q55416 Q31640 Q376823
(c(Q15617994),P706,c(Q271669)|c(Q82794))
action approx
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q786
relation P706
type Q271669
type Q82794
[ANSWERS] have their location as approximately the same number of landforms and geographic regions as Dominican Republic
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?b ) AS ?o ) WHERE { { ?s rdf:type ontology:Q15617994 . ?b rdf:type ontology:Q271669 . ?s property:P706 ?b } UNION { ?s property:P706 ?b . ?s rdf:type ontology:Q15617994 . ?b rdf:type ontology:Q82794 } } GROUP BY ?s } . FILTER ( ?o = ?r ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { resource:Q786 property:P706 ?f . { { ?f rdf:type ontology:Q271669 } UNION { ?f rdf:type ontology:Q82794 } } } } }
Langen Zagori Oberhof Haundorf Juist Muhr am See Hohenwarte Sasbach People's Republic of China Dominica Dominican Republic Langeoog Amberg Spalt Pfofeld Croisset Bergen Sardinia Hilpoltstein Haiti Magdala Moneglia Hippelsbach Zingst Barbados Rosengarten Neuenhagen bei Berlin Samsø Burnt River, Ontario Finland Drestedt Pellworm Röttenbach, Roth Undeloh Nenndorf Aschaffenburg Abstatt Erden Ansons Bay Hallig Hooge Fanø Bornholm Bad Salzungen Malcesine Helgoland Loire-Atlantique Absberg Spiekeroog Allersberg Wangerooge Insel Hiddensee Sirmione Duchy of Holstein Baltrum Langeneß Trinidad and Tobago Borkum Südeichsfeld Buchholz in der Nordheide Vetralla Füssen Nürburg Bayreuth Teglkås Ostseebad Insel Poel Braunlage Norderney Saint Lucia Isola delle Femmine Ellhofen Bardolino Sonning Eye Procida Kirchlinteln Gröde Lindau Pantelleria Chioggia Unterschwaningen Wenzendorf
People's Republic of China, Finland and Dominican Republic have their location as approximately the same number of landforms and geographic regions as Dominican Republic
People's Republic of China Finland Dominican Republic
action approx
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Dominican Republic
relation located on terrain feature
type landform
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?b ) AS ?o ) WHERE { { ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?b rdf:type ontology:landform . ?s property:located_on_terrain_feature ?b } UNION { ?s property:located_on_terrain_feature ?b . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?b rdf:type ontology:geographic_region } } GROUP BY ?s } . FILTER ( ?o = ?r ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?r ) WHERE { resource:Dominican_Republic property:located_on_terrain_feature ?f . { { ?f rdf:type ontology:landform } UNION { ?f rdf:type ontology:geographic_region } } } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q3038
P706
Q271669 Q82794 Q15617994
USER
And how about Helgoland?
(c(Q15617994),P706,c(Q271669)|c(Q82794))
action approx
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q3038
relation P706
type Q271669
type Q82794
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?i ) AS ?a ) WHERE { VALUES ( ?l ) { ( ontology:Q271669 ) ( ontology:Q82794 ) } . ?i rdf:type ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) WHERE { resource:Q3038 property:P706 ?d . { ?d rdf:type ?u . VALUES ( ?u ) { ( ontology:Q82794 ) ( ontology:Q271669 ) } } } } . FILTER ( ?a = ?n ) }
Helgoland
action approx
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Helgoland
relation located on terrain feature
type landform
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?i ) AS ?a ) WHERE { VALUES ( ?l ) { ( ontology:landform ) ( ontology:geographic_region ) } . ?i rdf:type ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) WHERE { resource:Helgoland property:located_on_terrain_feature ?d . { ?d rdf:type ?u . VALUES ( ?u ) { ( ontology:geographic_region ) ( ontology:landform ) } } } } . FILTER ( ?a = ?n ) }
[]
landform geographic region designation for an administrative territorial entity
Q148 Q33 Q786
SYSTEM
People's Republic of China, Finland, Dominican Republic
Q695445 Q2712111 Q489215 Q525879 Q24846 Q267993 Q637400 Q632868 Q148 Q784 Q786 Q25129 Q7042 Q312335 Q525945 Q3003231 Q505665 Q1462 Q521132 Q790 Q555609 Q267005 Q1619957 Q204529 Q244 Q501683 Q582690 Q216422 Q5000224 Q33 Q633162 Q3146 Q520347 Q598754 Q21074475 Q3942 Q333149 Q565749 Q4770750 Q20836 Q20837 Q769680 Q502662 Q47821 Q3038 Q3068 Q331886 Q25130 Q588957 Q25135 Q3218 Q112019 Q704288 Q25125 Q29931 Q754 Q25082 Q558787 Q14892 Q180271 Q262684 Q628095 Q3923 Q27649869 Q3193 Q522992 Q23968 Q760 Q489865 Q518171 Q46870 Q7561974 Q72432 Q504134 Q20754 Q153969 Q481758 Q55416 Q31640 Q376823
(c(Q15617994),P706,c(Q271669)|c(Q82794))
action approx
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q3038
relation P706
type Q271669
type Q82794
[ANSWERS]
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?i ) AS ?a ) WHERE { VALUES ( ?l ) { ( ontology:Q271669 ) ( ontology:Q82794 ) } . ?i rdf:type ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) WHERE { resource:Q3038 property:P706 ?d . { ?d rdf:type ?u . VALUES ( ?u ) { ( ontology:Q82794 ) ( ontology:Q271669 ) } } } } . FILTER ( ?a = ?n ) }
Langen Zagori Oberhof Haundorf Juist Muhr am See Hohenwarte Sasbach People's Republic of China Dominica Dominican Republic Langeoog Amberg Spalt Pfofeld Croisset Bergen Sardinia Hilpoltstein Haiti Magdala Moneglia Hippelsbach Zingst Barbados Rosengarten Neuenhagen bei Berlin Samsø Burnt River, Ontario Finland Drestedt Pellworm Röttenbach, Roth Undeloh Nenndorf Aschaffenburg Abstatt Erden Ansons Bay Hallig Hooge Fanø Bornholm Bad Salzungen Malcesine Helgoland Loire-Atlantique Absberg Spiekeroog Allersberg Wangerooge Insel Hiddensee Sirmione Duchy of Holstein Baltrum Langeneß Trinidad and Tobago Borkum Südeichsfeld Buchholz in der Nordheide Vetralla Füssen Nürburg Bayreuth Teglkås Ostseebad Insel Poel Braunlage Norderney Saint Lucia Isola delle Femmine Ellhofen Bardolino Sonning Eye Procida Kirchlinteln Gröde Lindau Pantelleria Chioggia Unterschwaningen Wenzendorf
People's Republic of China Finland Dominican Republic
action approx
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Helgoland
relation located on terrain feature
type landform
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?i ) AS ?a ) WHERE { VALUES ( ?l ) { ( ontology:landform ) ( ontology:geographic_region ) } . ?i rdf:type ?l } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?n ) WHERE { resource:Helgoland property:located_on_terrain_feature ?d . { ?d rdf:type ?u . VALUES ( ?u ) { ( ontology:geographic_region ) ( ontology:landform ) } } } } . FILTER ( ?a = ?n ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic relations with those administrative territories ?
(Q183,P530,Q148) (Q183,P530,Q33) (Q183,P530,Q786)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q148'] ['Q183', 'P530', 'Q33'] ['Q183', 'P530', 'Q786']
ASK WHERE { resource:Q183 property:P530 ?f . VALUES ( ?f ) { ( resource:Q695445 ) ( resource:Q2712111 ) ( resource:Q489215 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', "People's Republic of China"] ['Germany', 'diplomatic relation', 'Finland'] ['Germany', 'diplomatic relation', 'Dominican Republic']
ASK WHERE { resource:Germany property:diplomatic_relation ?f . VALUES ( ?f ) { ( resource:Langen ) ( resource:Zagori ) ( resource:Oberhof ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q148) (Q183,P530,Q33) (Q183,P530,Q786)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q148'] ['Q183', 'P530', 'Q33'] ['Q183', 'P530', 'Q786']
ASK WHERE { resource:Q183 property:P530 ?f . VALUES ( ?f ) { ( resource:Q695445 ) ( resource:Q2712111 ) ( resource:Q489215 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', "People's Republic of China"] ['Germany', 'diplomatic relation', 'Finland'] ['Germany', 'diplomatic relation', 'Dominican Republic']
ASK WHERE { resource:Germany property:diplomatic_relation ?f . VALUES ( ?f ) { ( resource:Langen ) ( resource:Zagori ) ( resource:Oberhof ) } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q320950
P190
Q15617994 Q56061 Q515
USER
Which cities are twin town of around the same number of administrative territories or administrative territories as Trutnov ?
(c(Q515),P190,c(Q15617994)|c(Q56061))
action approx
action union
action find_tuple_counts
relation P190
type Q515
type Q15617994
action find_tuple_counts
relation P190
type Q515
type Q56061
action count
action filter_multi_types
action find
entity Q320950
relation P190
type Q15617994
type Q56061
[{'concept': 'Q515'}, 'P190', [{'concept': 'Q15617994'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?k ) ?o WHERE { { ?o property:P190 ?y . ?o rdf:type ontology:Q515 . ?y rdf:type ontology:Q15617994 } UNION { ?o property:P190 ?y . ?y rdf:type ontology:Q56061 . ?o rdf:type ontology:Q515 } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?g ) WHERE { resource:Q320950 property:P190 ?d . { ?d rdf:type ?v . VALUES ( ?v ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } } } } . FILTER ( ?k = ?g ) }
Trutnov
action approx
action union
action find_tuple_counts
relation sister city
type city
type designation for an administrative territorial entity
action find_tuple_counts
relation sister city
type city
type administrative territorial entity
action count
action filter_multi_types
action find
entity Trutnov
relation sister city
type designation for an administrative territorial entity
type administrative territorial entity
[{'concept': 'city'}, 'sister city', [{'concept': 'designation for an administrative territorial entity'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?k ) ?o WHERE { { ?o property:sister_city ?y . ?o rdf:type ontology:city . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?o property:sister_city ?y . ?y rdf:type ontology:administrative_territorial_entity . ?o rdf:type ontology:city } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?g ) WHERE { resource:Trutnov property:sister_city ?d . { ?d rdf:type ?v . VALUES ( ?v ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } } } } . FILTER ( ?k = ?g ) }
[]
designation for an administrative territorial entity administrative territorial entity city
Q16506 Q270704 Q1711
SYSTEM
České Budějovice, Třebíč, Potsdam
Q41283 Q386691 Q384403 Q373542 Q1021103 Q39738 Q10127 Q823988 Q843001 Q1017045 Q843006 Q847602 Q830404 Q847607 Q235746 Q222242 Q841296 Q7253 Q1000086 Q3974 Q3870 Q362865 Q197379 Q34412 Q849434 Q703158 Q72877 Q205914 Q259498 Q158239 Q83786 Q854913 Q944051 Q696925 Q696694 Q1000060 Q460835 Q278877 Q533157 Q217432 Q827041 Q2936 Q850969 Q819639 Q385375 Q304848 Q270814 Q57921 Q25282 Q10395 Q10397 Q664895 Q858008 Q496667 Q1000467 Q837968 Q27860 Q240504 Q854996 Q281371 Q58401 Q837960 Q209785 Q360326 Q612815 Q320950 Q58273 Q1088716 Q1407742 Q43199 Q1015011 Q695892 Q191120 Q385982 Q766168 Q837173 Q383850 Q58650 Q214938 Q755686 Q770187 Q392692 Q823874 Q830394 Q850344 Q205607 Q320943 Q734416 Q193050 Q679428 Q985465 Q1009003 Q217646 Q846335 Q14499 Q789256 Q416669 Q7473516 Q71266 Q15720 Q946743 Q1321460 Q1001647 Q638312 Q502196 Q360069 Q602042 Q843039 Q5779 Q1009095 Q377834 Q8247 Q295367 Q283023 Q425996 Q166255 Q57953 Q917888 Q174091 Q59100 Q430864 Q916679 Q1645575 Q57958 Q501891 Q349983 Q1010131 Q57818 Q349982 Q653372 Q653478 Q911517 Q38968 Q548097 Q783255 Q166282 Q59205 Q842961 Q329768 Q41278 Q843035 Q246723 Q75978 Q198240 Q773312 Q696388 Q363166 Q193719 Q935846 Q1000029 Q1623 Q147738 Q835227 Q373023 Q1629 Q1008750 Q74957 Q404529 Q954569 Q158423 Q851001 Q127026 Q912224 Q849439 Q210493 Q851419 Q1008686 Q834567 Q714636 Q740800 Q384796 Q5690 Q505208 Q852018 Q1000336 Q937008 Q605256 Q841603 Q1018795 Q1236048 Q860674 Q5838 Q181276 Q819664 Q220445 Q3692 Q847546 Q756593 Q368429 Q8131 Q857202 Q192271 Q854956 Q235004 Q933641 Q1018700 Q325736 Q92297 Q375651 Q69060 Q71227 Q1632616 Q3069 Q1019339 Q68534 Q132997 Q120103 Q389515 Q394453 Q278017 Q216077 Q2910 Q646847 Q321778 Q68695 Q330409 Q221283 Q461020 Q207408 Q155975 Q57997 Q57996 Q913754 Q569639 Q958157 Q26600 Q507846 Q602976 Q793405 Q3846983 Q503411 Q375097 Q59144 Q386677 Q12062 Q72818 Q1818241 Q630358 Q178878 Q583910 Q203027 Q2966 Q1482 Q625154 Q179608 Q144988 Q154540 Q1467 Q17042 Q842984 Q855073 Q817965 Q843018 Q753731 Q1010144 Q623549 Q379160 Q607625 Q526335 Q737830 Q5540 Q200500 Q496072 Q645014 Q198370 Q10393 Q755691 Q854906 Q12245 Q427367 Q107401 Q791458 Q1019335 Q423371 Q16959 Q386635 Q317827 Q1844 Q837154 Q10389 Q650015 Q819629 Q1015409 Q1013843 Q385461 Q291745 Q755698 Q583620 Q1008983 Q324293 Q214945 Q986070 Q946893 Q75150 Q515573 Q214956 Q8854 Q319804 Q838669 Q736276 Q182378 Q858369 Q847577 Q235 Q117604 Q15379 Q588606 Q855513 Q104587 Q1019970 Q593157 Q1725 Q404873 Q79535 Q683165 Q1723 Q288413 Q167668 Q270704 Q3838 Q6582 Q851021 Q478038 Q911610 Q459787 Q386026 Q846345 Q837157 Q149097 Q207406 Q4346 Q393426 Q316841 Q898468 Q1025213 Q276132 Q58560 Q517407 Q126995 Q23661 Q817141 Q753864 Q3866 Q570884 Q325164 Q373101 Q14819 Q137271 Q158435 Q1008595 Q740810 Q498545 Q193721 Q502988 Q193724 Q734532 Q911667 Q820760 Q987496 Q7568 Q180379 Q842971 Q1475 Q622594 Q404429 Q978446 Q329775 Q784229 Q657642 Q843028 Q341056 Q755681 Q1017261 Q1000033 Q2900 Q76001 Q589880 Q3599 Q596486 Q851037 Q56759 Q3861 Q1410 Q71108 Q749283 Q642006 Q26837 Q57931 Q3857 Q426130 Q7786 Q651742 Q606212 Q1852528 Q3919 Q200267 Q674311 Q242108 Q207881 Q3915 Q937688 Q453502 Q75110 Q58324 Q31238 Q1017769 Q1676870 Q860669 Q533078 Q42664 Q58570 Q151958 Q1711 Q487439 Q665097 Q162880 Q174461 Q68614 Q1017806 Q857234 Q17182 Q124375 Q496681 Q854940 Q3806 Q653402 Q514796 Q854949 Q416544 Q633983 Q604516 Q75203 Q404362 Q57756 Q320939 Q239597 Q158432 Q851007 Q335427 Q177149 Q1471150 Q495821 Q208471 Q2337 Q633789 Q495802 Q1019844 Q373813 Q495809 Q3185 Q116417 Q104036 Q368929 Q693237 Q252325 Q250733 Q592497 Q2773 Q781435 Q221214 Q722732 Q740915 Q488869 Q837161 Q71284 Q740853 Q840595 Q877266 Q840591 Q632146 Q645567 Q207876 Q384926 Q842976 Q2978 Q647508 Q1676863 Q188082 Q1889017 Q941061 Q14440 Q34261 Q198266 Q349976 Q279642 Q756581 Q373564 Q203929 Q273880 Q855060 Q643929 Q1473 Q841129 Q842996 Q3852 Q679249 Q843021 Q14821 Q1020874 Q338616 Q954596 Q954611 Q57970 Q3955 Q6343 Q875070 Q668318 Q189633 Q933480 Q6829 Q260522 Q851042 Q844130 Q1575979 Q752838 Q426237 Q850395 Q92324 Q854977 Q325555 Q496499 Q252061 Q819613 Q941032 Q166829 Q890122 Q854987 Q394108 Q541550 Q855011 Q1258284 Q497341 Q513417 Q4007 Q1013914 Q2096 Q14169 Q7070 Q655417 Q642031 Q930396 Q214948 Q271000 Q58210 Q182852 Q111739 Q214942 Q16506 Q68481 Q549427 Q335506 Q694370 Q55597 Q374511 Q4174 Q847565 Q377929 Q386651 Q267708 Q317844 Q1822 Q200077 Q47916 Q846338 Q389495 Q667208 Q191097 Q75336 Q57885 Q680656 Q1508 Q385623 Q29003 Q853623 Q946769 Q846351 Q739304 Q789233 Q1729076 Q360374 Q75230 Q3046 Q1430746 Q594275 Q523489 Q499493 Q372791 Q237683 Q463171 Q246634 Q369628 Q851048 Q857293 Q1019360 Q2749 Q1394252 Q750587 Q523469 Q1013850 Q692745 Q158420 Q999916 Q211243 Q210661 Q532560 Q210667 Q911674 Q58178 Q158257 Q750573 Q736897 Q496080 Q656603 Q987487 Q217698 Q118213 Q629471 Q187861 Q207311 Q695911 Q695917 Q7027 Q646850 Q376233 Q1641829 Q206872 Q390796 Q271917 Q57936 Q719 Q5972 Q83247 Q851029 Q1645 Q390798 Q3904 Q790370 Q572231 Q7033 Q855052 Q215755 Q547479 Q75026 Q509923 Q3826 Q773203 Q2907 Q149108 Q492366 Q843014 Q591823 Q149105 Q63855 Q349973 Q3768 Q732300 Q789510 Q265555 Q470369 Q1863 Q2209 Q727143 Q146363 Q532981 Q863739 Q2207 Q851056 Q359990 Q851114 Q108037 Q180470 Q210365 Q696407 Q430207 Q76010 Q756273 Q387211 Q17176 Q633996 Q188247 Q517783 Q571918 Q59095 Q72778 Q360235 Q1355 Q498060 Q3167 Q183584 Q3859 Q187136 Q5869 Q144663 Q508591 Q570427 Q59227 Q75379 Q789282 Q839796 Q502993 Q637913 Q75091 Q728438 Q427769 Q3014 Q634022 Q837170 Q789261 Q189823 Q496837 Q855086 Q55740 Q226000 Q3075 Q845857 Q146317 Q825166 Q851492 Q911634 Q320798 Q494627 Q57941 Q855082 Q59223 Q187821 Q502205 Q203344 Q530634 Q230843 Q20921 Q71151 Q319729 Q4175 Q71159 Q460812 Q57944 Q986082 Q189761 Q390156 Q189769 Q349985 Q236197 Q386250 Q750224 Q378225 Q653446 Q329790 Q804395 Q263757 Q329797 Q488134 Q2061 Q207222 Q653364 Q184998 Q5217 Q890949 Q1017247 Q386988 Q854965 Q269634 Q489147 Q755701 Q601254 Q161060 Q604385 Q679224 Q158523 Q168648 Q843031 Q629849 Q843043 Q850676 Q990988 Q20073 Q36063 Q485176 Q924085 Q3936 Q3931 Q146033 Q726993 Q248959 Q3751 Q3200 Q42666 Q3612 Q844852 Q518360 Q742160 Q158272 Q933638 Q171943 Q651322 Q17189 Q386661 Q819672 Q847557 Q166183 Q158245 Q518203 Q523956 Q680743 Q169064 Q117676 Q4060 Q652710 Q646766 Q71339 Q1013909 Q57948 Q950352 Q1530 Q680963 Q66485 Q933374 Q649214 Q58422 Q40626 Q582209 Q877935 Q3994 Q954808 Q209983 Q432055 Q240891 Q240489 Q320964 Q23768 Q58584 Q2427155 Q696783 Q170525 Q1756960 Q936145 Q842929 Q30340 Q842925 Q92277 Q302526 Q392429 Q1019371 Q243293 Q225100 Q59132 Q303478 Q304803 Q217681 Q263837 Q721163 Q275904 Q284480 Q496431 Q207309 Q1641781 Q104125 Q247387 Q213296 Q16666 Q1737652
(c(Q515),P190,c(Q15617994)|c(Q56061))
action approx
action union
action find_tuple_counts
relation P190
type Q515
type Q15617994
action find_tuple_counts
relation P190
type Q515
type Q56061
action count
action filter_multi_types
action find
entity Q320950
relation P190
type Q15617994
type Q56061
[ANSWERS] are twin town of around the same number of administrative territories or administrative territories as Trutnov
[{'concept': 'Q515'}, 'P190', [{'concept': 'Q15617994'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?k ) ?o WHERE { { ?o property:P190 ?y . ?o rdf:type ontology:Q515 . ?y rdf:type ontology:Q15617994 } UNION { ?o property:P190 ?y . ?y rdf:type ontology:Q56061 . ?o rdf:type ontology:Q515 } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?g ) WHERE { resource:Q320950 property:P190 ?d . { ?d rdf:type ?v . VALUES ( ?v ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } } } } . FILTER ( ?k = ?g ) }
Gwangju Niiza City Litoměřice Szigetvár Meziboří Laoag Tangerang Kakegawa Csorna Protivín Nagykálló Nishinoomote Hajdúszoboszló Sanda Kesennuma Kisköre Příbram Padang Nový Bor Landshut Nairobi Pingxiang Zhangjiajie Foshan Fuefuki Velké Meziříčí Datong Lijiang Rafaela Kroměříž Shimla Szikszó Horní Jiřetín Iruma Onomichi Humpolec Marugame Český Těšín Tianshui Port Harcourt Beroun Oldenburg Victoria Gero Ōmachi Daqing Ishinomaki Lößnitz Danang Cirebon Sukabumi Uherský Brod Murayama Muroran Hostinné Băile Tușnad Jayapura Makó Szerencs Jászberény Shijiazhuang Năvodari Ichikawa Tongling Garachico Trutnov Taizhou Lőrinci Horní Bříza Omaha Milevsko Nanao Jēkabpils Herend Nagykáta Cisnădie Litovel Zhangjiakou Gyula Nyírbátor Kaminoyama Šumperk Toda Nagykőrös Sakado Zirc Matsudo Tsuruoka Érd Tălmaciu Rakovník Staré Město Mudanjiang Kahoku Samarinda Balatonalmádi Yiyang Tokyo Yichang Satsumasendai Skalná Králíky Budyně nad Ohří Toride Tenri Bengbu Baktalórántháza Veresegyház Banda Aceh Otrokovice Szentes Biratnagar Nagyatád Maglód Deyang Horšovský Týn Schwarzenberg Vinaròs Changsha Shantou Nymburk Téglás Kostelec nad Orlicí Zhenjiang Tahara Heihe Frýdlant nad Ostravicí Huai'an Hegang Higashihiroshima Mishima Létavértes Liuzhou Visegrád Kapuvár Alghero Heyuan Mezőberény Tata Ulsan Celldömölk Záhony Calamba Zhumadian Třeboň Toyooka Ganzhou Cheb Vlăhița Kraslice Valenzuela Saint Helier Ineu Weihai Zamboanga City Stříbro Anshan Xuchang Vyškov Buštěhrad Măcin Sakurai Techirghiol Kopřivnice Yantai Turnov Ivančice Bonyhád Miyakojima Paks Ōda Sparta Ouarzazate Izumisano Tandil Tótkomlós Shimada Tiszakécske Bzenec Dolní Benešov Tosu Kabul Szolnok Sukagawa Kuching Riyadh Saiki Târgu Neamț Felsőzsolca Palembang Sanuki Guiyang Ibrány Vigan Martonvásár Bystřice nad Pernštejnem Ciacova Siping Valašské Meziříčí Xining Shiyan Počátky Bottrop Město Albrechtice Nanping Florianópolis Kaga Kariya Žďár nad Sázavou Tiszavasvári Jiujiang Ludwigshafen Sodegaura Hodonín Quanzhou Ústí nad Orlicí Cape Coast Imabari Vác Kutná Hora Wolkenstein Thum Zalalövő Lahnstein Sezimovo Ústí Fukuoka Sebiș Klatovy Berettyóújfalu Șimleu Silvaniei Inuyama Tiszaújváros Zhanjiang Kusatsu, Shiga Torgau Haiphong Rousínov Sedlčany Békéscsaba Aš Tsu Heidelberg Cavite City Komárom Nanning Zalakaros Sásd Cebu City Oakland Harkány Solt Ikeda Kunszentmiklós Masuda Hluboká nad Vltavou Puerto de la Cruz Kunszentmárton Tamási Keszthely Mizil Penza Takehara Fujinomiya Túrkeve Zibo Bogor Budaörs Gyömrő Stanley Guang'an Sivas Battonya Jílové u Prahy Ștei Ürümqi Hikone Hanamaki Vaduz Simeria Bandung Pannonhalma Toba Bílovec Dačice Ōmihachiman Ílhavo Svitavy Dévaványa Vodňany Anyang Pápa Chrudim Teiuș Yingkou Hanzhong Znojmo Las Piñas Sanya Yamatotakada Cernavodă Putrajaya Tōkamachi Susono Monaco Nago Kendari Fonyód Bük Kyjov Březnice Murfatlar Lipa Xinyang Fort Smith Poděbrady Batangas City Tapolca Liepāja Třebíč Kinshasa Carcassonne Pâncota Kiskunfélegyháza Lengyeltóti Iloilo City Orlová Suzu Covasna Jirkov Mosonmagyaróvár Waren (Müritz) Žatec Karlovo Brandýs nad Labem-Stará Boleslav Rosice Pecica Qinhuangdao Sondershausen Weinan Wellington Benešov nad Ploučnicí Kurobe Dodoma Tongliao Kayes Rizhao Freiberg Kota Kinabalu Vrbno pod Pradědem Vrchlabí Békés Meldorf Tábor Takaoka Slavkov u Brna Fukaya Elek Mihara Kralupy nad Vltavou Yogyakarta Rēzekne Sellye Quezon City Takayama Jiaozuo Trmice Kiskunhalas Szigethalom Villány Oroszlány Česká Třebová Várpalota Rotava Lanškroun Quito San Pablo Pucioasa Bicske Fujioka Comarnic Olongapo Doha Gibraltar Frauenstein San Juan Kurayoshi Sorong Taizhou Wilhelmshaven Mianyang Pekanbaru Minamiashigara City Fremantle Třebechovice pod Orebem Gaborone Kamakura Kisvárda Otaru Ichihara Antananarivo Strmilov Amami Dandong Zhoushan Miki Mnichovo Hradiště Jablonné nad Orlicí Nichinan Baraolt Huzhou Handan Yueyang Potsdam Oral Minoh Dezhou Ranchi Sanming Nové Sedlo Shōbara Parañaque Hódmezővásárhely Ebetsu Dabas Tübingen Shimoda Baoji Nyergesújfalu Changde Kashiwazaki Szentgotthárd Liaoyang Xinxiang Lianyungang Mělník Neratovice Stochov Deta Kisarazu Obihiro Fryšták Saku Kaifeng Smolensk Dombóvár Hekinan Přimda Albufeira Fujimi Hildesheim Sátoraljaújhely Ventspils Jindřichův Hradec Chitose Hajdúdorog Wa Vălenii de Munte Braunschweig Derecske Cugir Litomyšl Fulnek Benalmádena Sânnicolau Mare Xiangyang Szigetszentmiklós Kamisu Tainai Miyoshi Enying Törökbálint Yamaguchi Ōgaki Mátészalka Regensburg Fujiyoshida Jablonec nad Jizerou Český Krumlov Mandaue Bystřice pod Hostýnem Iquique Port-au-Prince Zhuzhou Yichun Myōkō Františkovy Lázně Liaocheng Zimnicea Beppu Encs Shūnan Davao City Iida Pécsvárad Worms Kalocsa Tolna Coburg Přeštice Čelákovice Havlíčkův Brod Jeseník Changzhou Weimar Carthage Dagupan Sárospatak Guilin Luhačovice Speyer Bácsalmás Hârlău Nagahama Vratimov Aszód Guangyuan Gōtsu Tonghua Kerekegyháza Recaș Kazuno Valea lui Mihai Uozu Kozármisleny Miercurea Nirajului Bolhrad Soltvadkert Žirovnice Tiszaföldvár Heves Raspenava Xianyang Vsetín Rosenheim Polička Edmonton Singkawang Eisenach Kenderes Gárdony Nagakute Cegléd Bouaké Jinhua Kunming Puerto Princesa Kazincbarcika České Budějovice Fuzhou Jánoshalma Salto Ayabe Muñoz Oyama Emden Hanyū City Hévíz Iwata Sovata Nishio Baguio Morioka Lucknow Suwa Toyokawa Fertőd Tachov Chaoyang Elterlein Sümeg Makati Ōmuta, Fukuoka Jiamusi Bátaszék Mórahalom Miyazu Hajdúnánás Balassagyarmat Kardašova Řečice Anqing Panjin Pforzheim Košťany General Santos Terezín Seto Jining Ōme Handa Zábřeh Sumoto Făget Kamo Dobřany Augsburg Kosmonosy Shirakawa Mariánské Lázně Rýmařov Monbetsu Červený Kostelec Vysoké Mýto Yinchuan Musashino Jiayuguan City Chōfu Simontornya Jiaxing Hlučín Maizuru Hatsukaichi Kadoma Jičín Ostrov Weifang Yamatokōriyama Kiskunmajsa Wollongong Suzuka Kuji Kitakami Straubing Kiskőrös Săcueni Jiříkov Ajka Orosháza Kushiro Scheibenberg Saginaw Medan Braga Aleșd Cagayan de Oro Szentendre Mbabane Barcs Chongzuo Nordhausen Mezőtúr Xiangtan Dunakeszi Fushun Mezőhegyes Muscat Százhalombatta Sucre Jablunkov Norden Szarvas Náchod Tanvald Roudnice nad Labem Shuangyashan Yamoussoukro Gyomaendrőd Balmazújváros Kitami Kolín Andorra la Vella Roxas Örkény Most Baiyin Kasaoka Naga Cristuru Secuiesc Wuhu Yasugi Valmiera Huangshan City Beihai Hakusan Komló Santa Rosa Karcag Kamogawa Muntinlupa Kameoka Sarkad Pinamar Yulin Zhuhai Taiyuan Ma'anshan Bangalore Mooka Siegen Lanzhou Kigali Luoyang Lhasa Hengyang Police nad Metují Obernkirchen Chaozhou Huludao Balatonföldvár Borsec Uherské Hradiště Tōgane Benxi Siklós Kisbér Wolfsburg Kiryū Gura Humorului Balatonboglár Haikou Lincang Sajószentpéter San Fernando Jimbolia Fürth Uwajima Veszprém Izumo Shibukawa Kisújszállás Mohács Ruhla Schneeberg, Saxony Csenger Zhongshan Tatabánya Nemuro Baja Pilisvörösvár Zushi Daejeon Sayda Urayasu Ibbenbüren Brand-Erbisdorf Naruto Annaberg-Buchholz Litvínov Szekszárd Petrila Salgótarján Suihua Hino City Ōtake Strakonice Hagi Tsuchiura Kamaishi Blatná Kadarkút Iwakuni Ontario Yellowknife Zlaté Hory Atami Kaposvár Bacolod Bohumín Podbořany Říčany Lenti Tachikawa City Schmalkalden Ráckeve Dubí Přibyslav Shizuishan Hajdúböszörmény Ehingen Sopron Vasvár Hatvan Sárvár Blansko Broumov Hohenstein-Ernstthal Vecsés Pasadena Horní Slavkov Bamberg Brandenburg an der Havel Zamárdi Cotabato City Zărnești Praia Salzgitter Shaoxing Antofagasta Ueda Bílina Shijōnawate Žamberk Mezőkövesd Nanchang Năsăud Pasay Fujisawa Kumano Nagai Nabari Písek Iwanuma Auerbach in der Oberpfalz Balatonfüred Sângeorgiu de Pădure Viseu Hürth Letovice Tōno Xiaogan Slaný Aue Brtnice Baghdad Mór Jaipur Nagybajom Csongrád Tangshan Tacloban Tokaj Unnan Kempten Kaplice Gyöngyös Hamada Higashiōmi Higashimurayama Yonago Las Vegas Baoding Náměšť nad Oslavou Yaizu Agadir Poběžovice Loket Nepomuk Zhengzhou Edelény Jilin City Tab Šternberk Studénka Sekondi-Takoradi Bicaz Jiangmen Kravaře Mezőcsát Tai'an Ozamiz Itō Flămânzi Bóly Sakaiminato Tokushima Vítkov Lucena Kaba Sinaia Nanjing Kdyně
České Budějovice, Třebíč and Potsdam are twin town of around the same number of administrative territories or administrative territories as Trutnov
České Budějovice Třebíč Potsdam
action approx
action union
action find_tuple_counts
relation sister city
type city
type designation for an administrative territorial entity
action find_tuple_counts
relation sister city
type city
type administrative territorial entity
action count
action filter_multi_types
action find
entity Trutnov
relation sister city
type designation for an administrative territorial entity
type administrative territorial entity
[{'concept': 'city'}, 'sister city', [{'concept': 'designation for an administrative territorial entity'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?k ) ?o WHERE { { ?o property:sister_city ?y . ?o rdf:type ontology:city . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?o property:sister_city ?y . ?y rdf:type ontology:administrative_territorial_entity . ?o rdf:type ontology:city } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?g ) WHERE { resource:Trutnov property:sister_city ?d . { ?d rdf:type ?v . VALUES ( ?v ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } } } } . FILTER ( ?k = ?g ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q33 Q1064483
P20
Q502895
USER
How many people expired at Finland or prone position ?
(c(Q502895),P20,Q33) (c(Q502895),P20,Q1064483)
action count
action union
action filter_type
action find_reverse
entity Q33
relation P20
type Q502895
action filter_type
action find_reverse
entity Q1064483
relation P20
type Q502895
[{'concept': 'Q502895'}, 'P20', 'Q33'] [{'concept': 'Q502895'}, 'P20', 'Q1064483']
SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) WHERE { { ?j property:P20 resource:Q33 . ?j rdf:type ontology:Q502895 } UNION { ?j property:P20 resource:Q1064483 . ?j rdf:type ontology:Q502895 } }
Finland prone position
action count
action union
action filter_type
action find_reverse
entity Finland
relation place of death
type common name
action filter_type
action find_reverse
entity prone position
relation place of death
type common name
[{'concept': 'common name'}, 'place of death', 'Finland'] [{'concept': 'common name'}, 'place of death', 'prone position']
SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) WHERE { { ?j property:place_of_death resource:Finland . ?j rdf:type ontology:common_name } UNION { ?j property:place_of_death resource:prone_position . ?j rdf:type ontology:common_name } }
[]
common name
SYSTEM
18
Q24378006 Q4349174 Q2043093 Q1990943 Q2662897 Q1369843 Q432277 Q23798785 Q5397850 Q5735738 Q7190006 Q7121507 Q3376988 Q2756498 Q155856 Q4180649 Q4215510 Q3437139
(c(Q502895),P20,Q33) (c(Q502895),P20,Q1064483)
action count
action union
action filter_type
action find_reverse
entity Q33
relation P20
type Q502895
action filter_type
action find_reverse
entity Q1064483
relation P20
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P20', 'Q33'] [{'concept': 'Q502895'}, 'P20', 'Q1064483']
SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) WHERE { { ?j property:P20 resource:Q33 . ?j rdf:type ontology:Q502895 } UNION { ?j property:P20 resource:Q1064483 . ?j rdf:type ontology:Q502895 } }
Arkadiy Press Benedict Zilliacus Tor Nessling Nikolai Gerard Pavel Gerdt Wladimir Alexandrowitsch Boeckmann Lauri Rapala Iivari Rötkö Lauri Nurminen Herbert Taylor MacPherson Pia Ravenna Paavo Piironen Peter von Bagh Gunnar Åström Peter Clodt von Jürgensburg Alexander Zhitinsky Kari Karnakoski Martin Nürenbach
18
action count
action union
action filter_type
action find_reverse
entity Finland
relation place of death
type common name
action filter_type
action find_reverse
entity prone position
relation place of death
type common name
[{'concept': 'common name'}, 'place of death', 'Finland'] [{'concept': 'common name'}, 'place of death', 'prone position']
SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) WHERE { { ?j property:place_of_death resource:Finland . ?j rdf:type ontology:common_name } UNION { ?j property:place_of_death resource:prone_position . ?j rdf:type ontology:common_name } }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q2540702 Q148
P530 P17
Q15617994
USER
Which administrative territories have diplomatic relations with People's Republic of China and are not West-Coastal Maranhão present in ?
AND((Q148,P530,c(Q15617994)), NOT((Q2540702,P17,c(Q15617994))))
action filter_type
action difference
action find
entity Q148
relation P530
action find
entity Q2540702
relation P17
type Q15617994
{'AND': [['Q148', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q2540702', 'P17', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Q148 property:P530 ?r . FILTER NOT EXISTS { resource:Q2540702 property:P17 ?r } . ?r rdf:type ontology:Q15617994 }
West-Coastal Maranhão People's Republic of China
action filter_type
action difference
action find
entity People's Republic of China
relation diplomatic relation
action find
entity West-Coastal Maranhão
relation country
type designation for an administrative territorial entity
{'AND': [["People's Republic of China", 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['West-Coastal Maranhão', 'country', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?r WHERE { resource:People's_Republic_of_China property:diplomatic_relation ?r . FILTER NOT EXISTS { resource:West-Coastal_Maranhão property:country ?r } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q711 Q159 Q801 Q1011 Q30 Q34020 Q805 Q403 Q38
SYSTEM
Mongolia, Russia, Israel, Cape Verde, United States of America, Niue, Yemen, Serbia, Italy
Q711 Q159 Q801 Q1011 Q30 Q34020 Q805 Q403 Q38
AND((Q148,P530,c(Q15617994)), NOT((Q2540702,P17,c(Q15617994))))
action filter_type
action difference
action find
entity Q148
relation P530
action find
entity Q2540702
relation P17
type Q15617994
[ANSWERS] have diplomatic relations with People's Republic of China and are not West-Coastal Maranhão present in
{'AND': [['Q148', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q2540702', 'P17', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?r WHERE { resource:Q148 property:P530 ?r . FILTER NOT EXISTS { resource:Q2540702 property:P17 ?r } . ?r rdf:type ontology:Q15617994 }
Mongolia Russia Israel Cape Verde United States of America Niue Yemen Serbia Italy
Mongolia, Russia, Israel, Cape Verde, United States of America, Niue, Yemen, Serbia and Italy have diplomatic relations with People's Republic of China and are not West-Coastal Maranhão present in
Mongolia Russia Israel Cape Verde United States of America Niue Yemen Serbia Italy
action filter_type
action difference
action find
entity People's Republic of China
relation diplomatic relation
action find
entity West-Coastal Maranhão
relation country
type designation for an administrative territorial entity
{'AND': [["People's Republic of China", 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['West-Coastal Maranhão', 'country', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?r WHERE { resource:People's_Republic_of_China property:diplomatic_relation ?r . FILTER NOT EXISTS { resource:West-Coastal_Maranhão property:country ?r } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q6163975
P530
Q15617994
USER
Do Jasper Independent School District have diplomatic relations with those ones ?
(Q6163975,P530,Q711) (Q6163975,P530,Q159) (Q6163975,P530,Q801) (Q6163975,P530,Q1011) (Q6163975,P530,Q30) (Q6163975,P530,Q34020) (Q6163975,P530,Q805) (Q6163975,P530,Q403) (Q6163975,P530,Q38)
action is_in
entity prev_answer
action find
entity Q6163975
relation P530
['Q6163975', 'P530', 'Q711'] ['Q6163975', 'P530', 'Q159'] ['Q6163975', 'P530', 'Q801'] ['Q6163975', 'P530', 'Q1011'] ['Q6163975', 'P530', 'Q30'] ['Q6163975', 'P530', 'Q34020'] ['Q6163975', 'P530', 'Q805'] ['Q6163975', 'P530', 'Q403'] ['Q6163975', 'P530', 'Q38']
ASK WHERE { resource:Q6163975 property:P530 ?f . VALUES ( ?f ) { ( resource:Q711 ) ( resource:Q159 ) ( resource:Q801 ) } }
Jasper Independent School District
action is_in
entity prev_answer
action find
entity Jasper Independent School District
relation diplomatic relation
['Jasper Independent School District', 'diplomatic relation', 'Mongolia'] ['Jasper Independent School District', 'diplomatic relation', 'Russia'] ['Jasper Independent School District', 'diplomatic relation', 'Israel'] ['Jasper Independent School District', 'diplomatic relation', 'Cape Verde'] ['Jasper Independent School District', 'diplomatic relation', 'United States of America'] ['Jasper Independent School District', 'diplomatic relation', 'Niue'] ['Jasper Independent School District', 'diplomatic relation', 'Yemen'] ['Jasper Independent School District', 'diplomatic relation', 'Serbia'] ['Jasper Independent School District', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Jasper_Independent_School_District property:diplomatic_relation ?f . VALUES ( ?f ) { ( resource:Mongolia ) ( resource:Russia ) ( resource:Israel ) } }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q6163975,P530,Q711) (Q6163975,P530,Q159) (Q6163975,P530,Q801) (Q6163975,P530,Q1011) (Q6163975,P530,Q30) (Q6163975,P530,Q34020) (Q6163975,P530,Q805) (Q6163975,P530,Q403) (Q6163975,P530,Q38)
action is_in
entity prev_answer
action find
entity Q6163975
relation P530
[ANSWER]
['Q6163975', 'P530', 'Q711'] ['Q6163975', 'P530', 'Q159'] ['Q6163975', 'P530', 'Q801'] ['Q6163975', 'P530', 'Q1011'] ['Q6163975', 'P530', 'Q30'] ['Q6163975', 'P530', 'Q34020'] ['Q6163975', 'P530', 'Q805'] ['Q6163975', 'P530', 'Q403'] ['Q6163975', 'P530', 'Q38']
ASK WHERE { resource:Q6163975 property:P530 ?f . VALUES ( ?f ) { ( resource:Q711 ) ( resource:Q159 ) ( resource:Q801 ) } }
No
action is_in
entity prev_answer
action find
entity Jasper Independent School District
relation diplomatic relation
['Jasper Independent School District', 'diplomatic relation', 'Mongolia'] ['Jasper Independent School District', 'diplomatic relation', 'Russia'] ['Jasper Independent School District', 'diplomatic relation', 'Israel'] ['Jasper Independent School District', 'diplomatic relation', 'Cape Verde'] ['Jasper Independent School District', 'diplomatic relation', 'United States of America'] ['Jasper Independent School District', 'diplomatic relation', 'Niue'] ['Jasper Independent School District', 'diplomatic relation', 'Yemen'] ['Jasper Independent School District', 'diplomatic relation', 'Serbia'] ['Jasper Independent School District', 'diplomatic relation', 'Italy']
ASK WHERE { resource:Jasper_Independent_School_District property:diplomatic_relation ?f . VALUES ( ?f ) { ( resource:Mongolia ) ( resource:Russia ) ( resource:Israel ) } }
[]