Simple Question (Direct)
Simple Question
Q1222776
P102
Q7278
USER
Which political party is Dieter Schmitt a member of ?
(Q1222776,P102,c(Q7278))
action filter_type
action find
entity Q1222776
relation P102
type Q7278
['Q1222776', 'P102', {'concept': 'Q7278'}]
SELECT DISTINCT ?r WHERE { resource:Q1222776 property:P102 ?r . ?r rdf:type ontology:Q7278 }
Dieter Schmitt
action filter_type
action find
entity Dieter Schmitt
relation member of political party
type political party
['Dieter Schmitt', 'member of political party', {'concept': 'political party'}]
SELECT DISTINCT ?r WHERE { resource:Dieter_Schmitt property:member_of_political_party ?r . ?r rdf:type ontology:political_party }
[]
political party
Q49762
SYSTEM
Christian Democratic Union
Q49762
(Q1222776,P102,c(Q7278))
action filter_type
action find
entity Q1222776
relation P102
type Q7278
Party [ANSWER] is Dieter Schmitt a member of
['Q1222776', 'P102', {'concept': 'Q7278'}]
SELECT DISTINCT ?r WHERE { resource:Q1222776 property:P102 ?r . ?r rdf:type ontology:Q7278 }
Christian Democratic Union
Party Christian Democratic Union is Dieter Schmitt a member of
Christian Democratic Union
action filter_type
action find
entity Dieter Schmitt
relation member of political party
type political party
['Dieter Schmitt', 'member of political party', {'concept': 'political party'}]
SELECT DISTINCT ?r WHERE { resource:Dieter_Schmitt property:member_of_political_party ?r . ?r rdf:type ontology:political_party }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1222776
P710
Q1499496
USER
Which German presidential elections have that person as their participant ?
(c(Q1499496),P710,Q49762)
action filter_type
action find_reverse
entity Q1222776
relation P710
type Q1499496
[{'concept': 'Q1499496'}, 'P710', 'Q49762']
SELECT DISTINCT ?t WHERE { ?t property:P710 resource:Q1222776 . ?t rdf:type ontology:Q1499496 }
Dieter Schmitt
action filter_type
action find_reverse
entity Dieter Schmitt
relation participant
type German presidential election
[{'concept': 'German presidential election'}, 'participant', 'Christian Democratic Union']
SELECT DISTINCT ?t WHERE { ?t property:participant resource:Dieter_Schmitt . ?t rdf:type ontology:German_presidential_election }
[]
German presidential election
Q451110 Q314532
SYSTEM
German presidential election, 1999, German presidential election, 2004
Q451110 Q314532
(c(Q1499496),P710,Q49762)
action filter_type
action find_reverse
entity Q1222776
relation P710
type Q1499496
[ANSWERS]
[{'concept': 'Q1499496'}, 'P710', 'Q49762']
SELECT DISTINCT ?t WHERE { ?t property:P710 resource:Q1222776 . ?t rdf:type ontology:Q1499496 }
German presidential election, 1999 German presidential election, 2004
German presidential election, 1999 and German presidential election, 2004 have that person as their participant
German presidential election, 1999 German presidential election, 2004
action filter_type
action find_reverse
entity Dieter Schmitt
relation participant
type German presidential election
[{'concept': 'German presidential election'}, 'participant', 'Christian Democratic Union']
SELECT DISTINCT ?t WHERE { ?t property:participant resource:Dieter_Schmitt . ?t rdf:type ontology:German_presidential_election }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q21900360 Q1222776
P27 P17
Q1048835
USER
Which political territories are the countries of citizenship of Dieter Schmitt or do Tates Range belong to ?
OR((Q1222776,P27,c(Q1048835)), (Q21900360,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q1222776
relation P27
action find
entity Q21900360
relation P17
type Q1048835
{'OR': [['Q1222776', 'P27', {'concept': 'Q1048835'}], ['Q21900360', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q21900360 property:P17 ?s } UNION { resource:Q1222776 property:P27 ?s } } . ?s rdf:type ontology:Q1048835 }
Tates Range Dieter Schmitt
action filter_type
action union
action find
entity Dieter Schmitt
relation country of citizenship
action find
entity Tates Range
relation country
type political territorial entity
{'OR': [['Dieter Schmitt', 'country of citizenship', {'concept': 'political territorial entity'}], ['Tates Range', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Tates_Range property:country ?s } UNION { resource:Dieter_Schmitt property:country_of_citizenship ?s } } . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q408 Q183
SYSTEM
Australia, Germany
Q408 Q183
OR((Q1222776,P27,c(Q1048835)), (Q21900360,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q1222776
relation P27
action find
entity Q21900360
relation P17
type Q1048835
[ANSWERS] are the countries of citizenship of Dieter Schmitt or do Tates Range belong to
{'OR': [['Q1222776', 'P27', {'concept': 'Q1048835'}], ['Q21900360', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q21900360 property:P17 ?s } UNION { resource:Q1222776 property:P27 ?s } } . ?s rdf:type ontology:Q1048835 }
Australia Germany
Australia and Germany are the countries of citizenship of Dieter Schmitt or do Tates Range belong to
Australia Germany
action filter_type
action union
action find
entity Dieter Schmitt
relation country of citizenship
action find
entity Tates Range
relation country
type political territorial entity
{'OR': [['Dieter Schmitt', 'country of citizenship', {'concept': 'political territorial entity'}], ['Tates Range', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Tates_Range property:country ?s } UNION { resource:Dieter_Schmitt property:country_of_citizenship ?s } } . ?s rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q35
P530
Q1048835 Q15617994 Q1048835
USER
Which political territories are known to have diplomatic connections with lesser number of political territories or administrative territories than Denmark ?
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q35
relation P530
type Q1048835
type Q15617994
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?z ) AS ?b ) WHERE { VALUES ( ?c ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } . ?z rdf:type ?c } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?e ) WHERE { { { ?l rdf:type ontology:Q15617994 } UNION { ?l rdf:type ontology:Q1048835 } } . resource:Q35 property:P530 ?l } } . FILTER ( ?b < ?e ) }
Denmark
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Denmark
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?z ) AS ?b ) WHERE { VALUES ( ?c ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } . ?z rdf:type ?c } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?e ) WHERE { { { ?l rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?l rdf:type ontology:political_territorial_entity } } . resource:Denmark property:diplomatic_relation ?l } } . FILTER ( ?b < ?e ) }
[]
political territorial entity designation for an administrative territorial entity political territorial entity
Q664 Q1000 Q769
SYSTEM
New Zealand, Gabon, Grenada
Q1000 Q781 Q778 Q769 Q685 Q691 Q664 Q766
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q35
relation P530
type Q1048835
type Q15617994
[ANSWERS] are known to have diplomatic connections with lesser number of political territories or administrative territories than Denmark
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?z ) AS ?b ) WHERE { VALUES ( ?c ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } . ?z rdf:type ?c } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?e ) WHERE { { { ?l rdf:type ontology:Q15617994 } UNION { ?l rdf:type ontology:Q1048835 } } . resource:Q35 property:P530 ?l } } . FILTER ( ?b < ?e ) }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Papua New Guinea New Zealand Jamaica
New Zealand, Gabon and Grenada are known to have diplomatic connections with lesser number of political territories or administrative territories than Denmark
New Zealand Gabon Grenada
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Denmark
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?z ) AS ?b ) WHERE { VALUES ( ?c ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } . ?z rdf:type ?c } GROUP BY ?n } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?e ) WHERE { { { ?l rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?l rdf:type ontology:political_territorial_entity } } . resource:Denmark property:diplomatic_relation ?l } } . FILTER ( ?b < ?e ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q40
P530
Q1048835 Q15617994 Q1048835
USER
And what about Austria?
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q40
relation P530
type Q1048835
type Q15617994
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) ?p WHERE { VALUES ( ?j ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?i rdf:type ?j } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?n ) WHERE { { VALUES ( ?r ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?e rdf:type ?r } . resource:Q40 property:P530 ?e } } . FILTER ( ?v < ?n ) }
Austria
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Austria
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) ?p WHERE { VALUES ( ?j ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?i rdf:type ?j } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?n ) WHERE { { VALUES ( ?r ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?e rdf:type ?r } . resource:Austria property:diplomatic_relation ?e } } . FILTER ( ?v < ?n ) }
[]
political territorial entity designation for an administrative territorial entity political territorial entity
Q35 Q664 Q1000
SYSTEM
Denmark, New Zealand, Gabon
Q1000 Q781 Q778 Q769 Q685 Q35 Q691 Q664 Q766
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q40
relation P530
type Q1048835
type Q15617994
[ANSWERS]
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) ?p WHERE { VALUES ( ?j ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?i rdf:type ?j } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?n ) WHERE { { VALUES ( ?r ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?e rdf:type ?r } . resource:Q40 property:P530 ?e } } . FILTER ( ?v < ?n ) }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea New Zealand Jamaica
Denmark New Zealand Gabon
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Austria
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?v ) ?p WHERE { VALUES ( ?j ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?i rdf:type ?j } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?n ) WHERE { { VALUES ( ?r ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?e rdf:type ?r } . resource:Austria property:diplomatic_relation ?e } } . FILTER ( ?v < ?n ) }
[]
Clarification
Simple Question|Single Entity|Indirect
Q1000
P30
Q2221906
USER
Where is that political territory located ?
(Q1000,P30,c(Q2221906))
action filter_type
action find
entity Q1000
relation P30
type Q2221906
['Q1000', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?u WHERE { resource:Q1000 property:P30 ?u . ?u rdf:type ontology:Q2221906 }
Gabon
action filter_type
action find
entity Gabon
relation continent
type geographic location
['Gabon', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?u WHERE { resource:Gabon property:continent ?u . ?u rdf:type ontology:geographic_location }
[]
geographic location
Clarification for simple ques.
Q35
SYSTEM
Did you mean Denmark ?
Q35 Q664 Q1000
(Q35,P30,c(Q2221906)) (Q664,P30,c(Q2221906)) (Q1000,P30,c(Q2221906))
[ANSWER]
['Q35', 'P30', {'concept': 'Q2221906'}] ['Q664', 'P30', {'concept': 'Q2221906'}] ['Q1000', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?u WHERE { resource:Q1000 property:P30 ?u . ?u rdf:type ontology:Q2221906 }
Denmark New Zealand Gabon
Did you mean Denmark ?
Denmark
['Denmark', 'continent', {'concept': 'geographic location'}] ['New Zealand', 'continent', {'concept': 'geographic location'}] ['Gabon', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?u WHERE { resource:Gabon property:continent ?u . ?u rdf:type ontology:geographic_location }
[]
Simple Question (Coreferenced)
USER
No, I meant Gabon. Could you tell me the answer for that?
(Q1000,P30,c(Q2221906))
Q1000
['Q1000', 'P30', {'concept': 'Q2221906'}]
['Gabon', 'continent', {'concept': 'geographic location'}]
[]
Q15
SYSTEM
Africa
Q15
(Q1000,P30,c(Q2221906))
action filter_type
action find
entity Q1000
relation P30
type Q2221906
That political territory is located in [ANSWER]
['Q1000', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?u WHERE { resource:Q1000 property:P30 ?u . ?u rdf:type ontology:Q2221906 }
Africa
That political territory is located in Africa
Africa
action filter_type
action find
entity Gabon
relation continent
type geographic location
['Gabon', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?u WHERE { resource:Gabon property:continent ?u . ?u rdf:type ontology:geographic_location }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type|Indirect
P30
Q15617994
USER
How many administrative territories have their location in that geographic location ?
(c(Q15617994),P30,Q15)
action count
action filter_type
action find_reverse
entity Q15
relation P30
type Q15617994
[{'concept': 'Q15617994'}, 'P30', 'Q15']
SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { ?f rdf:type ontology:Q15617994 . ?f property:P30 resource:Q15 }
action count
action filter_type
action find_reverse
entity Africa
relation continent
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'continent', 'Africa']
SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f property:continent resource:Africa }
[]
designation for an administrative territorial entity
SYSTEM
59
Q986 Q983 Q965 Q967 Q962 Q963 Q977 Q974 Q971 Q970 Q948 Q945 Q958 Q924 Q912 Q916 Q1027 Q1020 Q1029 Q1028 Q1036 Q1032 Q1033 Q1030 Q1039 Q1007 Q1006 Q1005 Q1009 Q1019 Q1016 Q1011 Q1013 Q657 Q1042 Q1041 Q1050 Q160307 Q262 Q258 Q12536 Q1025 Q142 Q1008 Q954 Q953 Q115 Q114 Q117 Q1014 Q929 Q8575586 Q129003 Q29 Q1037 Q79 Q1044 Q1045 Q1049
(c(Q15617994),P30,Q15)
action count
action filter_type
action find_reverse
entity Q15
relation P30
type Q15617994
[ANSWER]
[{'concept': 'Q15617994'}, 'P30', 'Q15']
SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { ?f rdf:type ontology:Q15617994 . ?f property:P30 resource:Q15 }
Eritrea Equatorial Guinea Burkina Faso Burundi Benin Botswana Djibouti Democratic Republic of the Congo Republic of the Congo Comoros Tunisia Togo South Sudan Tanzania Mali Angola Mauritius Malawi Mozambique Morocco Uganda Niger Nigeria Namibia Sao Tomé and Príncipe Guinea-Bissau Guinea Gambia Cameroon Madagascar Libya Cape Verde Lesotho Chad Seychelles Senegal Swaziland Fatimid caliphate Algeria South Africa Abbasid caliphate Mauritania France Côte d'Ivoire Zimbabwe Zambia Ethiopia Kenya Ghana Liberia Central African Republic Umayyad Caliphate French Southern and Antarctic Lands Spain Rwanda Egypt Sierra Leone Somalia Sudan
59
action count
action filter_type
action find_reverse
entity Africa
relation continent
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'continent', 'Africa']
SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity . ?f property:continent resource:Africa }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15
P361
Q16889133
USER
Which class is that geographic location a component of ?
action filter_type
action find
entity Q15
relation P361
type Q16889133
SELECT DISTINCT ?c WHERE { resource:Q15 property:P361 ?c . ?c rdf:type ontology:Q16889133 }
Africa
action filter_type
action find
entity Africa
relation part of
type class
SELECT DISTINCT ?c WHERE { resource:Africa property:part_of ?c . ?c rdf:type ontology:class }
[]
class
Q2
SYSTEM
Earth
Q2
action filter_type
action find
entity Q15
relation P361
type Q16889133
The [ANSWER] is that geographic location a component of
SELECT DISTINCT ?c WHERE { resource:Q15 property:P361 ?c . ?c rdf:type ontology:Q16889133 }
Earth
The Earth is that geographic location a component of
Earth
action filter_type
action find
entity Africa
relation part of
type class
SELECT DISTINCT ?c WHERE { resource:Africa property:part_of ?c . ?c rdf:type ontology:class }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P190
Q13220204 Q56061 Q1048835
USER
Which political territories are twin city of exactly 11 administrative country subdivisions and administrative territories ?
(c(Q1048835),P190,c(Q13220204)|c(Q56061))
action equal
action union
action find_tuple_counts
relation P190
type Q1048835
type Q13220204
action find_tuple_counts
relation P190
type Q1048835
type Q56061
value 11
[{'concept': 'Q1048835'}, 'P190', [{'concept': 'Q13220204'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) ?w WHERE { { ?w property:P190 ?q . ?w rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q13220204 } UNION { ?w property:P190 ?q . ?w rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q56061 } } GROUP BY ?w } . FILTER ( ?d = 11 ) }
action equal
action union
action find_tuple_counts
relation sister city
type political territorial entity
type second-level administrative country subdivision
action find_tuple_counts
relation sister city
type political territorial entity
type administrative territorial entity
value 11
[{'concept': 'political territorial entity'}, 'sister city', [{'concept': 'second-level administrative country subdivision'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) ?w WHERE { { ?w property:sister_city ?q . ?w rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:second-level_administrative_country_subdivision } UNION { ?w property:sister_city ?q . ?w rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:administrative_territorial_entity } } GROUP BY ?w } . FILTER ( ?d = 11 ) }
[]
second-level administrative country subdivision administrative territorial entity political territorial entity
Q11746
SYSTEM
Wuhan
Q11746
(c(Q1048835),P190,c(Q13220204)|c(Q56061))
action equal
action union
action find_tuple_counts
relation P190
type Q1048835
type Q13220204
action find_tuple_counts
relation P190
type Q1048835
type Q56061
value 11
[ANSWER] is twin city of exactly 11 administrative country subdivisions and administrative territories
[{'concept': 'Q1048835'}, 'P190', [{'concept': 'Q13220204'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) ?w WHERE { { ?w property:P190 ?q . ?w rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q13220204 } UNION { ?w property:P190 ?q . ?w rdf:type ontology:Q1048835 . ?q rdf:type ontology:Q56061 } } GROUP BY ?w } . FILTER ( ?d = 11 ) }
Wuhan
Wuhan is twin city of exactly 11 administrative country subdivisions and administrative territories
Wuhan
action equal
action union
action find_tuple_counts
relation sister city
type political territorial entity
type second-level administrative country subdivision
action find_tuple_counts
relation sister city
type political territorial entity
type administrative territorial entity
value 11
[{'concept': 'political territorial entity'}, 'sister city', [{'concept': 'second-level administrative country subdivision'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?d ) ?w WHERE { { ?w property:sister_city ?q . ?w rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:second-level_administrative_country_subdivision } UNION { ?w property:sister_city ?q . ?w rdf:type ontology:political_territorial_entity . ?q rdf:type ontology:administrative_territorial_entity } } GROUP BY ?w } . FILTER ( ?d = 11 ) }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q11746 Q21002210 Q38022
P190
Q56061
USER
Is that political territory twin city of Zādzene and St. Louis ?
(Q11746,P190,Q21002210) (Q11746,P190,Q38022)
action is_in
entity Q11746
action intersection
action find_reverse
entity Q21002210
relation P190
action find_reverse
entity Q38022
relation P190
['Q11746', 'P190', 'Q21002210'] ['Q11746', 'P190', 'Q38022']
ASK WHERE { resource:Q11746 property:P190 resource:Q21002210 . resource:Q11746 property:P190 resource:Q38022 }
Wuhan Zādzene St. Louis
action is_in
entity Wuhan
action intersection
action find_reverse
entity Zādzene
relation sister city
action find_reverse
entity St. Louis
relation sister city
['Wuhan', 'sister city', 'Zādzene'] ['Wuhan', 'sister city', 'St. Louis']
ASK WHERE { resource:Wuhan property:sister_city resource:Zādzene . resource:Wuhan property:sister_city resource:St._Louis }
[]
administrative territorial entity
SYSTEM
NO and YES respectively
(Q11746,P190,Q21002210) (Q11746,P190,Q38022)
action is_in
entity Q11746
action intersection
action find_reverse
entity Q21002210
relation P190
action find_reverse
entity Q38022
relation P190
[ANSWER]
['Q11746', 'P190', 'Q21002210'] ['Q11746', 'P190', 'Q38022']
ASK WHERE { resource:Q11746 property:P190 resource:Q21002210 . resource:Q11746 property:P190 resource:Q38022 }
NO and YES respectively
action is_in
entity Wuhan
action intersection
action find_reverse
entity Zādzene
relation sister city
action find_reverse
entity St. Louis
relation sister city
['Wuhan', 'sister city', 'Zādzene'] ['Wuhan', 'sister city', 'St. Louis']
ASK WHERE { resource:Wuhan property:sister_city resource:Zādzene . resource:Wuhan property:sister_city resource:St._Louis }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q11746
P931
Q62447
USER
What city is served by Wuhan ?
(c(Q62447),P931,Q11746)
action filter_type
action find_reverse
entity Q11746
relation P931
type Q62447
[{'concept': 'Q62447'}, 'P931', 'Q11746']
SELECT DISTINCT ?x WHERE { ?x property:P931 resource:Q11746 . ?x rdf:type ontology:Q62447 }
Wuhan
action filter_type
action find_reverse
entity Wuhan
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'Wuhan']
SELECT DISTINCT ?x WHERE { ?x property:place_served_by_airport resource:Wuhan . ?x rdf:type ontology:aerodrome }
[]
aerodrome
Q601091
SYSTEM
Wuhan Tianhe International Airport
Q601091
(c(Q62447),P931,Q11746)
action filter_type
action find_reverse
entity Q11746
relation P931
type Q62447
Beijing [ANSWER] is served by Wuhan
[{'concept': 'Q62447'}, 'P931', 'Q11746']
SELECT DISTINCT ?x WHERE { ?x property:P931 resource:Q11746 . ?x rdf:type ontology:Q62447 }
Wuhan Tianhe International Airport
Beijing Wuhan Tianhe International Airport is served by Wuhan
Wuhan Tianhe International Airport
action filter_type
action find_reverse
entity Wuhan
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'Wuhan']
SELECT DISTINCT ?x WHERE { ?x property:place_served_by_airport resource:Wuhan . ?x rdf:type ontology:aerodrome }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q58537 Q15
P361 P30
Q2221906
USER
Which geographic locations are Africa a portion of or are Belene Cove located ?
OR((Q15,P361,c(Q2221906)), (Q58537,P30,c(Q2221906)))
action filter_type
action union
action find
entity Q15
relation P361
action find
entity Q58537
relation P30
type Q2221906
{'OR': [['Q15', 'P361', {'concept': 'Q2221906'}], ['Q58537', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q2221906 . { { resource:Q15 property:P361 ?q } UNION { resource:Q58537 property:P30 ?q } } }
Belene Cove Africa
action filter_type
action union
action find
entity Africa
relation part of
action find
entity Belene Cove
relation continent
type geographic location
{'OR': [['Africa', 'part of', {'concept': 'geographic location'}], ['Belene Cove', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:geographic_location . { { resource:Africa property:part_of ?q } UNION { resource:Belene_Cove property:continent ?q } } }
[]
geographic location
Q51 Q2035462
SYSTEM
Antarctica, Ostfeste
Q51 Q2035462
OR((Q15,P361,c(Q2221906)), (Q58537,P30,c(Q2221906)))
action filter_type
action union
action find
entity Q15
relation P361
action find
entity Q58537
relation P30
type Q2221906
Are [ANSWERS] are Africa a portion of or are Belene Cove located
{'OR': [['Q15', 'P361', {'concept': 'Q2221906'}], ['Q58537', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q2221906 . { { resource:Q15 property:P361 ?q } UNION { resource:Q58537 property:P30 ?q } } }
Antarctica Ostfeste
Are Antarctica and Ostfeste are Africa a portion of or are Belene Cove located
Antarctica Ostfeste
action filter_type
action union
action find
entity Africa
relation part of
action find
entity Belene Cove
relation continent
type geographic location
{'OR': [['Africa', 'part of', {'concept': 'geographic location'}], ['Belene Cove', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:geographic_location . { { resource:Africa property:part_of ?q } UNION { resource:Belene_Cove property:continent ?q } } }
[]