Simple Question (Direct)
Simple Question
Q237907
P2348
Q3024240
USER
When did Galla Placidia occur ?
(Q237907,P2348,c(Q3024240))
action filter_type
action find
entity Q237907
relation P2348
type Q3024240
['Q237907', 'P2348', {'concept': 'Q3024240'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q3024240 . resource:Q237907 property:P2348 ?u }
Galla Placidia
action filter_type
action find
entity Galla Placidia
relation period
type former country
['Galla Placidia', 'period', {'concept': 'former country'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:former_country . resource:Galla_Placidia property:period ?u }
[]
former country
Q2277
SYSTEM
Roman Empire
Q2277
(Q237907,P2348,c(Q3024240))
action filter_type
action find
entity Q237907
relation P2348
type Q3024240
Galla Placidia occurred the [ANSWER]
['Q237907', 'P2348', {'concept': 'Q3024240'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q3024240 . resource:Q237907 property:P2348 ?u }
Roman Empire
Galla Placidia occurred the Roman Empire
Roman Empire
action filter_type
action find
entity Galla Placidia
relation period
type former country
['Galla Placidia', 'period', {'concept': 'former country'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:former_country . resource:Galla_Placidia property:period ?u }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q237907
P25
Q502895
USER
Which person has that one as mom ?
(c(Q502895),P25,Q2277)
action filter_type
action find_reverse
entity Q237907
relation P25
type Q502895
[{'concept': 'Q502895'}, 'P25', 'Q2277']
SELECT DISTINCT ?t WHERE { ?t property:P25 resource:Q237907 . ?t rdf:type ontology:Q502895 }
Galla Placidia
action filter_type
action find_reverse
entity Galla Placidia
relation mother
type common name
[{'concept': 'common name'}, 'mother', 'Roman Empire']
SELECT DISTINCT ?t WHERE { ?t property:mother resource:Galla_Placidia . ?t rdf:type ontology:common_name }
[]
common name
Q170026
SYSTEM
Valentinian III
Q170026
(c(Q502895),P25,Q2277)
action filter_type
action find_reverse
entity Q237907
relation P25
type Q502895
[ANSWER] has that one as mom
[{'concept': 'Q502895'}, 'P25', 'Q2277']
SELECT DISTINCT ?t WHERE { ?t property:P25 resource:Q237907 . ?t rdf:type ontology:Q502895 }
Valentinian III
Valentinian III has that one as mom
Valentinian III
action filter_type
action find_reverse
entity Galla Placidia
relation mother
type common name
[{'concept': 'common name'}, 'mother', 'Roman Empire']
SELECT DISTINCT ?t WHERE { ?t property:mother resource:Galla_Placidia . ?t rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q170026 Q220
P20
Q56061
USER
Did that person expire Rome ?
(Q170026,P20,Q220)
action is_in
entity Q220
action find
entity Q170026
relation P20
['Q170026', 'P20', 'Q220']
ASK WHERE { resource:Q170026 property:P20 resource:Q220 }
Valentinian III Rome
action is_in
entity Rome
action find
entity Valentinian III
relation place of death
['Valentinian III', 'place of death', 'Rome']
ASK WHERE { resource:Valentinian_III property:place_of_death resource:Rome }
[]
administrative territorial entity
SYSTEM
YES
(Q170026,P20,Q220)
action is_in
entity Q220
action find
entity Q170026
relation P20
[ANSWER]
['Q170026', 'P20', 'Q220']
ASK WHERE { resource:Q170026 property:P20 resource:Q220 }
Yes
action is_in
entity Rome
action find
entity Valentinian III
relation place of death
['Valentinian III', 'place of death', 'Rome']
ASK WHERE { resource:Valentinian_III property:place_of_death resource:Rome }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q998288 Q220
P47 P17
Q15617994
USER
Which administrative territories are bordered by Rome or do Tiéfora Department belong to ?
OR((Q220,P47,c(Q15617994)), (Q998288,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q220
relation P47
action find
entity Q998288
relation P17
type Q15617994
{'OR': [['Q220', 'P47', {'concept': 'Q15617994'}], ['Q998288', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q220 property:P47 ?s } UNION { resource:Q998288 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
Tiéfora Department Rome
action filter_type
action union
action find
entity Rome
relation shares border with
action find
entity Tiéfora Department
relation country
type designation for an administrative territorial entity
{'OR': [['Rome', 'shares border with', {'concept': 'designation for an administrative territorial entity'}], ['Tiéfora Department', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Rome property:shares_border_with ?s } UNION { resource:Tiéfora_Department property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q19326 Q191115 Q965 Q241911 Q243311 Q242703 Q159605 Q242661 Q242645 Q242998
SYSTEM
Some of them are Fiumicino, Albano Laziale, Burkina Faso, Campagnano di Roma, Sacrofano, Grottaferrata, Tivoli, Gallicano nel Lazio, Formello, Monterotondo
Q241693 Q242710 Q242637 Q242558 Q242513 Q191115 Q243188 Q242926 Q243364 Q140255 Q242965 Q242645 Q242105 Q19326 Q242661 Q242120 Q242942 Q241733 Q242703 Q965 Q243133 Q241911 Q243311 Q242998 Q243497 Q159605 Q190963 Q243168 Q243172
OR((Q220,P47,c(Q15617994)), (Q998288,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q220
relation P47
action find
entity Q998288
relation P17
type Q15617994
[ANSWERS] are bordered by Rome or do Tiéfora Department belong to
{'OR': [['Q220', 'P47', {'concept': 'Q15617994'}], ['Q998288', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q220 property:P47 ?s } UNION { resource:Q998288 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
Anguillara Sabazia Guidonia Montecelio Fonte Nuova Colonna, Lazio Ciampino Albano Laziale Riano, Lazio Marino, Lazio San Gregorio da Sassola Zagarolo Monte Porzio Catone Formello Castel Gandolfo Fiumicino Gallicano nel Lazio Castel San Pietro Romano Mentana Ardea Grottaferrata Burkina Faso Palestrina Campagnano di Roma Sacrofano Monterotondo Trevignano Romano Tivoli Frascati Poli, Lazio Pomezia
Fiumicino, Albano Laziale, Burkina Faso, Campagnano di Roma, Sacrofano, Grottaferrata, Tivoli, Gallicano nel Lazio, Formello and Monterotondo are bordered by Rome or do Tiéfora Department belong to
Fiumicino Albano Laziale Burkina Faso Campagnano di Roma Sacrofano Grottaferrata Tivoli Gallicano nel Lazio Formello Monterotondo
action filter_type
action union
action find
entity Rome
relation shares border with
action find
entity Tiéfora Department
relation country
type designation for an administrative territorial entity
{'OR': [['Rome', 'shares border with', {'concept': 'designation for an administrative territorial entity'}], ['Tiéfora Department', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Rome property:shares_border_with ?s } UNION { resource:Tiéfora_Department property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P36
Q515 Q486972 Q15617994
USER
Which administrative territories have max number of cities or human settlements as their administrative centre ?
(c(Q15617994),P36,c(Q515)|c(Q486972))
action argmax
action union
action find_tuple_counts
relation P36
type Q15617994
type Q515
action find_tuple_counts
relation P36
type Q15617994
type Q486972
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q515'}, {'concept': 'Q486972'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?k ) WHERE { { ?j property:P36 ?g . ?j rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q515 } UNION { ?j property:P36 ?g . ?j rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q486972 } } GROUP BY ?j } } . { SELECT DISTINCT ?p ( COUNT ( ?y ) AS ?v ) WHERE { { ?p property:P36 ?y . ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q515 } UNION { ?p property:P36 ?y . ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q486972 } } GROUP BY ?p } . FILTER ( ?v = ?d ) }
action argmax
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type city
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type human settlement
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'city'}, {'concept': 'human settlement'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?k ) WHERE { { ?j property:capital ?g . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:city } UNION { ?j property:capital ?g . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:human_settlement } } GROUP BY ?j } } . { SELECT DISTINCT ?p ( COUNT ( ?y ) AS ?v ) WHERE { { ?p property:capital ?y . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:city } UNION { ?p property:capital ?y . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:human_settlement } } GROUP BY ?p } . FILTER ( ?v = ?d ) }
[]
city human settlement designation for an administrative territorial entity
Q252
SYSTEM
Indonesia
Q252
(c(Q15617994),P36,c(Q515)|c(Q486972))
action argmax
action union
action find_tuple_counts
relation P36
type Q15617994
type Q515
action find_tuple_counts
relation P36
type Q15617994
type Q486972
[ANSWER] have max number of cities or human settlements as their administrative centre
[{'concept': 'Q15617994'}, 'P36', [{'concept': 'Q515'}, {'concept': 'Q486972'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?k ) WHERE { { ?j property:P36 ?g . ?j rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q515 } UNION { ?j property:P36 ?g . ?j rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q486972 } } GROUP BY ?j } } . { SELECT DISTINCT ?p ( COUNT ( ?y ) AS ?v ) WHERE { { ?p property:P36 ?y . ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q515 } UNION { ?p property:P36 ?y . ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q486972 } } GROUP BY ?p } . FILTER ( ?v = ?d ) }
Indonesia
Indonesia have max number of cities or human settlements as their administrative centre
Indonesia
action argmax
action union
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type city
action find_tuple_counts
relation capital
type designation for an administrative territorial entity
type human settlement
[{'concept': 'designation for an administrative territorial entity'}, 'capital', [{'concept': 'city'}, {'concept': 'human settlement'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?j ( COUNT ( ?g ) AS ?k ) WHERE { { ?j property:capital ?g . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:city } UNION { ?j property:capital ?g . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:human_settlement } } GROUP BY ?j } } . { SELECT DISTINCT ?p ( COUNT ( ?y ) AS ?v ) WHERE { { ?p property:capital ?y . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:city } UNION { ?p property:capital ?y . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:human_settlement } } GROUP BY ?p } . FILTER ( ?v = ?d ) }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q252 Q21883125
P17
Q355304
USER
Is Talleranie Creek present in that administrative territory ?
(Q21883125,P17,Q252)
action is_in
entity Q21883125
action find
entity Q252
relation P17
['Q21883125', 'P17', 'Q252']
ASK WHERE { resource:Q252 property:P17 resource:Q21883125 }
Indonesia Talleranie Creek
action is_in
entity Talleranie Creek
action find
entity Indonesia
relation country
['Talleranie Creek', 'country', 'Indonesia']
ASK WHERE { resource:Indonesia property:country resource:Talleranie_Creek }
[]
watercourse
SYSTEM
NO
(Q21883125,P17,Q252)
action is_in
entity Q21883125
action find
entity Q252
relation P17
[ANSWER]
['Q21883125', 'P17', 'Q252']
ASK WHERE { resource:Q252 property:P17 resource:Q21883125 }
No
action is_in
entity Talleranie Creek
action find
entity Indonesia
relation country
['Talleranie Creek', 'country', 'Indonesia']
ASK WHERE { resource:Indonesia property:country resource:Talleranie_Creek }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q252
P1532
Q502895
USER
Which people play for that administrative territory ?
action filter_type
action find_reverse
entity Q252
relation P1532
type Q502895
SELECT DISTINCT ?f WHERE { ?f property:P1532 resource:Q252 . ?f rdf:type ontology:Q502895 }
Indonesia
action filter_type
action find_reverse
entity Indonesia
relation country for sport
type common name
SELECT DISTINCT ?f WHERE { ?f property:country_for_sport resource:Indonesia . ?f rdf:type ontology:common_name }
[]
common name
Q23322478 Q20630255
SYSTEM
Iswandi, Ferry A
Q23322478 Q20630255
action filter_type
action find_reverse
entity Q252
relation P1532
type Q502895
[ANSWERS] play for that administrative territory
SELECT DISTINCT ?f WHERE { ?f property:P1532 resource:Q252 . ?f rdf:type ontology:Q502895 }
Iswandi Ferry A
Iswandi and Ferry A play for that administrative territory
Iswandi Ferry A
action filter_type
action find_reverse
entity Indonesia
relation country for sport
type common name
SELECT DISTINCT ?f WHERE { ?f property:country_for_sport resource:Indonesia . ?f rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2277
P1444
Q502895
USER
Which person finally halts at Roman Empire ?
(c(Q502895),P1444,Q2277)
action filter_type
action find_reverse
entity Q2277
relation P1444
type Q502895
[{'concept': 'Q502895'}, 'P1444', 'Q2277']
SELECT DISTINCT ?m WHERE { ?m property:P1444 resource:Q2277 . ?m rdf:type ontology:Q502895 }
Roman Empire
action filter_type
action find_reverse
entity Roman Empire
relation destination point
type common name
[{'concept': 'common name'}, 'destination point', 'Roman Empire']
SELECT DISTINCT ?m WHERE { ?m property:destination_point resource:Roman_Empire . ?m rdf:type ontology:common_name }
[]
common name
Q715856
SYSTEM
Coenred of Mercia
Q715856
(c(Q502895),P1444,Q2277)
action filter_type
action find_reverse
entity Q2277
relation P1444
type Q502895
[ANSWER] finally halts at Roman Empire
[{'concept': 'Q502895'}, 'P1444', 'Q2277']
SELECT DISTINCT ?m WHERE { ?m property:P1444 resource:Q2277 . ?m rdf:type ontology:Q502895 }
Coenred of Mercia
Coenred of Mercia finally halts at Roman Empire
Coenred of Mercia
action filter_type
action find_reverse
entity Roman Empire
relation destination point
type common name
[{'concept': 'common name'}, 'destination point', 'Roman Empire']
SELECT DISTINCT ?m WHERE { ?m property:destination_point resource:Roman_Empire . ?m rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2277
P361
Q1048835
USER
What is that former country a portion of ?
(Q715856,P361,c(Q1048835))
action filter_type
action find
entity Q2277
relation P361
type Q1048835
['Q715856', 'P361', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { resource:Q2277 property:P361 ?k . ?k rdf:type ontology:Q1048835 }
Roman Empire
action filter_type
action find
entity Roman Empire
relation part of
type political territorial entity
['Coenred of Mercia', 'part of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { resource:Roman_Empire property:part_of ?k . ?k rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q1747689
SYSTEM
Ancient Rome
Q1747689
(Q715856,P361,c(Q1048835))
action filter_type
action find
entity Q2277
relation P361
type Q1048835
That former country a portion of is in [ANSWER]
['Q715856', 'P361', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { resource:Q2277 property:P361 ?k . ?k rdf:type ontology:Q1048835 }
Ancient Rome
That former country a portion of is in Ancient Rome
Ancient Rome
action filter_type
action find
entity Roman Empire
relation part of
type political territorial entity
['Coenred of Mercia', 'part of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { resource:Roman_Empire property:part_of ?k . ?k rdf:type ontology:political_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q5209566 Q170026
P20 P159
Q56061
USER
Which administrative territories did the demise of Valentinian III occur or are the headquarters of Dairy Farmers of America located ?
OR((Q170026,P20,c(Q56061)), (Q5209566,P159,c(Q56061)))
action filter_type
action union
action find
entity Q170026
relation P20
action find
entity Q5209566
relation P159
type Q56061
{'OR': [['Q170026', 'P20', {'concept': 'Q56061'}], ['Q5209566', 'P159', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q170026 property:P20 ?n } UNION { resource:Q5209566 property:P159 ?n } } . ?n rdf:type ontology:Q56061 }
Dairy Farmers of America Valentinian III
action filter_type
action union
action find
entity Valentinian III
relation place of death
action find
entity Dairy Farmers of America
relation headquarters location
type administrative territorial entity
{'OR': [['Valentinian III', 'place of death', {'concept': 'administrative territorial entity'}], ['Dairy Farmers of America', 'headquarters location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Valentinian_III property:place_of_death ?n } UNION { resource:Dairy_Farmers_of_America property:headquarters_location ?n } } . ?n rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q41819 Q220
SYSTEM
Kansas City, Rome
Q41819 Q220
OR((Q170026,P20,c(Q56061)), (Q5209566,P159,c(Q56061)))
action filter_type
action union
action find
entity Q170026
relation P20
action find
entity Q5209566
relation P159
type Q56061
The demise of Valentinian III occurred or the headquarters of Dairy Farmers of America in [ANSWERS]
{'OR': [['Q170026', 'P20', {'concept': 'Q56061'}], ['Q5209566', 'P159', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q170026 property:P20 ?n } UNION { resource:Q5209566 property:P159 ?n } } . ?n rdf:type ontology:Q56061 }
Kansas City Rome
The demise of Valentinian III occurred or the headquarters of Dairy Farmers of America in Kansas City and Rome
Kansas City Rome
action filter_type
action union
action find
entity Valentinian III
relation place of death
action find
entity Dairy Farmers of America
relation headquarters location
type administrative territorial entity
{'OR': [['Valentinian III', 'place of death', {'concept': 'administrative territorial entity'}], ['Dairy Farmers of America', 'headquarters location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Valentinian_III property:place_of_death ?n } UNION { resource:Dairy_Farmers_of_America property:headquarters_location ?n } } . ?n rdf:type ontology:administrative_territorial_entity }
[]