Simple Question (Direct)
Simple Question
Q3385205
P27
Q15617994
USER
Which administrative territory does Pierre Gicollet belong to ?
(Q3385205,P27,c(Q15617994))
action filter_type
action find
entity Q3385205
relation P27
type Q15617994
['Q3385205', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q3385205 property:P27 ?m . ?m rdf:type ontology:Q15617994 }
Pierre Gicollet
action filter_type
action find
entity Pierre Gicollet
relation country of citizenship
type designation for an administrative territorial entity
['Pierre Gicollet', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Pierre_Gicollet property:country_of_citizenship ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q3385205,P27,c(Q15617994))
action filter_type
action find
entity Q3385205
relation P27
type Q15617994
Pierre Gicollet belongs to [ANSWER]
['Q3385205', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q3385205 property:P27 ?m . ?m rdf:type ontology:Q15617994 }
France
Pierre Gicollet belongs to France
France
action filter_type
action find
entity Pierre Gicollet
relation country of citizenship
type designation for an administrative territorial entity
['Pierre Gicollet', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Pierre_Gicollet property:country_of_citizenship ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q3385205
P21
Q290
USER
What is the sex of Pierre Gicollet ?
(Q3385205,P21,c(Q290))
action filter_type
action find
entity Q3385205
relation P21
type Q290
['Q3385205', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?a WHERE { resource:Q3385205 property:P21 ?a . ?a rdf:type ontology:Q290 }
Pierre Gicollet
action filter_type
action find
entity Pierre Gicollet
relation gender
type sex
['Pierre Gicollet', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?a WHERE { resource:Pierre_Gicollet property:gender ?a . ?a rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q3385205,P21,c(Q290))
action filter_type
action find
entity Q3385205
relation P21
type Q290
The sex of Pierre Gicollet is the [ANSWER]
['Q3385205', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?a WHERE { resource:Q3385205 property:P21 ?a . ?a rdf:type ontology:Q290 }
male
The sex of Pierre Gicollet is the male
male
action filter_type
action find
entity Pierre Gicollet
relation gender
type sex
['Pierre Gicollet', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?a WHERE { resource:Pierre_Gicollet property:gender ?a . ?a rdf:type ontology:sex }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q6581097 Q1528127
P21
Q502895
USER
Is Joseph Appiani a that sex ?
(Q1528127,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q1528127
relation P21
['Q1528127', 'P21', 'Q6581097']
ASK WHERE { resource:Q1528127 property:P21 resource:Q6581097 }
male Joseph Appiani
action is_in
entity male
action find
entity Joseph Appiani
relation gender
['Joseph Appiani', 'gender', 'male']
ASK WHERE { resource:Joseph_Appiani property:gender resource:male }
[]
common name
SYSTEM
YES
(Q1528127,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q1528127
relation P21
[ANSWER]
['Q1528127', 'P21', 'Q6581097']
ASK WHERE { resource:Q1528127 property:P21 resource:Q6581097 }
Yes
action is_in
entity male
action find
entity Joseph Appiani
relation gender
['Joseph Appiani', 'gender', 'male']
ASK WHERE { resource:Joseph_Appiani property:gender resource:male }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q6581097
P180
Q340169
USER
Which media demonstrates that sex ?
action filter_type
action find_reverse
entity Q6581097
relation P180
type Q340169
SELECT DISTINCT ?v WHERE { ?v property:P180 resource:Q6581097 . ?v rdf:type ontology:Q340169 }
male
action filter_type
action find_reverse
entity male
relation depicts
type media
SELECT DISTINCT ?v WHERE { ?v property:depicts resource:male . ?v rdf:type ontology:media }
[]
media
Q20020115
SYSTEM
Portrait of a Young Man
Q20020115
action filter_type
action find_reverse
entity Q6581097
relation P180
type Q340169
[ANSWER] demonstrates that sex
SELECT DISTINCT ?v WHERE { ?v property:P180 resource:Q6581097 . ?v rdf:type ontology:Q340169 }
Portrait of a Young Man
Portrait of a Young Man demonstrates that sex
Portrait of a Young Man
action filter_type
action find_reverse
entity male
relation depicts
type media
SELECT DISTINCT ?v WHERE { ?v property:depicts resource:male . ?v rdf:type ontology:media }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q3385205
P54
Q12973014 Q618123
USER
How many sports teams and geographical objects are Pierre Gicollet a member of ?
(Q3385205,P54,c(Q12973014)) (Q3385205,P54,c(Q618123))
action count
action union
action filter_type
action find
entity Q3385205
relation P54
type Q12973014
action filter_type
action find
entity Q3385205
relation P54
type Q618123
['Q3385205', 'P54', {'concept': 'Q12973014'}] ['Q3385205', 'P54', {'concept': 'Q618123'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { ?t rdf:type ?z . VALUES ( ?z ) { ( ontology:Q12973014 ) ( ontology:Q618123 ) } }
Pierre Gicollet
action count
action union
action filter_type
action find
entity Pierre Gicollet
relation member of sports team
type sports team
action filter_type
action find
entity Pierre Gicollet
relation member of sports team
type geographical object
['Pierre Gicollet', 'member of sports team', {'concept': 'sports team'}] ['Pierre Gicollet', 'member of sports team', {'concept': 'geographical object'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { ?t rdf:type ?z . VALUES ( ?z ) { ( ontology:sports_team ) ( ontology:geographical_object ) } }
[]
sports team geographical object
SYSTEM
3 sports teams and 1 geographical objects
Q4075 Q2980067 Q1473503 Q1024459
(Q3385205,P54,c(Q12973014)) (Q3385205,P54,c(Q618123))
action count
action union
action filter_type
action find
entity Q3385205
relation P54
type Q12973014
action filter_type
action find
entity Q3385205
relation P54
type Q618123
[ANSWER]
['Q3385205', 'P54', {'concept': 'Q12973014'}] ['Q3385205', 'P54', {'concept': 'Q618123'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { ?t rdf:type ?z . VALUES ( ?z ) { ( ontology:Q12973014 ) ( ontology:Q618123 ) } }
Lyon OU CA Saint-Étienne Loire Sud Rugby SC Albi CS Bourgoin-Jallieu
3 sports teams and 1 geographical objects
action count
action union
action filter_type
action find
entity Pierre Gicollet
relation member of sports team
type sports team
action filter_type
action find
entity Pierre Gicollet
relation member of sports team
type geographical object
['Pierre Gicollet', 'member of sports team', {'concept': 'sports team'}] ['Pierre Gicollet', 'member of sports team', {'concept': 'geographical object'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { ?t rdf:type ?z . VALUES ( ?z ) { ( ontology:sports_team ) ( ontology:geographical_object ) } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q3339740 Q3385205
P54
Q12973014
USER
Which sports teams are Pierre Gicollet or Nick Evans a member of ?
OR((Q3385205,P54,c(Q12973014)), (Q3339740,P54,c(Q12973014)))
action filter_type
action union
action find
entity Q3385205
relation P54
action find
entity Q3339740
relation P54
type Q12973014
{'OR': [['Q3385205', 'P54', {'concept': 'Q12973014'}], ['Q3339740', 'P54', {'concept': 'Q12973014'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q12973014 . { VALUES ( ?i ) { ( resource:Q3385205 ) ( resource:Q3339740 ) } . ?i property:P54 ?t } }
Nick Evans Pierre Gicollet
action filter_type
action union
action find
entity Pierre Gicollet
relation member of sports team
action find
entity Nick Evans
relation member of sports team
type sports team
{'OR': [['Pierre Gicollet', 'member of sports team', {'concept': 'sports team'}], ['Nick Evans', 'member of sports team', {'concept': 'sports team'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:sports_team . { VALUES ( ?i ) { ( resource:Pierre_Gicollet ) ( resource:Nick_Evans ) } . ?i property:member_of_sports_team ?t } }
[]
sports team
Q670376 Q1024459 Q692417 Q1060978 Q2980067 Q4075
SYSTEM
Arizona Diamondbacks, CS Bourgoin-Jallieu, New York Mets, Brooklyn Cyclones, CA Saint-Étienne Loire Sud Rugby, Lyon OU
Q670376 Q1024459 Q692417 Q1060978 Q2980067 Q4075
OR((Q3385205,P54,c(Q12973014)), (Q3339740,P54,c(Q12973014)))
action filter_type
action union
action find
entity Q3385205
relation P54
action find
entity Q3339740
relation P54
type Q12973014
[ANSWERS] are Pierre Gicollet or Nick Evans a member of
{'OR': [['Q3385205', 'P54', {'concept': 'Q12973014'}], ['Q3339740', 'P54', {'concept': 'Q12973014'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:Q12973014 . { VALUES ( ?i ) { ( resource:Q3385205 ) ( resource:Q3339740 ) } . ?i property:P54 ?t } }
Arizona Diamondbacks CS Bourgoin-Jallieu New York Mets Brooklyn Cyclones CA Saint-Étienne Loire Sud Rugby Lyon OU
Arizona Diamondbacks, CS Bourgoin-Jallieu, New York Mets, Brooklyn Cyclones, CA Saint-Étienne Loire Sud Rugby and Lyon OU are Pierre Gicollet or Nick Evans a member of
Arizona Diamondbacks CS Bourgoin-Jallieu New York Mets Brooklyn Cyclones CA Saint-Étienne Loire Sud Rugby Lyon OU
action filter_type
action union
action find
entity Pierre Gicollet
relation member of sports team
action find
entity Nick Evans
relation member of sports team
type sports team
{'OR': [['Pierre Gicollet', 'member of sports team', {'concept': 'sports team'}], ['Nick Evans', 'member of sports team', {'concept': 'sports team'}]]}
SELECT DISTINCT ?t WHERE { ?t rdf:type ontology:sports_team . { VALUES ( ?i ) { ( resource:Pierre_Gicollet ) ( resource:Nick_Evans ) } . ?i property:member_of_sports_team ?t } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q1209037
P641
Q31629 Q12973014
USER
Which types of sport did greater number of sports teams participate in than Modern competitive archery ?
(c(Q12973014),P641,c(Q31629))
action greater
action find_reverse_tuple_counts
relation P641
type Q31629
type Q12973014
action count
action filter_type
action find
entity Q1209037
relation P641
type Q31629
[{'concept': 'Q12973014'}, 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?u > ?t ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) WHERE { ?p rdf:type ontology:Q31629 . resource:Q1209037 property:P641 ?p } } . { SELECT DISTINCT ?a ( COUNT ( ?i ) AS ?u ) WHERE { ?i property:P641 ?a . ?a rdf:type ontology:Q31629 . ?i rdf:type ontology:Q12973014 } GROUP BY ?a } }
Modern competitive archery
action greater
action find_reverse_tuple_counts
relation sport
type type of sport
type sports team
action count
action filter_type
action find
entity Modern competitive archery
relation sport
type type of sport
[{'concept': 'sports team'}, 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?u > ?t ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) WHERE { ?p rdf:type ontology:type_of_sport . resource:Modern_competitive_archery property:sport ?p } } . { SELECT DISTINCT ?a ( COUNT ( ?i ) AS ?u ) WHERE { ?i property:sport ?a . ?a rdf:type ontology:type_of_sport . ?i rdf:type ontology:sports_team } GROUP BY ?a } }
[]
type of sport sports team
Q216613 Q3609 Q1128216
SYSTEM
Nordic skiing, road bicycle racing, wheelchair basketball
Q29358 Q216613 Q542 Q179687 Q272460 Q3609 Q14554839 Q186222 Q1128216 Q7735 Q48890
(c(Q12973014),P641,c(Q31629))
action greater
action find_reverse_tuple_counts
relation P641
type Q31629
type Q12973014
action count
action filter_type
action find
entity Q1209037
relation P641
type Q31629
[ANSWERS] greater number of sports teams participated in than Modern competitive archery
[{'concept': 'Q12973014'}, 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?u > ?t ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) WHERE { ?p rdf:type ontology:Q31629 . resource:Q1209037 property:P641 ?p } } . { SELECT DISTINCT ?a ( COUNT ( ?i ) AS ?u ) WHERE { ?i property:P641 ?a . ?a rdf:type ontology:Q31629 . ?i rdf:type ontology:Q12973014 } GROUP BY ?a } }
orienteering Nordic skiing athletics cross-country skiing Pilates road bicycle racing competitive fencing alpine skiing wheelchair basketball diving college basketball
Nordic skiing, road bicycle racing and wheelchair basketball greater number of sports teams participated in than Modern competitive archery
Nordic skiing road bicycle racing wheelchair basketball
action greater
action find_reverse_tuple_counts
relation sport
type type of sport
type sports team
action count
action filter_type
action find
entity Modern competitive archery
relation sport
type type of sport
[{'concept': 'sports team'}, 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?u > ?t ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) WHERE { ?p rdf:type ontology:type_of_sport . resource:Modern_competitive_archery property:sport ?p } } . { SELECT DISTINCT ?a ( COUNT ( ?i ) AS ?u ) WHERE { ?i property:sport ?a . ?a rdf:type ontology:type_of_sport . ?i rdf:type ontology:sports_team } GROUP BY ?a } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q189472
P641
Q31629 Q12973014
USER
And how about freestyle skiing?
(c(Q12973014),P641,c(Q31629))
action greater
action find_reverse_tuple_counts
relation P641
type Q31629
type Q12973014
action count
action filter_type
action find
entity Q189472
relation P641
type Q31629
[{'concept': 'Q12973014'}, 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?r ) WHERE { ?u property:P641 ?z . ?z rdf:type ontology:Q31629 . ?u rdf:type ontology:Q12973014 } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:Q31629 . resource:Q189472 property:P641 ?f } } . FILTER ( ?r > ?t ) }
freestyle skiing
action greater
action find_reverse_tuple_counts
relation sport
type type of sport
type sports team
action count
action filter_type
action find
entity freestyle skiing
relation sport
type type of sport
[{'concept': 'sports team'}, 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?r ) WHERE { ?u property:sport ?z . ?z rdf:type ontology:type_of_sport . ?u rdf:type ontology:sports_team } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:type_of_sport . resource:freestyle_skiing property:sport ?f } } . FILTER ( ?r > ?t ) }
[]
type of sport sports team
Q216613 Q3609 Q1128216
SYSTEM
Nordic skiing, road bicycle racing, wheelchair basketball
Q29358 Q216613 Q542 Q179687 Q272460 Q3609 Q14554839 Q186222 Q1128216 Q7735 Q48890
(c(Q12973014),P641,c(Q31629))
action greater
action find_reverse_tuple_counts
relation P641
type Q31629
type Q12973014
action count
action filter_type
action find
entity Q189472
relation P641
type Q31629
[ANSWERS]
[{'concept': 'Q12973014'}, 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?r ) WHERE { ?u property:P641 ?z . ?z rdf:type ontology:Q31629 . ?u rdf:type ontology:Q12973014 } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:Q31629 . resource:Q189472 property:P641 ?f } } . FILTER ( ?r > ?t ) }
orienteering Nordic skiing athletics cross-country skiing Pilates road bicycle racing competitive fencing alpine skiing wheelchair basketball diving college basketball
Nordic skiing road bicycle racing wheelchair basketball
action greater
action find_reverse_tuple_counts
relation sport
type type of sport
type sports team
action count
action filter_type
action find
entity freestyle skiing
relation sport
type type of sport
[{'concept': 'sports team'}, 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?r ) WHERE { ?u property:sport ?z . ?z rdf:type ontology:type_of_sport . ?u rdf:type ontology:sports_team } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:type_of_sport . resource:freestyle_skiing property:sport ?f } } . FILTER ( ?r > ?t ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q142
P1313
Q12737077
USER
Which occupation serves as the political office that is fulfilled by the head of the government of France ?
(Q142,P1313,c(Q12737077))
action filter_type
action find
entity Q142
relation P1313
type Q12737077
['Q142', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?t WHERE { resource:Q142 property:P1313 ?t . ?t rdf:type ontology:Q12737077 }
France
action filter_type
action find
entity France
relation office held by head of government
type occupation
['France', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?t WHERE { resource:France property:office_held_by_head_of_government ?t . ?t rdf:type ontology:occupation }
[]
occupation
Q1587677
SYSTEM
Prime Minister of France
Q1587677
(Q142,P1313,c(Q12737077))
action filter_type
action find
entity Q142
relation P1313
type Q12737077
The [ANSWER] serves as the political office that is fulfilled by the head of the government of France
['Q142', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?t WHERE { resource:Q142 property:P1313 ?t . ?t rdf:type ontology:Q12737077 }
Prime Minister of France
The Prime Minister of France serves as the political office that is fulfilled by the head of the government of France
Prime Minister of France
action filter_type
action find
entity France
relation office held by head of government
type occupation
['France', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?t WHERE { resource:France property:office_held_by_head_of_government ?t . ?t rdf:type ontology:occupation }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q142
P47
Q15617994
USER
Which administrative territories share border with France ?
(c(Q15617994),P47,Q142)
action filter_type
action find
entity Q142
relation P47
type Q15617994
[{'concept': 'Q15617994'}, 'P47', 'Q142']
SELECT DISTINCT ?s WHERE { resource:Q142 property:P47 ?s . ?s rdf:type ontology:Q15617994 }
France
action filter_type
action find
entity France
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'France']
SELECT DISTINCT ?s WHERE { resource:France property:shares_border_with ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38 Q155 Q145
SYSTEM
Italy, Brazil, United Kingdom
Q717 Q145 Q155 Q730 Q29999 Q228 Q32 Q31 Q29 Q39 Q38
(c(Q15617994),P47,Q142)
action filter_type
action find
entity Q142
relation P47
type Q15617994
[ANSWERS] share border with France
[{'concept': 'Q15617994'}, 'P47', 'Q142']
SELECT DISTINCT ?s WHERE { resource:Q142 property:P47 ?s . ?s rdf:type ontology:Q15617994 }
Venezuela United Kingdom Brazil Suriname Kingdom of the Netherlands Andorra Luxembourg Belgium Spain Switzerland Italy
Italy, Brazil and United Kingdom share border with France
Italy Brazil United Kingdom
action filter_type
action find
entity France
relation shares border with
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'shares border with', 'France']
SELECT DISTINCT ?s WHERE { resource:France property:shares_border_with ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q145
P36
Q56061
USER
Which administrative territory is known as the capital of United Kingdom ?
(Q145,P36,c(Q56061))
action filter_type
action find
entity Q145
relation P36
type Q56061
['Q145', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q145 property:P36 ?i . ?i rdf:type ontology:Q56061 }
United Kingdom
action filter_type
action find
entity United Kingdom
relation capital
type administrative territorial entity
['United Kingdom', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:United_Kingdom property:capital ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q84
SYSTEM
London
Q84
(Q145,P36,c(Q56061))
action filter_type
action find
entity Q145
relation P36
type Q56061
[ANSWER] is known as the capital of United Kingdom
['Q145', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q145 property:P36 ?i . ?i rdf:type ontology:Q56061 }
London
London is known as the capital of United Kingdom
London
action filter_type
action find
entity United Kingdom
relation capital
type administrative territorial entity
['United Kingdom', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:United_Kingdom property:capital ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q84
P931
Q62447
USER
Which aerodrome serves that administrative territory ?
(c(Q62447),P931,Q84)
action filter_type
action find_reverse
entity Q84
relation P931
type Q62447
[{'concept': 'Q62447'}, 'P931', 'Q84']
SELECT DISTINCT ?p WHERE { ?p property:P931 resource:Q84 . ?p rdf:type ontology:Q62447 }
London
action filter_type
action find_reverse
entity London
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'London']
SELECT DISTINCT ?p WHERE { ?p property:place_served_by_airport resource:London . ?p rdf:type ontology:aerodrome }
[]
aerodrome
Q1431914
SYSTEM
Croydon Airport
Q1431914
(c(Q62447),P931,Q84)
action filter_type
action find_reverse
entity Q84
relation P931
type Q62447
[ANSWER] serves that administrative territory
[{'concept': 'Q62447'}, 'P931', 'Q84']
SELECT DISTINCT ?p WHERE { ?p property:P931 resource:Q84 . ?p rdf:type ontology:Q62447 }
Croydon Airport
Croydon Airport serves that administrative territory
Croydon Airport
action filter_type
action find_reverse
entity London
relation place served by airport
type aerodrome
[{'concept': 'aerodrome'}, 'place served by airport', 'London']
SELECT DISTINCT ?p WHERE { ?p property:place_served_by_airport resource:London . ?p rdf:type ontology:aerodrome }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q2634
P417
Q1445650 Q502895 Q56061
USER
Which administrative territories have adopted approximately the same number of holidays and people as their patron saint as Naples ?
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q2634
relation P417
type Q1445650
type Q502895
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?j ) WHERE { resource:Q2634 property:P417 ?m . { ?m rdf:type ?u . VALUES ( ?u ) { ( ontology:Q1445650 ) ( ontology:Q502895 ) } } } } . FILTER ( ?q = ?j ) . { SELECT DISTINCT ?f ( COUNT ( ?w ) AS ?q ) WHERE { { ?f property:P417 ?w . ?f rdf:type ontology:Q56061 . ?w rdf:type ontology:Q1445650 } UNION { ?f property:P417 ?w . ?f rdf:type ontology:Q56061 . ?w rdf:type ontology:Q502895 } } GROUP BY ?f } }
Naples
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Naples
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?j ) WHERE { resource:Naples property:patron_saint ?m . { ?m rdf:type ?u . VALUES ( ?u ) { ( ontology:holiday ) ( ontology:common_name ) } } } } . FILTER ( ?q = ?j ) . { SELECT DISTINCT ?f ( COUNT ( ?w ) AS ?q ) WHERE { { ?f property:patron_saint ?w . ?f rdf:type ontology:administrative_territorial_entity . ?w rdf:type ontology:holiday } UNION { ?f property:patron_saint ?w . ?f rdf:type ontology:administrative_territorial_entity . ?w rdf:type ontology:common_name } } GROUP BY ?f } }
[]
holiday common name administrative territorial entity
Q649 Q2807 Q490
SYSTEM
Moscow, Madrid, Milan
Q5818 Q187352 Q11974 Q40801 Q212841 Q454875 Q14209773 Q34111 Q81004 Q6737 Q13364 Q46844 Q73450 Q15468 Q490 Q41329 Q495 Q2044 Q1492 Q2028 Q929022 Q641 Q46165 Q649 Q58463 Q491588 Q3395964 Q73489 Q53825 Q200908 Q15090 Q36647 Q13375 Q15088 Q10305 Q53265 Q6340 Q101229 Q50135 Q2090 Q695550 Q53850 Q6285 Q9920 Q6046 Q3739344 Q2807 Q72279 Q133123 Q139595 Q3415 Q495798 Q82208 Q3557616 Q374108 Q3562704 Q428018 Q90 Q431389 Q5991813 Q380189 Q617 Q470461 Q733574 Q932648 Q100143 Q100065 Q13121 Q465078 Q3947670 Q100772 Q71935 Q51400 Q504216 Q51315 Q210470 Q11959 Q52215 Q15095 Q3740507 Q2634 Q51929 Q8356 Q47281 Q58581 Q119066 Q1155 Q200036 Q15487 Q244207 Q1957 Q50074 Q1897 Q433066 Q46864
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q2634
relation P417
type Q1445650
type Q502895
[ANSWERS] have adopted approximately the same number of holidays and people as their patron saint as Naples
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?j ) WHERE { resource:Q2634 property:P417 ?m . { ?m rdf:type ?u . VALUES ( ?u ) { ( ontology:Q1445650 ) ( ontology:Q502895 ) } } } } . FILTER ( ?q = ?j ) . { SELECT DISTINCT ?f ( COUNT ( ?w ) AS ?q ) WHERE { { ?f property:P417 ?w . ?f rdf:type ontology:Q56061 . ?w rdf:type ontology:Q1445650 } UNION { ?f property:P417 ?w . ?f rdf:type ontology:Q56061 . ?w rdf:type ontology:Q502895 } } GROUP BY ?f } }
Córdoba Kavala Las Palmas de Gran Canaria Borca di Cadore Drama Amarante Municipality San Lorenzo de' Picenardi Pozzallo Laviano Castellammare di Stabia Ravenna Roana Caldarola Badalona Milan Linz Turin Florence Barcelona Verona Giannitsa Venice Montecchio Maggiore Moscow Cancello e Arnone Camporeale Koufalia Camerino Altilia Rethymno Lleida Cork Pisa Tarragona Zaragoza Gemona del Friuli Castel Giorgio Martinengo Rocca di Cambio Nuremberg Huécija Cariati Varese Haarlem Novara Neokaisareia Madrid Mugnano di Napoli Patras Zacharo Ancona Brolo Kastritsa Platres Altrei Molista Mölten Paris Welsberg-Taisten Mansilla del Páramo Toblach Padua Amfilochia Istiaia Didymoteicho Caprino Bergamasco Mirandola Aalst Astorga San Mauro Mare Busseto Casamarciano Spoltore St. Martin in Passeier Villamagna Katerini Alicante Tuglie Albacete Favrio Naples Ischitella Valladolid Jesolo Curti, Campania Latera Busto Arsizio Volos Berga Campione d'Italia Vologda Castellafiume Cagliari Moos in Passeier Arcugnano
Moscow, Madrid and Milan have adopted approximately the same number of holidays and people as their patron saint as Naples
Moscow Madrid Milan
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Naples
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?j ) WHERE { resource:Naples property:patron_saint ?m . { ?m rdf:type ?u . VALUES ( ?u ) { ( ontology:holiday ) ( ontology:common_name ) } } } } . FILTER ( ?q = ?j ) . { SELECT DISTINCT ?f ( COUNT ( ?w ) AS ?q ) WHERE { { ?f property:patron_saint ?w . ?f rdf:type ontology:administrative_territorial_entity . ?w rdf:type ontology:holiday } UNION { ?f property:patron_saint ?w . ?f rdf:type ontology:administrative_territorial_entity . ?w rdf:type ontology:common_name } } GROUP BY ?f } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q133123
P417
Q1445650 Q502895 Q56061
USER
And how about Patras?
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q133123
relation P417
type Q1445650
type Q502895
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) ?d WHERE { { ?d rdf:type ontology:Q56061 . ?r rdf:type ontology:Q1445650 . ?d property:P417 ?r } UNION { ?d property:P417 ?r . ?d rdf:type ontology:Q56061 . ?r rdf:type ontology:Q502895 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?y ) WHERE { resource:Q133123 property:P417 ?w . { { ?w rdf:type ontology:Q1445650 } UNION { ?w rdf:type ontology:Q502895 } } } } . FILTER ( ?p = ?y ) }
Patras
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Patras
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) ?d WHERE { { ?d rdf:type ontology:administrative_territorial_entity . ?r rdf:type ontology:holiday . ?d property:patron_saint ?r } UNION { ?d property:patron_saint ?r . ?d rdf:type ontology:administrative_territorial_entity . ?r rdf:type ontology:common_name } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?y ) WHERE { resource:Patras property:patron_saint ?w . { { ?w rdf:type ontology:holiday } UNION { ?w rdf:type ontology:common_name } } } } . FILTER ( ?p = ?y ) }
[]
holiday common name administrative territorial entity
Q649 Q2807 Q490
SYSTEM
Moscow, Madrid, Milan
Q5818 Q187352 Q11974 Q40801 Q212841 Q454875 Q14209773 Q34111 Q81004 Q6737 Q13364 Q46844 Q73450 Q15468 Q490 Q41329 Q495 Q2044 Q1492 Q2028 Q929022 Q641 Q46165 Q649 Q58463 Q491588 Q3395964 Q73489 Q53825 Q200908 Q15090 Q36647 Q13375 Q15088 Q10305 Q53265 Q6340 Q101229 Q50135 Q2090 Q695550 Q53850 Q6285 Q9920 Q6046 Q3739344 Q2807 Q72279 Q133123 Q139595 Q3415 Q495798 Q82208 Q3557616 Q374108 Q3562704 Q428018 Q90 Q431389 Q5991813 Q380189 Q617 Q470461 Q733574 Q932648 Q100143 Q100065 Q13121 Q465078 Q3947670 Q100772 Q71935 Q51400 Q504216 Q51315 Q210470 Q11959 Q52215 Q15095 Q3740507 Q2634 Q51929 Q8356 Q47281 Q58581 Q119066 Q1155 Q200036 Q15487 Q244207 Q1957 Q50074 Q1897 Q433066 Q46864
(c(Q56061),P417,c(Q1445650)|c(Q502895))
action approx
action union
action find_tuple_counts
relation P417
type Q56061
type Q1445650
action find_tuple_counts
relation P417
type Q56061
type Q502895
action count
action filter_multi_types
action find
entity Q133123
relation P417
type Q1445650
type Q502895
[ANSWERS]
[{'concept': 'Q56061'}, 'P417', [{'concept': 'Q1445650'}, {'concept': 'Q502895'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) ?d WHERE { { ?d rdf:type ontology:Q56061 . ?r rdf:type ontology:Q1445650 . ?d property:P417 ?r } UNION { ?d property:P417 ?r . ?d rdf:type ontology:Q56061 . ?r rdf:type ontology:Q502895 } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?y ) WHERE { resource:Q133123 property:P417 ?w . { { ?w rdf:type ontology:Q1445650 } UNION { ?w rdf:type ontology:Q502895 } } } } . FILTER ( ?p = ?y ) }
Córdoba Kavala Las Palmas de Gran Canaria Borca di Cadore Drama Amarante Municipality San Lorenzo de' Picenardi Pozzallo Laviano Castellammare di Stabia Ravenna Roana Caldarola Badalona Milan Linz Turin Florence Barcelona Verona Giannitsa Venice Montecchio Maggiore Moscow Cancello e Arnone Camporeale Koufalia Camerino Altilia Rethymno Lleida Cork Pisa Tarragona Zaragoza Gemona del Friuli Castel Giorgio Martinengo Rocca di Cambio Nuremberg Huécija Cariati Varese Haarlem Novara Neokaisareia Madrid Mugnano di Napoli Patras Zacharo Ancona Brolo Kastritsa Platres Altrei Molista Mölten Paris Welsberg-Taisten Mansilla del Páramo Toblach Padua Amfilochia Istiaia Didymoteicho Caprino Bergamasco Mirandola Aalst Astorga San Mauro Mare Busseto Casamarciano Spoltore St. Martin in Passeier Villamagna Katerini Alicante Tuglie Albacete Favrio Naples Ischitella Valladolid Jesolo Curti, Campania Latera Busto Arsizio Volos Berga Campione d'Italia Vologda Castellafiume Cagliari Moos in Passeier Arcugnano
Moscow Madrid Milan
action approx
action union
action find_tuple_counts
relation patron saint
type administrative territorial entity
type holiday
action find_tuple_counts
relation patron saint
type administrative territorial entity
type common name
action count
action filter_multi_types
action find
entity Patras
relation patron saint
type holiday
type common name
[{'concept': 'administrative territorial entity'}, 'patron saint', [{'concept': 'holiday'}, {'concept': 'common name'}]]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?p ) ?d WHERE { { ?d rdf:type ontology:administrative_territorial_entity . ?r rdf:type ontology:holiday . ?d property:patron_saint ?r } UNION { ?d property:patron_saint ?r . ?d rdf:type ontology:administrative_territorial_entity . ?r rdf:type ontology:common_name } } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?y ) WHERE { resource:Patras property:patron_saint ?w . { { ?w rdf:type ontology:holiday } UNION { ?w rdf:type ontology:common_name } } } } . FILTER ( ?p = ?y ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1486
P190
Q515
USER
Are Buenos Aires partner town of those administrative territories ?
(Q1486,P190,Q649) (Q1486,P190,Q2807) (Q1486,P190,Q490)
action is_in
entity prev_answer
action find
entity Q1486
relation P190
['Q1486', 'P190', 'Q649'] ['Q1486', 'P190', 'Q2807'] ['Q1486', 'P190', 'Q490']
ASK WHERE { resource:Q1486 property:P190 ?u . VALUES ( ?u ) { ( resource:Q5818 ) ( resource:Q187352 ) ( resource:Q11974 ) } }
Buenos Aires
action is_in
entity prev_answer
action find
entity Buenos Aires
relation sister city
['Buenos Aires', 'sister city', 'Moscow'] ['Buenos Aires', 'sister city', 'Madrid'] ['Buenos Aires', 'sister city', 'Milan']
ASK WHERE { resource:Buenos_Aires property:sister_city ?u . VALUES ( ?u ) { ( resource:Córdoba ) ( resource:Kavala ) ( resource:Las_Palmas_de_Gran_Canaria ) } }
[]
city
SYSTEM
YES
(Q1486,P190,Q649) (Q1486,P190,Q2807) (Q1486,P190,Q490)
action is_in
entity prev_answer
action find
entity Q1486
relation P190
[ANSWER]
['Q1486', 'P190', 'Q649'] ['Q1486', 'P190', 'Q2807'] ['Q1486', 'P190', 'Q490']
ASK WHERE { resource:Q1486 property:P190 ?u . VALUES ( ?u ) { ( resource:Q5818 ) ( resource:Q187352 ) ( resource:Q11974 ) } }
Yes
action is_in
entity prev_answer
action find
entity Buenos Aires
relation sister city
['Buenos Aires', 'sister city', 'Moscow'] ['Buenos Aires', 'sister city', 'Madrid'] ['Buenos Aires', 'sister city', 'Milan']
ASK WHERE { resource:Buenos_Aires property:sister_city ?u . VALUES ( ?u ) { ( resource:Córdoba ) ( resource:Kavala ) ( resource:Las_Palmas_de_Gran_Canaria ) } }
[]