Simple Question (Direct)
Simple Question
Q510386
P20
Q56061
USER
Where did José Hermano Saraiva expire ?
(Q510386,P20,c(Q56061))
action filter_type
action find
entity Q510386
relation P20
type Q56061
['Q510386', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q510386 property:P20 ?e . ?e rdf:type ontology:Q56061 }
José Hermano Saraiva
action filter_type
action find
entity José Hermano Saraiva
relation place of death
type administrative territorial entity
['José Hermano Saraiva', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:José_Hermano_Saraiva property:place_of_death ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q173699
SYSTEM
Setúbal
Q173699
(Q510386,P20,c(Q56061))
action filter_type
action find
entity Q510386
relation P20
type Q56061
José Hermano Saraiva expired [ANSWER]
['Q510386', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q510386 property:P20 ?e . ?e rdf:type ontology:Q56061 }
Setúbal
José Hermano Saraiva expired Setúbal
Setúbal
action filter_type
action find
entity José Hermano Saraiva
relation place of death
type administrative territorial entity
['José Hermano Saraiva', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:José_Hermano_Saraiva property:place_of_death ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q510386
P19
Q56061
USER
Where was José Hermano Saraiva born ?
(Q510386,P19,c(Q56061))
action filter_type
action find
entity Q510386
relation P19
type Q56061
['Q510386', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { resource:Q510386 property:P19 ?c . ?c rdf:type ontology:Q56061 }
José Hermano Saraiva
action filter_type
action find
entity José Hermano Saraiva
relation place of birth
type administrative territorial entity
['José Hermano Saraiva', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { resource:José_Hermano_Saraiva property:place_of_birth ?c . ?c rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q206933
SYSTEM
Leiria
Q206933
(Q510386,P19,c(Q56061))
action filter_type
action find
entity Q510386
relation P19
type Q56061
José Hermano Saraiva was born in [ANSWER]
['Q510386', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { resource:Q510386 property:P19 ?c . ?c rdf:type ontology:Q56061 }
Leiria
José Hermano Saraiva was born in Leiria
Leiria
action filter_type
action find
entity José Hermano Saraiva
relation place of birth
type administrative territorial entity
['José Hermano Saraiva', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { resource:José_Hermano_Saraiva property:place_of_birth ?c . ?c rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q206933
P17
Q15617994
USER
Which administrative territory is that administrative territory located in ?
(Q206933,P17,c(Q15617994))
action filter_type
action find
entity Q206933
relation P17
type Q15617994
['Q206933', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q15617994 . resource:Q206933 property:P17 ?k }
Leiria
action filter_type
action find
entity Leiria
relation country
type designation for an administrative territorial entity
['Leiria', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Leiria property:country ?k }
[]
designation for an administrative territorial entity
Q45
SYSTEM
Portugal
Q45
(Q206933,P17,c(Q15617994))
action filter_type
action find
entity Q206933
relation P17
type Q15617994
That administrative territory is located in [ANSWER]
['Q206933', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:Q15617994 . resource:Q206933 property:P17 ?k }
Portugal
That administrative territory is located in Portugal
Portugal
action filter_type
action find
entity Leiria
relation country
type designation for an administrative territorial entity
['Leiria', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { ?k rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Leiria property:country ?k }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q45 Q408 Q183
P530
Q1048835
USER
Does Portugal have ambassadorial relations with Australia and Germany ?
(Q45,P530,Q408) (Q45,P530,Q183)
action is_in
entity Q45
action intersection
action find_reverse
entity Q408
relation P530
action find_reverse
entity Q183
relation P530
['Q45', 'P530', 'Q408'] ['Q45', 'P530', 'Q183']
ASK WHERE { resource:Q45 property:P530 resource:Q408 . resource:Q45 property:P530 resource:Q183 }
Portugal Australia Germany
action is_in
entity Portugal
action intersection
action find_reverse
entity Australia
relation diplomatic relation
action find_reverse
entity Germany
relation diplomatic relation
['Portugal', 'diplomatic relation', 'Australia'] ['Portugal', 'diplomatic relation', 'Germany']
ASK WHERE { resource:Portugal property:diplomatic_relation resource:Australia . resource:Portugal property:diplomatic_relation resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q45,P530,Q408) (Q45,P530,Q183)
action is_in
entity Q45
action intersection
action find_reverse
entity Q408
relation P530
action find_reverse
entity Q183
relation P530
[ANSWER]
['Q45', 'P530', 'Q408'] ['Q45', 'P530', 'Q183']
ASK WHERE { resource:Q45 property:P530 resource:Q408 . resource:Q45 property:P530 resource:Q183 }
Yes
action is_in
entity Portugal
action intersection
action find_reverse
entity Australia
relation diplomatic relation
action find_reverse
entity Germany
relation diplomatic relation
['Portugal', 'diplomatic relation', 'Australia'] ['Portugal', 'diplomatic relation', 'Germany']
ASK WHERE { resource:Portugal property:diplomatic_relation resource:Australia . resource:Portugal property:diplomatic_relation resource:Germany }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q45
P194
Q1752346
USER
Which assembly represents that administrative territory ?
action filter_type
action find
entity Q45
relation P194
type Q1752346
SELECT DISTINCT ?z WHERE { resource:Q45 property:P194 ?z . ?z rdf:type ontology:Q1752346 }
Portugal
action filter_type
action find
entity Portugal
relation legislative body
type assembly
SELECT DISTINCT ?z WHERE { resource:Portugal property:legislative_body ?z . ?z rdf:type ontology:assembly }
[]
assembly
Q740564
SYSTEM
Assembly of the Republic
Q740564
action filter_type
action find
entity Q45
relation P194
type Q1752346
The [ANSWER] represents that administrative territory
SELECT DISTINCT ?z WHERE { resource:Q45 property:P194 ?z . ?z rdf:type ontology:Q1752346 }
Assembly of the Republic
The Assembly of the Republic represents that administrative territory
Assembly of the Republic
action filter_type
action find
entity Portugal
relation legislative body
type assembly
SELECT DISTINCT ?z WHERE { resource:Portugal property:legislative_body ?z . ?z rdf:type ontology:assembly }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q740564
P1001
Q15617994
USER
Which administrative territory belongs to jurisdiction of that assembly ?
(Q740564,P1001,c(Q15617994))
action filter_type
action find
entity Q740564
relation P1001
type Q15617994
['Q740564', 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q740564 property:P1001 ?l . ?l rdf:type ontology:Q15617994 }
Assembly of the Republic
action filter_type
action find
entity Assembly of the Republic
relation applies to jurisdiction
type designation for an administrative territorial entity
['Assembly of the Republic', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Assembly_of_the_Republic property:applies_to_jurisdiction ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q45
SYSTEM
Portugal
Q45
(Q740564,P1001,c(Q15617994))
action filter_type
action find
entity Q740564
relation P1001
type Q15617994
[ANSWER] belongs to jurisdiction of that assembly
['Q740564', 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q740564 property:P1001 ?l . ?l rdf:type ontology:Q15617994 }
Portugal
Portugal belongs to jurisdiction of that assembly
Portugal
action filter_type
action find
entity Assembly of the Republic
relation applies to jurisdiction
type designation for an administrative territorial entity
['Assembly of the Republic', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Assembly_of_the_Republic property:applies_to_jurisdiction ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q45
P85
Q484692
USER
Which is the national anthem of that administrative territory ?
(Q45,P85,c(Q484692))
action filter_type
action find
entity Q45
relation P85
type Q484692
['Q45', 'P85', {'concept': 'Q484692'}]
SELECT DISTINCT ?b WHERE { resource:Q45 property:P85 ?b . ?b rdf:type ontology:Q484692 }
Portugal
action filter_type
action find
entity Portugal
relation anthem
type hymn
['Portugal', 'anthem', {'concept': 'hymn'}]
SELECT DISTINCT ?b WHERE { resource:Portugal property:anthem ?b . ?b rdf:type ontology:hymn }
[]
hymn
Q161049
SYSTEM
A Portuguesa
Q161049
(Q45,P85,c(Q484692))
action filter_type
action find
entity Q45
relation P85
type Q484692
The national anthem of that administrative territory is called [ANSWER]
['Q45', 'P85', {'concept': 'Q484692'}]
SELECT DISTINCT ?b WHERE { resource:Q45 property:P85 ?b . ?b rdf:type ontology:Q484692 }
A Portuguesa
The national anthem of that administrative territory is called A Portuguesa
A Portuguesa
action filter_type
action find
entity Portugal
relation anthem
type hymn
['Portugal', 'anthem', {'concept': 'hymn'}]
SELECT DISTINCT ?b WHERE { resource:Portugal property:anthem ?b . ?b rdf:type ontology:hymn }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q740564
P361
Q12737077
USER
What is a part of Assembly of the Republic ?
(c(Q12737077),P361,Q740564)
action filter_type
action find_reverse
entity Q740564
relation P361
type Q12737077
[{'concept': 'Q12737077'}, 'P361', 'Q740564']
SELECT DISTINCT ?v WHERE { ?v property:P361 resource:Q740564 . ?v rdf:type ontology:Q12737077 }
Assembly of the Republic
action filter_type
action find_reverse
entity Assembly of the Republic
relation part of
type occupation
[{'concept': 'occupation'}, 'part of', 'Assembly of the Republic']
SELECT DISTINCT ?v WHERE { ?v property:part_of resource:Assembly_of_the_Republic . ?v rdf:type ontology:occupation }
[]
occupation
Q19953703
SYSTEM
Member of the Assembly of the Republic
Q19953703
(c(Q12737077),P361,Q740564)
action filter_type
action find_reverse
entity Q740564
relation P361
type Q12737077
A part of Assembly of the Republic is elected [ANSWER]
[{'concept': 'Q12737077'}, 'P361', 'Q740564']
SELECT DISTINCT ?v WHERE { ?v property:P361 resource:Q740564 . ?v rdf:type ontology:Q12737077 }
Member of the Assembly of the Republic
A part of Assembly of the Republic is elected Member of the Assembly of the Republic
Member of the Assembly of the Republic
action filter_type
action find_reverse
entity Assembly of the Republic
relation part of
type occupation
[{'concept': 'occupation'}, 'part of', 'Assembly of the Republic']
SELECT DISTINCT ?v WHERE { ?v property:part_of resource:Assembly_of_the_Republic . ?v rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q19953703 Q46364 Q60240
P1001
Q15617994
USER
Does that occupation have control over the jurisdiction of Velo d'Astico and Perry Green ?
(Q19953703,P1001,Q46364) (Q19953703,P1001,Q60240)
action is_in
entity Q19953703
action intersection
action find_reverse
entity Q46364
relation P1001
action find_reverse
entity Q60240
relation P1001
['Q19953703', 'P1001', 'Q46364'] ['Q19953703', 'P1001', 'Q60240']
ASK WHERE { resource:Q19953703 property:P1001 resource:Q46364 . resource:Q19953703 property:P1001 resource:Q60240 }
Member of the Assembly of the Republic Velo d'Astico Perry Green
action is_in
entity Member of the Assembly of the Republic
action intersection
action find_reverse
entity Velo d'Astico
relation applies to jurisdiction
action find_reverse
entity Perry Green
relation applies to jurisdiction
['Member of the Assembly of the Republic', 'applies to jurisdiction', "Velo d'Astico"] ['Member of the Assembly of the Republic', 'applies to jurisdiction', 'Perry Green']
ASK WHERE { resource:Member_of_the_Assembly_of_the_Republic property:applies_to_jurisdiction resource:Velo_d'Astico . resource:Member_of_the_Assembly_of_the_Republic property:applies_to_jurisdiction resource:Perry_Green }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q19953703,P1001,Q46364) (Q19953703,P1001,Q60240)
action is_in
entity Q19953703
action intersection
action find_reverse
entity Q46364
relation P1001
action find_reverse
entity Q60240
relation P1001
[ANSWER]
['Q19953703', 'P1001', 'Q46364'] ['Q19953703', 'P1001', 'Q60240']
ASK WHERE { resource:Q19953703 property:P1001 resource:Q46364 . resource:Q19953703 property:P1001 resource:Q60240 }
No
action is_in
entity Member of the Assembly of the Republic
action intersection
action find_reverse
entity Velo d'Astico
relation applies to jurisdiction
action find_reverse
entity Perry Green
relation applies to jurisdiction
['Member of the Assembly of the Republic', 'applies to jurisdiction', "Velo d'Astico"] ['Member of the Assembly of the Republic', 'applies to jurisdiction', 'Perry Green']
ASK WHERE { resource:Member_of_the_Assembly_of_the_Republic property:applies_to_jurisdiction resource:Velo_d'Astico . resource:Member_of_the_Assembly_of_the_Republic property:applies_to_jurisdiction resource:Perry_Green }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P291
Q56061 Q1002697 Q732577
USER
Which administrative territories are the places of publication of max number of periodical literatures and publications ?
(c(Q1002697)|c(Q732577),P291,c(Q56061))
action argmax
action union
action find_reverse_tuple_counts
relation P291
type Q56061
type Q1002697
action find_reverse_tuple_counts
relation P291
type Q56061
type Q732577
[[{'concept': 'Q1002697'}, {'concept': 'Q732577'}], 'P291', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?o ) { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?d ) WHERE { { ?a rdf:type ontology:Q1002697 . ?x rdf:type ontology:Q56061 . ?a property:P291 ?x } UNION { ?a property:P291 ?x . ?x rdf:type ontology:Q56061 . ?a rdf:type ontology:Q732577 } } GROUP BY ?x } } . { SELECT DISTINCT ?h ( COUNT ( ?n ) AS ?l ) WHERE { VALUES ( ?q ) { ( ontology:Q1002697 ) ( ontology:Q732577 ) } . ?n rdf:type ?q } GROUP BY ?h } . FILTER ( ?l = ?o ) }
action argmax
action union
action find_reverse_tuple_counts
relation place of publication
type administrative territorial entity
type periodical literature
action find_reverse_tuple_counts
relation place of publication
type administrative territorial entity
type publication
[[{'concept': 'periodical literature'}, {'concept': 'publication'}], 'place of publication', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?o ) { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?d ) WHERE { { ?a rdf:type ontology:periodical_literature . ?x rdf:type ontology:administrative_territorial_entity . ?a property:place_of_publication ?x } UNION { ?a property:place_of_publication ?x . ?x rdf:type ontology:administrative_territorial_entity . ?a rdf:type ontology:publication } } GROUP BY ?x } } . { SELECT DISTINCT ?h ( COUNT ( ?n ) AS ?l ) WHERE { VALUES ( ?q ) { ( ontology:periodical_literature ) ( ontology:publication ) } . ?n rdf:type ?q } GROUP BY ?h } . FILTER ( ?l = ?o ) }
[]
administrative territorial entity periodical literature publication
Q60
SYSTEM
New York City
Q60
(c(Q1002697)|c(Q732577),P291,c(Q56061))
action argmax
action union
action find_reverse_tuple_counts
relation P291
type Q56061
type Q1002697
action find_reverse_tuple_counts
relation P291
type Q56061
type Q732577
[ANSWER] is the places of publication of max number of periodical literatures and publications
[[{'concept': 'Q1002697'}, {'concept': 'Q732577'}], 'P291', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?o ) { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?d ) WHERE { { ?a rdf:type ontology:Q1002697 . ?x rdf:type ontology:Q56061 . ?a property:P291 ?x } UNION { ?a property:P291 ?x . ?x rdf:type ontology:Q56061 . ?a rdf:type ontology:Q732577 } } GROUP BY ?x } } . { SELECT DISTINCT ?h ( COUNT ( ?n ) AS ?l ) WHERE { VALUES ( ?q ) { ( ontology:Q1002697 ) ( ontology:Q732577 ) } . ?n rdf:type ?q } GROUP BY ?h } . FILTER ( ?l = ?o ) }
New York City
New York City is the places of publication of max number of periodical literatures and publications
New York City
action argmax
action union
action find_reverse_tuple_counts
relation place of publication
type administrative territorial entity
type periodical literature
action find_reverse_tuple_counts
relation place of publication
type administrative territorial entity
type publication
[[{'concept': 'periodical literature'}, {'concept': 'publication'}], 'place of publication', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?d ) AS ?o ) { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?d ) WHERE { { ?a rdf:type ontology:periodical_literature . ?x rdf:type ontology:administrative_territorial_entity . ?a property:place_of_publication ?x } UNION { ?a property:place_of_publication ?x . ?x rdf:type ontology:administrative_territorial_entity . ?a rdf:type ontology:publication } } GROUP BY ?x } } . { SELECT DISTINCT ?h ( COUNT ( ?n ) AS ?l ) WHERE { VALUES ( ?q ) { ( ontology:periodical_literature ) ( ontology:publication ) } . ?n rdf:type ?q } GROUP BY ?h } . FILTER ( ?l = ?o ) }
[]