Simple Question (Direct)
Simple Question
Q301437
P17
Q15617994
USER
Which administrative territory is Priego de Córdoba present in ?
(Q301437,P17,c(Q15617994))
action filter_type
action find
entity Q301437
relation P17
type Q15617994
['Q301437', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q15617994 . resource:Q301437 property:P17 ?u }
Priego de Córdoba
action filter_type
action find
entity Priego de Córdoba
relation country
type designation for an administrative territorial entity
['Priego de Córdoba', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Priego_de_Córdoba property:country ?u }
[]
designation for an administrative territorial entity
Q29
SYSTEM
Spain
Q29
(Q301437,P17,c(Q15617994))
action filter_type
action find
entity Q301437
relation P17
type Q15617994
Priego de Córdoba is in [ANSWER]
['Q301437', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q15617994 . resource:Q301437 property:P17 ?u }
Spain
Priego de Córdoba is in Spain
Spain
action filter_type
action find
entity Priego de Córdoba
relation country
type designation for an administrative territorial entity
['Priego de Córdoba', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Priego_de_Córdoba property:country ?u }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q301437
P47
Q1048835
USER
Who share the border with Priego de Córdoba ?
(Q301437,P47,c(Q1048835))
action filter_type
action find
entity Q301437
relation P47
type Q1048835
['Q301437', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { resource:Q301437 property:P47 ?h . ?h rdf:type ontology:Q1048835 }
Priego de Córdoba
action filter_type
action find
entity Priego de Córdoba
relation shares border with
type political territorial entity
['Priego de Córdoba', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Priego_de_Córdoba property:shares_border_with ?h . ?h rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q638181 Q1613282 Q904793
SYSTEM
Alcalá la Real, Alcaudete, Iznájar
Q1613282 Q339790 Q854412 Q904793 Q986552 Q842679 Q638181 Q388975 Q593696 Q592982
(Q301437,P47,c(Q1048835))
action filter_type
action find
entity Q301437
relation P47
type Q1048835
[ANSWERS] share the border with Priego de Córdoba
['Q301437', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { resource:Q301437 property:P47 ?h . ?h rdf:type ontology:Q1048835 }
Alcaudete Fuente-Tójar Almedinilla Iznájar Luque Carcabuey Alcalá la Real Algarinejo Montefrío Rute
Alcalá la Real, Alcaudete and Iznájar share the border with Priego de Córdoba
Alcalá la Real Alcaudete Iznájar
action filter_type
action find
entity Priego de Córdoba
relation shares border with
type political territorial entity
['Priego de Córdoba', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Priego_de_Córdoba property:shares_border_with ?h . ?h rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q301437
P47
Q1048835
USER
Are Priego de Córdoba bordered by those ones ?
(Q301437,P47,Q638181) (Q301437,P47,Q1613282) (Q301437,P47,Q904793)
action is_in
entity prev_answer
action find
entity Q301437
relation P47
['Q301437', 'P47', 'Q638181'] ['Q301437', 'P47', 'Q1613282'] ['Q301437', 'P47', 'Q904793']
ASK WHERE { VALUES ( ?v ) { ( resource:Q1613282 ) ( resource:Q339790 ) ( resource:Q854412 ) } . resource:Q301437 property:P47 ?v }
Priego de Córdoba
action is_in
entity prev_answer
action find
entity Priego de Córdoba
relation shares border with
['Priego de Córdoba', 'shares border with', 'Alcalá la Real'] ['Priego de Córdoba', 'shares border with', 'Alcaudete'] ['Priego de Córdoba', 'shares border with', 'Iznájar']
ASK WHERE { VALUES ( ?v ) { ( resource:Alcaudete ) ( resource:Fuente-Tójar ) ( resource:Almedinilla ) } . resource:Priego_de_Córdoba property:shares_border_with ?v }
[]
political territorial entity
SYSTEM
YES
(Q301437,P47,Q638181) (Q301437,P47,Q1613282) (Q301437,P47,Q904793)
action is_in
entity prev_answer
action find
entity Q301437
relation P47
[ANSWER]
['Q301437', 'P47', 'Q638181'] ['Q301437', 'P47', 'Q1613282'] ['Q301437', 'P47', 'Q904793']
ASK WHERE { VALUES ( ?v ) { ( resource:Q1613282 ) ( resource:Q339790 ) ( resource:Q854412 ) } . resource:Q301437 property:P47 ?v }
Yes
action is_in
entity prev_answer
action find
entity Priego de Córdoba
relation shares border with
['Priego de Córdoba', 'shares border with', 'Alcalá la Real'] ['Priego de Córdoba', 'shares border with', 'Alcaudete'] ['Priego de Córdoba', 'shares border with', 'Iznájar']
ASK WHERE { VALUES ( ?v ) { ( resource:Alcaudete ) ( resource:Fuente-Tójar ) ( resource:Almedinilla ) } . resource:Priego_de_Córdoba property:shares_border_with ?v }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1613282 Q29
P17
Q15617994
USER
Is Alcaudete situated in Spain ?
(Q1613282,P17,Q29)
action is_in
entity Q29
action find
entity Q1613282
relation P17
['Q1613282', 'P17', 'Q29']
ASK WHERE { resource:Q1613282 property:P17 resource:Q29 }
Alcaudete Spain
action is_in
entity Spain
action find
entity Alcaudete
relation country
['Alcaudete', 'country', 'Spain']
ASK WHERE { resource:Alcaudete property:country resource:Spain }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q1613282,P17,Q29)
action is_in
entity Q29
action find
entity Q1613282
relation P17
[ANSWER]
['Q1613282', 'P17', 'Q29']
ASK WHERE { resource:Q1613282 property:P17 resource:Q29 }
Yes
action is_in
entity Spain
action find
entity Alcaudete
relation country
['Alcaudete', 'country', 'Spain']
ASK WHERE { resource:Alcaudete property:country resource:Spain }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q1613282
P47
Q1048835 Q56061
USER
How many political territories or administrative territories do Alcaudete share a border with ?
(c(Q1048835),P47,Q1613282) (c(Q56061),P47,Q1613282)
action count
action union
action filter_type
action find_reverse
entity Q1613282
relation P47
type Q1048835
action filter_type
action find_reverse
entity Q1613282
relation P47
type Q56061
[{'concept': 'Q1048835'}, 'P47', 'Q1613282'] [{'concept': 'Q56061'}, 'P47', 'Q1613282']
SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) WHERE { ?g rdf:type ?c . VALUES ( ?c ) { ( ontology:Q1048835 ) ( ontology:Q56061 ) } }
Alcaudete
action count
action union
action filter_type
action find_reverse
entity Alcaudete
relation shares border with
type political territorial entity
action filter_type
action find_reverse
entity Alcaudete
relation shares border with
type administrative territorial entity
[{'concept': 'political territorial entity'}, 'shares border with', 'Alcaudete'] [{'concept': 'administrative territorial entity'}, 'shares border with', 'Alcaudete']
SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) WHERE { ?g rdf:type ?c . VALUES ( ?c ) { ( ontology:political_territorial_entity ) ( ontology:administrative_territorial_entity ) } }
[]
political territorial entity administrative territorial entity
SYSTEM
6
Q339790 Q1611707 Q986552 Q695425 Q301437 Q638181
(c(Q1048835),P47,Q1613282) (c(Q56061),P47,Q1613282)
action count
action union
action filter_type
action find_reverse
entity Q1613282
relation P47
type Q1048835
action filter_type
action find_reverse
entity Q1613282
relation P47
type Q56061
[ANSWER]
[{'concept': 'Q1048835'}, 'P47', 'Q1613282'] [{'concept': 'Q56061'}, 'P47', 'Q1613282']
SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) WHERE { ?g rdf:type ?c . VALUES ( ?c ) { ( ontology:Q1048835 ) ( ontology:Q56061 ) } }
Fuente-Tójar Castillo de Locubín Luque Martos Priego de Córdoba Alcalá la Real
6
action count
action union
action filter_type
action find_reverse
entity Alcaudete
relation shares border with
type political territorial entity
action filter_type
action find_reverse
entity Alcaudete
relation shares border with
type administrative territorial entity
[{'concept': 'political territorial entity'}, 'shares border with', 'Alcaudete'] [{'concept': 'administrative territorial entity'}, 'shares border with', 'Alcaudete']
SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) WHERE { ?g rdf:type ?c . VALUES ( ?c ) { ( ontology:political_territorial_entity ) ( ontology:administrative_territorial_entity ) } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q1048835
USER
Which political territories have diplomatic associations with approximately 2 political territories ?
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
value 2
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?v WHERE { FILTER ( ?w = 2 ) . { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?w ) WHERE { ?v property:P530 ?s . ?v rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q1048835 } GROUP BY ?v } }
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
value 2
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?v WHERE { FILTER ( ?w = 2 ) . { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?w ) WHERE { ?v property:diplomatic_relation ?s . ?v rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:political_territorial_entity } GROUP BY ?v } }
[]
political territorial entity political territorial entity
Q35 Q16 Q40
SYSTEM
Denmark, Canada, Austria
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
value 2
[ANSWERS] have diplomatic associations with approximately 2 political territories
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?v WHERE { FILTER ( ?w = 2 ) . { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?w ) WHERE { ?v property:P530 ?s . ?v rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q1048835 } GROUP BY ?v } }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Denmark, Canada and Austria have diplomatic associations with approximately 2 political territories
Denmark Canada Austria
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
value 2
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?v WHERE { FILTER ( ?w = 2 ) . { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?w ) WHERE { ?v property:diplomatic_relation ?s . ?v rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:political_territorial_entity } GROUP BY ?v } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q29 Q904793
P47 P17
Q1048835
USER
Which political territories share border with Iznájar and are present in Spain ?
AND((c(Q1048835),P47,Q904793), (c(Q1048835),P17,Q29))
action filter_type
action intersection
action find_reverse
entity Q904793
relation P47
action find_reverse
entity Q29
relation P17
type Q1048835
{'AND': [[{'concept': 'Q1048835'}, 'P47', 'Q904793'], [{'concept': 'Q1048835'}, 'P17', 'Q29']]}
SELECT DISTINCT ?n WHERE { ?n property:P47 resource:Q904793 . ?n property:P17 resource:Q29 . ?n rdf:type ontology:Q1048835 }
Spain Iznájar
action filter_type
action intersection
action find_reverse
entity Iznájar
relation shares border with
action find_reverse
entity Spain
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'shares border with', 'Iznájar'], [{'concept': 'political territorial entity'}, 'country', 'Spain']]}
SELECT DISTINCT ?n WHERE { ?n property:shares_border_with resource:Iznájar . ?n property:country resource:Spain . ?n rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q949909 Q1647751 Q301437 Q388975 Q592982 Q1647726
SYSTEM
Villanueva de Tapia, Cuevas de San Marcos, Priego de Córdoba, Algarinejo, Rute, Villanueva de Algaidas
Q949909 Q1647751 Q301437 Q388975 Q592982 Q1647726
AND((c(Q1048835),P47,Q904793), (c(Q1048835),P17,Q29))
action filter_type
action intersection
action find_reverse
entity Q904793
relation P47
action find_reverse
entity Q29
relation P17
type Q1048835
[ANSWERS] share border with Iznájar and are present in Spain
{'AND': [[{'concept': 'Q1048835'}, 'P47', 'Q904793'], [{'concept': 'Q1048835'}, 'P17', 'Q29']]}
SELECT DISTINCT ?n WHERE { ?n property:P47 resource:Q904793 . ?n property:P17 resource:Q29 . ?n rdf:type ontology:Q1048835 }
Villanueva de Tapia Cuevas de San Marcos Priego de Córdoba Algarinejo Rute Villanueva de Algaidas
Villanueva de Tapia, Cuevas de San Marcos, Priego de Córdoba, Algarinejo, Rute and Villanueva de Algaidas share border with Iznájar and are present in Spain
Villanueva de Tapia Cuevas de San Marcos Priego de Córdoba Algarinejo Rute Villanueva de Algaidas
action filter_type
action intersection
action find_reverse
entity Iznájar
relation shares border with
action find_reverse
entity Spain
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'shares border with', 'Iznájar'], [{'concept': 'political territorial entity'}, 'country', 'Spain']]}
SELECT DISTINCT ?n WHERE { ?n property:shares_border_with resource:Iznájar . ?n property:country resource:Spain . ?n rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q904793
P47
Q1048835
USER
Do Iznájar have an adjacent border with those ones ?
(Q904793,P47,Q949909) (Q904793,P47,Q1647751) (Q904793,P47,Q301437) (Q904793,P47,Q388975) (Q904793,P47,Q592982) (Q904793,P47,Q1647726)
action is_in
entity prev_answer
action find
entity Q904793
relation P47
['Q904793', 'P47', 'Q949909'] ['Q904793', 'P47', 'Q1647751'] ['Q904793', 'P47', 'Q301437'] ['Q904793', 'P47', 'Q388975'] ['Q904793', 'P47', 'Q592982'] ['Q904793', 'P47', 'Q1647726']
ASK WHERE { resource:Q904793 property:P47 ?k . VALUES ( ?k ) { ( resource:Q949909 ) ( resource:Q1647751 ) ( resource:Q301437 ) } }
Iznájar
action is_in
entity prev_answer
action find
entity Iznájar
relation shares border with
['Iznájar', 'shares border with', 'Villanueva de Tapia'] ['Iznájar', 'shares border with', 'Cuevas de San Marcos'] ['Iznájar', 'shares border with', 'Priego de Córdoba'] ['Iznájar', 'shares border with', 'Algarinejo'] ['Iznájar', 'shares border with', 'Rute'] ['Iznájar', 'shares border with', 'Villanueva de Algaidas']
ASK WHERE { resource:Iznájar property:shares_border_with ?k . VALUES ( ?k ) { ( resource:Villanueva_de_Tapia ) ( resource:Cuevas_de_San_Marcos ) ( resource:Priego_de_Córdoba ) } }
[]
political territorial entity
SYSTEM
YES
(Q904793,P47,Q949909) (Q904793,P47,Q1647751) (Q904793,P47,Q301437) (Q904793,P47,Q388975) (Q904793,P47,Q592982) (Q904793,P47,Q1647726)
action is_in
entity prev_answer
action find
entity Q904793
relation P47
[ANSWER]
['Q904793', 'P47', 'Q949909'] ['Q904793', 'P47', 'Q1647751'] ['Q904793', 'P47', 'Q301437'] ['Q904793', 'P47', 'Q388975'] ['Q904793', 'P47', 'Q592982'] ['Q904793', 'P47', 'Q1647726']
ASK WHERE { resource:Q904793 property:P47 ?k . VALUES ( ?k ) { ( resource:Q949909 ) ( resource:Q1647751 ) ( resource:Q301437 ) } }
Yes
action is_in
entity prev_answer
action find
entity Iznájar
relation shares border with
['Iznájar', 'shares border with', 'Villanueva de Tapia'] ['Iznájar', 'shares border with', 'Cuevas de San Marcos'] ['Iznájar', 'shares border with', 'Priego de Córdoba'] ['Iznájar', 'shares border with', 'Algarinejo'] ['Iznájar', 'shares border with', 'Rute'] ['Iznájar', 'shares border with', 'Villanueva de Algaidas']
ASK WHERE { resource:Iznájar property:shares_border_with ?k . VALUES ( ?k ) { ( resource:Villanueva_de_Tapia ) ( resource:Cuevas_de_San_Marcos ) ( resource:Priego_de_Córdoba ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q388975 Q16263353
P1313
Q12737077
USER
Is pragmatist fulfilled by Algarinejo ?
(Q388975,P1313,Q16263353)
action is_in
entity Q16263353
action find
entity Q388975
relation P1313
['Q388975', 'P1313', 'Q16263353']
ASK WHERE { resource:Q388975 property:P1313 resource:Q16263353 }
Algarinejo pragmatist
action is_in
entity pragmatist
action find
entity Algarinejo
relation office held by head of government
['Algarinejo', 'office held by head of government', 'pragmatist']
ASK WHERE { resource:Algarinejo property:office_held_by_head_of_government resource:pragmatist }
[]
occupation
SYSTEM
NO
(Q388975,P1313,Q16263353)
action is_in
entity Q16263353
action find
entity Q388975
relation P1313
[ANSWER]
['Q388975', 'P1313', 'Q16263353']
ASK WHERE { resource:Q388975 property:P1313 resource:Q16263353 }
No
action is_in
entity pragmatist
action find
entity Algarinejo
relation office held by head of government
['Algarinejo', 'office held by head of government', 'pragmatist']
ASK WHERE { resource:Algarinejo property:office_held_by_head_of_government resource:pragmatist }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1613282 Q29
P17
Q15617994
USER
Is Alcaudete present in Spain ?
(Q1613282,P17,Q29)
action is_in
entity Q29
action find
entity Q1613282
relation P17
['Q1613282', 'P17', 'Q29']
ASK WHERE { resource:Q1613282 property:P17 resource:Q29 }
Alcaudete Spain
action is_in
entity Spain
action find
entity Alcaudete
relation country
['Alcaudete', 'country', 'Spain']
ASK WHERE { resource:Alcaudete property:country resource:Spain }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q1613282,P17,Q29)
action is_in
entity Q29
action find
entity Q1613282
relation P17
[ANSWER]
['Q1613282', 'P17', 'Q29']
ASK WHERE { resource:Q1613282 property:P17 resource:Q29 }
Yes
action is_in
entity Spain
action find
entity Alcaudete
relation country
['Alcaudete', 'country', 'Spain']
ASK WHERE { resource:Alcaudete property:country resource:Spain }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1613282
P1444
Q878123
USER
Which racing has that political territory as its destination point ?
action filter_type
action find_reverse
entity Q1613282
relation P1444
type Q878123
SELECT DISTINCT ?l WHERE { ?l property:P1444 resource:Q1613282 . ?l rdf:type ontology:Q878123 }
Alcaudete
action filter_type
action find_reverse
entity Alcaudete
relation destination point
type racing
SELECT DISTINCT ?l WHERE { ?l property:destination_point resource:Alcaudete . ?l rdf:type ontology:racing }
[]
racing
Q18213854
SYSTEM
2014 Vuelta a España, Stage 7
Q18213854
action filter_type
action find_reverse
entity Q1613282
relation P1444
type Q878123
[ANSWER] has that political territory as its destination point
SELECT DISTINCT ?l WHERE { ?l property:P1444 resource:Q1613282 . ?l rdf:type ontology:Q878123 }
2014 Vuelta a España, Stage 7
2014 Vuelta a España, Stage 7 has that political territory as its destination point
2014 Vuelta a España, Stage 7
action filter_type
action find_reverse
entity Alcaudete
relation destination point
type racing
SELECT DISTINCT ?l WHERE { ?l property:destination_point resource:Alcaudete . ?l rdf:type ontology:racing }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1613282
P1001
Q12737077
USER
Which occupation has jurisdiction over Alcaudete ?
(c(Q12737077),P1001,Q1613282)
action filter_type
action find_reverse
entity Q1613282
relation P1001
type Q12737077
[{'concept': 'Q12737077'}, 'P1001', 'Q1613282']
SELECT DISTINCT ?m WHERE { ?m property:P1001 resource:Q1613282 . ?m rdf:type ontology:Q12737077 }
Alcaudete
action filter_type
action find_reverse
entity Alcaudete
relation applies to jurisdiction
type occupation
[{'concept': 'occupation'}, 'applies to jurisdiction', 'Alcaudete']
SELECT DISTINCT ?m WHERE { ?m property:applies_to_jurisdiction resource:Alcaudete . ?m rdf:type ontology:occupation }
[]
occupation
Q26692130
SYSTEM
mayor of Alcaudete
Q26692130
(c(Q12737077),P1001,Q1613282)
action filter_type
action find_reverse
entity Q1613282
relation P1001
type Q12737077
The [ANSWER] has jurisdiction over Alcaudete
[{'concept': 'Q12737077'}, 'P1001', 'Q1613282']
SELECT DISTINCT ?m WHERE { ?m property:P1001 resource:Q1613282 . ?m rdf:type ontology:Q12737077 }
mayor of Alcaudete
The mayor of Alcaudete has jurisdiction over Alcaudete
mayor of Alcaudete
action filter_type
action find_reverse
entity Alcaudete
relation applies to jurisdiction
type occupation
[{'concept': 'occupation'}, 'applies to jurisdiction', 'Alcaudete']
SELECT DISTINCT ?m WHERE { ?m property:applies_to_jurisdiction resource:Alcaudete . ?m rdf:type ontology:occupation }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P417
Q502895 Q12737077
USER
Which people are the patron saint of atleast 4 occupations ?
(c(Q12737077),P417,c(Q502895))
action atleast
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
value 4
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?y ) AS ?x ) WHERE { ?n rdf:type ontology:Q502895 . ?y rdf:type ontology:Q12737077 . ?y property:P417 ?n } GROUP BY ?n } . FILTER ( ?x >= 4 ) }
action atleast
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
value 4
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?y ) AS ?x ) WHERE { ?n rdf:type ontology:common_name . ?y rdf:type ontology:occupation . ?y property:patron_saint ?n } GROUP BY ?n } . FILTER ( ?x >= 4 ) }
[]
common name occupation
Q43982 Q179718 Q43600
SYSTEM
Bartholomew the Apostle, Catherine of Alexandria, Matthew the Apostle
Q43982 Q179718 Q43600
(c(Q12737077),P417,c(Q502895))
action atleast
action find_reverse_tuple_counts
relation P417
type Q502895
type Q12737077
value 4
[ANSWERS] are the patron saint of atleast 4 occupations
[{'concept': 'Q12737077'}, 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?y ) AS ?x ) WHERE { ?n rdf:type ontology:Q502895 . ?y rdf:type ontology:Q12737077 . ?y property:P417 ?n } GROUP BY ?n } . FILTER ( ?x >= 4 ) }
Bartholomew the Apostle Catherine of Alexandria Matthew the Apostle
Bartholomew the Apostle, Catherine of Alexandria and Matthew the Apostle are the patron saint of atleast 4 occupations
Bartholomew the Apostle Catherine of Alexandria Matthew the Apostle
action atleast
action find_reverse_tuple_counts
relation patron saint
type common name
type occupation
value 4
[{'concept': 'occupation'}, 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?y ) AS ?x ) WHERE { ?n rdf:type ontology:common_name . ?y rdf:type ontology:occupation . ?y property:patron_saint ?n } GROUP BY ?n } . FILTER ( ?x >= 4 ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q1300012
P1303
Q34379 Q502895
USER
How many musical instruments do lesser number of people know to play than toy piano ?
(c(Q502895),P1303,c(Q34379))
action count
action less
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find_reverse
entity Q1300012
relation P1303
type Q502895
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?h ) AS ?p ) WHERE { ?o rdf:type ontology:Q34379 . ?h rdf:type ontology:Q502895 . ?h property:P1303 ?o } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c rdf:type ontology:Q502895 . ?c property:P1303 resource:Q1300012 } } . FILTER ( ?p < ?i ) }
toy piano
action count
action less
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find_reverse
entity toy piano
relation instrument
type common name
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?h ) AS ?p ) WHERE { ?o rdf:type ontology:musical_instrument . ?h rdf:type ontology:common_name . ?h property:instrument ?o } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c rdf:type ontology:common_name . ?c property:instrument resource:toy_piano } } . FILTER ( ?p < ?i ) }
[]
musical instrument common name
SYSTEM
36
Q890073 Q1178361 Q604538 Q2660670 Q39777 Q678090 Q490054 Q873588 Q593995 Q1327500 Q1879664 Q1759986 Q1798603 Q1099153 Q120585 Q713298 Q1024685 Q816793 Q244976 Q1179017 Q320341 Q748455 Q669370 Q290951 Q178933 Q16875637 Q790468 Q1129422 Q379248 Q173453 Q744831 Q963150 Q16155191 Q644440 Q497224 Q3623688
(c(Q502895),P1303,c(Q34379))
action count
action less
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find_reverse
entity Q1300012
relation P1303
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?h ) AS ?p ) WHERE { ?o rdf:type ontology:Q34379 . ?h rdf:type ontology:Q502895 . ?h property:P1303 ?o } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c rdf:type ontology:Q502895 . ?c property:P1303 resource:Q1300012 } } . FILTER ( ?p < ?i ) }
Body percussion davul Temple block Irish bouzouki maraca Twelve-string guitar Ondioline Jinghu player piano electronic musical instrument spoon Wurlitzer electric piano string instrument clavinet Tsuzumi geomungo cabasa Bendir bodhrán Daxophone celesta cajón gusle Kamancheh Hardanger fiddle transverse flute baritone horn morin khuur Timbales wind instrument Mridangam tenor guitar Saraswati veena Lap steel guitar Kayamb Paraguayan harp
36
action count
action less
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find_reverse
entity toy piano
relation instrument
type common name
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?s ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?h ) AS ?p ) WHERE { ?o rdf:type ontology:musical_instrument . ?h rdf:type ontology:common_name . ?h property:instrument ?o } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?i ) WHERE { ?c rdf:type ontology:common_name . ?c property:instrument resource:toy_piano } } . FILTER ( ?p < ?i ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q43600
P40
Q502895
USER
Whose child is Matthew the Apostle ?
(c(Q502895),P40,Q43600)
action filter_type
action find_reverse
entity Q43600
relation P40
type Q502895
[{'concept': 'Q502895'}, 'P40', 'Q43600']
SELECT DISTINCT ?g WHERE { ?g property:P40 resource:Q43600 . ?g rdf:type ontology:Q502895 }
Matthew the Apostle
action filter_type
action find_reverse
entity Matthew the Apostle
relation child
type common name
[{'concept': 'common name'}, 'child', 'Matthew the Apostle']
SELECT DISTINCT ?g WHERE { ?g property:child resource:Matthew_the_Apostle . ?g rdf:type ontology:common_name }
[]
common name
Q1542853
SYSTEM
Alphaeus
Q1542853
(c(Q502895),P40,Q43600)
action filter_type
action find_reverse
entity Q43600
relation P40
type Q502895
[ANSWER] is Matthew the Apostle
[{'concept': 'Q502895'}, 'P40', 'Q43600']
SELECT DISTINCT ?g WHERE { ?g property:P40 resource:Q43600 . ?g rdf:type ontology:Q502895 }
Alphaeus
Alphaeus is Matthew the Apostle
Alphaeus
action filter_type
action find_reverse
entity Matthew the Apostle
relation child
type common name
[{'concept': 'common name'}, 'child', 'Matthew the Apostle']
SELECT DISTINCT ?g WHERE { ?g property:child resource:Matthew_the_Apostle . ?g rdf:type ontology:common_name }
[]