Simple Question (Direct)
Simple Question
Q460198
P20
Q56061
USER
Where did the expiration of Ignacio Zuloaga occur ?
(Q460198,P20,c(Q56061))
action filter_type
action find
entity Q460198
relation P20
type Q56061
['Q460198', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { resource:Q460198 property:P20 ?h . ?h rdf:type ontology:Q56061 }
Ignacio Zuloaga
action filter_type
action find
entity Ignacio Zuloaga
relation place of death
type administrative territorial entity
['Ignacio Zuloaga', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Ignacio_Zuloaga property:place_of_death ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q2807
SYSTEM
Madrid
Q2807
(Q460198,P20,c(Q56061))
action filter_type
action find
entity Q460198
relation P20
type Q56061
The expiration of Ignacio Zuloaga occurred in [ANSWER]
['Q460198', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { resource:Q460198 property:P20 ?h . ?h rdf:type ontology:Q56061 }
Madrid
The expiration of Ignacio Zuloaga occurred in Madrid
Madrid
action filter_type
action find
entity Ignacio Zuloaga
relation place of death
type administrative territorial entity
['Ignacio Zuloaga', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Ignacio_Zuloaga property:place_of_death ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2807
P1376
Q7275
USER
Which states have that administrative territory as their county seat ?
(Q2807,P1376,c(Q7275))
action filter_type
action find
entity Q2807
relation P1376
type Q7275
['Q2807', 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?f WHERE { resource:Q2807 property:P1376 ?f . ?f rdf:type ontology:Q7275 }
Madrid
action filter_type
action find
entity Madrid
relation capital of
type state
['Madrid', 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?f WHERE { resource:Madrid property:capital_of ?f . ?f rdf:type ontology:state }
[]
state
Q1709185 Q1044536 Q497777
SYSTEM
Kingdom of Spain under Joseph Bonaparte, Spain under the Restoration, First Spanish Republic
Q1044536 Q178038 Q1709185 Q497777
(Q2807,P1376,c(Q7275))
action filter_type
action find
entity Q2807
relation P1376
type Q7275
[ANSWERS] have that administrative territory as their county seat
['Q2807', 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?f WHERE { resource:Q2807 property:P1376 ?f . ?f rdf:type ontology:Q7275 }
Spain under the Restoration Second Spanish Republic Kingdom of Spain under Joseph Bonaparte First Spanish Republic
Kingdom of Spain under Joseph Bonaparte, Spain under the Restoration and First Spanish Republic have that administrative territory as their county seat
Kingdom of Spain under Joseph Bonaparte Spain under the Restoration First Spanish Republic
action filter_type
action find
entity Madrid
relation capital of
type state
['Madrid', 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?f WHERE { resource:Madrid property:capital_of ?f . ?f rdf:type ontology:state }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q150061
P1376
Q7275 Q20667921 Q515
USER
Which states have greater number of french administrative divisions or cities as their capital than Republic of Ararat ?
(c(Q20667921)|c(Q515),P1376,c(Q7275))
action greater
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q515
action count
action filter_multi_types
action find_reverse
entity Q150061
relation P1376
type Q20667921
type Q515
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?m ) ?o WHERE { { ?j property:P1376 ?o . ?j rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q7275 } UNION { ?o rdf:type ontology:Q7275 . ?j rdf:type ontology:Q515 . ?j property:P1376 ?o } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:P1376 resource:Q150061 . { { ?a rdf:type ontology:Q20667921 } UNION { ?a rdf:type ontology:Q515 } } } } . FILTER ( ?m > ?i ) }
Republic of Ararat
action greater
action union
action find_reverse_tuple_counts
relation capital of
type state
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type state
type city
action count
action filter_multi_types
action find_reverse
entity Republic of Ararat
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?m ) ?o WHERE { { ?j property:capital_of ?o . ?j rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:state } UNION { ?o rdf:type ontology:state . ?j rdf:type ontology:city . ?j property:capital_of ?o } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:capital_of resource:Republic_of_Ararat . { { ?a rdf:type ontology:type_of_french_administrative_division } UNION { ?a rdf:type ontology:city } } } } . FILTER ( ?m > ?i ) }
[]
state type of french administrative division city
Q133356 Q112558 Q213586
SYSTEM
Ukrainian Soviet Socialist Republic, Republic of Saugeais, Gondor
Q178665 Q18285930 Q3456417 Q855044 Q210198 Q133356 Q215530 Q912043 Q203493 Q1574107 Q15864 Q698089 Q210542 Q2114397 Q220110 Q1414395 Q756895 Q49697 Q6500954 Q274488 Q476757 Q1274468 Q234197 Q1108445 Q153080 Q1154540 Q550374 Q19831559 Q1048918 Q783489 Q618399 Q180573 Q216786 Q752662 Q1668970 Q320930 Q849623 Q139670 Q1138904 Q7352 Q9903 Q941881 Q38060 Q844250 Q738144 Q207521 Q1658411 Q157734 Q1415585 Q146328 Q1508143 Q940821 Q248572 Q697084 Q213586 Q11196 Q842091 Q146713 Q427941 Q697837 Q747314 Q307069 Q28278 Q62454 Q112558 Q1192067 Q2372248 Q505503 Q153015 Q846670 Q696242 Q1479726 Q467864 Q212056 Q13426199 Q3041595 Q484104 Q648297 Q149805
(c(Q20667921)|c(Q515),P1376,c(Q7275))
action greater
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q515
action count
action filter_multi_types
action find_reverse
entity Q150061
relation P1376
type Q20667921
type Q515
[ANSWERS] have greater number of french administrative divisions or cities as their capital than Republic of Ararat
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?m ) ?o WHERE { { ?j property:P1376 ?o . ?j rdf:type ontology:Q20667921 . ?o rdf:type ontology:Q7275 } UNION { ?o rdf:type ontology:Q7275 . ?j rdf:type ontology:Q515 . ?j property:P1376 ?o } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:P1376 resource:Q150061 . { { ?a rdf:type ontology:Q20667921 } UNION { ?a rdf:type ontology:Q515 } } } } . FILTER ( ?m > ?i ) }
Mitanni German Empire of 1848/1849 Republic of Saint-Malo Bhopal State Erivan Khanate Ukrainian Soviet Socialist Republic Kingdom of Ireland Jin Kingdom of Romania Han Zhao United Kingdom of the Netherlands Grand Duchy of Würzburg Second Brazilian Republic Yogyakarta Sultanate Rohan Republic of South Maluku Kediri Liu Song dynasty Zaire Eastern Wu Democratic Republic of Afghanistan Republic of Bosnia and Herzegovina Srivijaya Kievan Rus' East Francia Later Jin Dynasty South African Republic Oldenburg Suebic Kingdom of Galicia Later Liang dynasty Republic of the Congo South Vietnam Champa Hafsid dynasty Western Qin Cao Wei Oyo Empire Democratic Republic of Armenia Kingdom of Afghanistan Jin dynasty Ming imperium Netherlands New Guinea Gaul Lordship of Ireland United Provinces of the Río de la Plata Abyssinia Kingdom of Sarawak Muscat and Oman Islamic State of Afghanistan Commonwealth of the Philippines Ukrainian State People's Democratic Republic of Ethiopia Sultanate of Maguindanao Duchy of Oldenburg Gondor Republika Srpska Duchy of Normandy Arab Federation Islamic Emirate of Afghanistan Mengjiang Bechuanaland Protectorate Eastern Wei Provisional Government of the Republic of Korea Chen dynasty Republic of Saugeais Min Free State of Oldenburg Cochinchina Kingdom of Saxony Danishmends Reorganized National Government of China Federation of Malaya People's Socialist Republic of Albania Mongolian People's Republic Republic of China Republic of Iraq United States Army Military Government in Korea Free State of Brunswick Kingdom of Iraq
Ukrainian Soviet Socialist Republic, Republic of Saugeais and Gondor have greater number of french administrative divisions or cities as their capital than Republic of Ararat
Ukrainian Soviet Socialist Republic Republic of Saugeais Gondor
action greater
action union
action find_reverse_tuple_counts
relation capital of
type state
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type state
type city
action count
action filter_multi_types
action find_reverse
entity Republic of Ararat
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?m ) ?o WHERE { { ?j property:capital_of ?o . ?j rdf:type ontology:type_of_french_administrative_division . ?o rdf:type ontology:state } UNION { ?o rdf:type ontology:state . ?j rdf:type ontology:city . ?j property:capital_of ?o } } GROUP BY ?o } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) WHERE { ?a property:capital_of resource:Republic_of_Ararat . { { ?a rdf:type ontology:type_of_french_administrative_division } UNION { ?a rdf:type ontology:city } } } } . FILTER ( ?m > ?i ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q175276
P1376
Q7275 Q20667921 Q515
USER
And what about Kingdom of León?
(c(Q20667921)|c(Q515),P1376,c(Q7275))
action greater
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q515
action count
action filter_multi_types
action find_reverse
entity Q175276
relation P1376
type Q20667921
type Q515
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) ?v WHERE { { ?i property:P1376 ?v . ?v rdf:type ontology:Q7275 . ?i rdf:type ontology:Q20667921 } UNION { ?v rdf:type ontology:Q7275 . ?i rdf:type ontology:Q515 . ?i property:P1376 ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { ?c property:P1376 resource:Q175276 . { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:Q20667921 ) ( ontology:Q515 ) } } } } . FILTER ( ?m > ?b ) }
Kingdom of León
action greater
action union
action find_reverse_tuple_counts
relation capital of
type state
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type state
type city
action count
action filter_multi_types
action find_reverse
entity Kingdom of León
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) ?v WHERE { { ?i property:capital_of ?v . ?v rdf:type ontology:state . ?i rdf:type ontology:type_of_french_administrative_division } UNION { ?v rdf:type ontology:state . ?i rdf:type ontology:city . ?i property:capital_of ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { ?c property:capital_of resource:Kingdom_of_León . { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:type_of_french_administrative_division ) ( ontology:city ) } } } } . FILTER ( ?m > ?b ) }
[]
state type of french administrative division city
Q133356 Q112558 Q213586
SYSTEM
Ukrainian Soviet Socialist Republic, Republic of Saugeais, Gondor
Q178665 Q18285930 Q3456417 Q855044 Q210198 Q133356 Q215530 Q912043 Q203493 Q1574107 Q15864 Q698089 Q210542 Q2114397 Q220110 Q1414395 Q756895 Q49697 Q6500954 Q274488 Q476757 Q1274468 Q234197 Q1108445 Q153080 Q1154540 Q550374 Q19831559 Q1048918 Q783489 Q618399 Q180573 Q216786 Q752662 Q1668970 Q320930 Q849623 Q139670 Q1138904 Q7352 Q9903 Q941881 Q38060 Q844250 Q738144 Q207521 Q1658411 Q157734 Q1415585 Q146328 Q1508143 Q940821 Q248572 Q697084 Q213586 Q11196 Q842091 Q146713 Q427941 Q697837 Q747314 Q307069 Q28278 Q62454 Q112558 Q1192067 Q2372248 Q505503 Q153015 Q846670 Q696242 Q1479726 Q467864 Q212056 Q13426199 Q3041595 Q484104 Q648297 Q149805
(c(Q20667921)|c(Q515),P1376,c(Q7275))
action greater
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q515
action count
action filter_multi_types
action find_reverse
entity Q175276
relation P1376
type Q20667921
type Q515
[ANSWERS]
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) ?v WHERE { { ?i property:P1376 ?v . ?v rdf:type ontology:Q7275 . ?i rdf:type ontology:Q20667921 } UNION { ?v rdf:type ontology:Q7275 . ?i rdf:type ontology:Q515 . ?i property:P1376 ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { ?c property:P1376 resource:Q175276 . { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:Q20667921 ) ( ontology:Q515 ) } } } } . FILTER ( ?m > ?b ) }
Mitanni German Empire of 1848/1849 Republic of Saint-Malo Bhopal State Erivan Khanate Ukrainian Soviet Socialist Republic Kingdom of Ireland Jin Kingdom of Romania Han Zhao United Kingdom of the Netherlands Grand Duchy of Würzburg Second Brazilian Republic Yogyakarta Sultanate Rohan Republic of South Maluku Kediri Liu Song dynasty Zaire Eastern Wu Democratic Republic of Afghanistan Republic of Bosnia and Herzegovina Srivijaya Kievan Rus' East Francia Later Jin Dynasty South African Republic Oldenburg Suebic Kingdom of Galicia Later Liang dynasty Republic of the Congo South Vietnam Champa Hafsid dynasty Western Qin Cao Wei Oyo Empire Democratic Republic of Armenia Kingdom of Afghanistan Jin dynasty Ming imperium Netherlands New Guinea Gaul Lordship of Ireland United Provinces of the Río de la Plata Abyssinia Kingdom of Sarawak Muscat and Oman Islamic State of Afghanistan Commonwealth of the Philippines Ukrainian State People's Democratic Republic of Ethiopia Sultanate of Maguindanao Duchy of Oldenburg Gondor Republika Srpska Duchy of Normandy Arab Federation Islamic Emirate of Afghanistan Mengjiang Bechuanaland Protectorate Eastern Wei Provisional Government of the Republic of Korea Chen dynasty Republic of Saugeais Min Free State of Oldenburg Cochinchina Kingdom of Saxony Danishmends Reorganized National Government of China Federation of Malaya People's Socialist Republic of Albania Mongolian People's Republic Republic of China Republic of Iraq United States Army Military Government in Korea Free State of Brunswick Kingdom of Iraq
Ukrainian Soviet Socialist Republic Republic of Saugeais Gondor
action greater
action union
action find_reverse_tuple_counts
relation capital of
type state
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type state
type city
action count
action filter_multi_types
action find_reverse
entity Kingdom of León
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?i ) AS ?m ) ?v WHERE { { ?i property:capital_of ?v . ?v rdf:type ontology:state . ?i rdf:type ontology:type_of_french_administrative_division } UNION { ?v rdf:type ontology:state . ?i rdf:type ontology:city . ?i property:capital_of ?v } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { ?c property:capital_of resource:Kingdom_of_León . { ?c rdf:type ?r . VALUES ( ?r ) { ( ontology:type_of_french_administrative_division ) ( ontology:city ) } } } } . FILTER ( ?m > ?b ) }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P47
Q3895768 Q7275
USER
How many fictional locations or states have a shared border with that state ?
(Q213586,P47,c(Q3895768)) (Q213586,P47,c(Q7275)) (Q133356,P47,c(Q3895768)) (Q133356,P47,c(Q7275)) (Q112558,P47,c(Q3895768)) (Q112558,P47,c(Q7275)) (Q213586,P47,c(Q3895768)) (Q213586,P47,c(Q7275))
['Q213586', 'P47', {'concept': 'Q3895768'}] ['Q213586', 'P47', {'concept': 'Q7275'}] ['Q133356', 'P47', {'concept': 'Q3895768'}] ['Q133356', 'P47', {'concept': 'Q7275'}] ['Q112558', 'P47', {'concept': 'Q3895768'}] ['Q112558', 'P47', {'concept': 'Q7275'}] ['Q213586', 'P47', {'concept': 'Q3895768'}] ['Q213586', 'P47', {'concept': 'Q7275'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Q213586 property:P47 ?z } UNION { resource:Q213586 property:P47 ?y } UNION { resource:Q133356 property:P47 ?z } UNION { resource:Q133356 property:P47 ?y } UNION { resource:Q112558 property:P47 ?z } UNION { resource:Q112558 property:P47 ?y } UNION { resource:Q213586 property:P47 ?z } UNION { resource:Q213586 property:P47 ?y } } . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q7275 }
['Gondor', 'shares border with', {'concept': 'fictional location'}] ['Gondor', 'shares border with', {'concept': 'state'}] ['Ukrainian Soviet Socialist Republic', 'shares border with', {'concept': 'fictional location'}] ['Ukrainian Soviet Socialist Republic', 'shares border with', {'concept': 'state'}] ['Republic of Saugeais', 'shares border with', {'concept': 'fictional location'}] ['Republic of Saugeais', 'shares border with', {'concept': 'state'}] ['Gondor', 'shares border with', {'concept': 'fictional location'}] ['Gondor', 'shares border with', {'concept': 'state'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Gondor property:shares_border_with ?z } UNION { resource:Gondor property:shares_border_with ?y } UNION { resource:Ukrainian_Soviet_Socialist_Republic property:shares_border_with ?z } UNION { resource:Ukrainian_Soviet_Socialist_Republic property:shares_border_with ?y } UNION { resource:Republic_of_Saugeais property:shares_border_with ?z } UNION { resource:Republic_of_Saugeais property:shares_border_with ?y } UNION { resource:Gondor property:shares_border_with ?z } UNION { resource:Gondor property:shares_border_with ?y } } . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:state }
[]
fictional location state
Quantitative|Count|Mult. entity type|Clarification
Q112558
SYSTEM
Did you mean Republic of Saugeais ?
[ANSWER]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Q213586 property:P47 ?z } UNION { resource:Q213586 property:P47 ?y } UNION { resource:Q133356 property:P47 ?z } UNION { resource:Q133356 property:P47 ?y } UNION { resource:Q112558 property:P47 ?z } UNION { resource:Q112558 property:P47 ?y } UNION { resource:Q213586 property:P47 ?z } UNION { resource:Q213586 property:P47 ?y } } . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q7275 }
Did you mean Republic of Saugeais ?
Republic of Saugeais
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Gondor property:shares_border_with ?z } UNION { resource:Gondor property:shares_border_with ?y } UNION { resource:Ukrainian_Soviet_Socialist_Republic property:shares_border_with ?z } UNION { resource:Ukrainian_Soviet_Socialist_Republic property:shares_border_with ?y } UNION { resource:Republic_of_Saugeais property:shares_border_with ?z } UNION { resource:Republic_of_Saugeais property:shares_border_with ?y } UNION { resource:Gondor property:shares_border_with ?z } UNION { resource:Gondor property:shares_border_with ?y } } . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:state }
[]
Quantitative Reasoning (Count) (All)
USER
No, I meant Gondor. Could you tell me the answer for that?
(Q213586,P47,c(Q3895768)) (Q213586,P47,c(Q7275)) (Q133356,P47,c(Q3895768)) (Q133356,P47,c(Q7275)) (Q112558,P47,c(Q3895768)) (Q112558,P47,c(Q7275)) (Q213586,P47,c(Q3895768)) (Q213586,P47,c(Q7275))
Q213586
['Q213586', 'P47', {'concept': 'Q3895768'}] ['Q213586', 'P47', {'concept': 'Q7275'}] ['Q133356', 'P47', {'concept': 'Q3895768'}] ['Q133356', 'P47', {'concept': 'Q7275'}] ['Q112558', 'P47', {'concept': 'Q3895768'}] ['Q112558', 'P47', {'concept': 'Q7275'}] ['Q213586', 'P47', {'concept': 'Q3895768'}] ['Q213586', 'P47', {'concept': 'Q7275'}]
['Gondor', 'shares border with', {'concept': 'fictional location'}] ['Gondor', 'shares border with', {'concept': 'state'}] ['Ukrainian Soviet Socialist Republic', 'shares border with', {'concept': 'fictional location'}] ['Ukrainian Soviet Socialist Republic', 'shares border with', {'concept': 'state'}] ['Republic of Saugeais', 'shares border with', {'concept': 'fictional location'}] ['Republic of Saugeais', 'shares border with', {'concept': 'state'}] ['Gondor', 'shares border with', {'concept': 'fictional location'}] ['Gondor', 'shares border with', {'concept': 'state'}]
[]
SYSTEM
2
Q220110 Q661818
(Q213586,P47,c(Q3895768)) (Q213586,P47,c(Q7275)) (Q133356,P47,c(Q3895768)) (Q133356,P47,c(Q7275)) (Q112558,P47,c(Q3895768)) (Q112558,P47,c(Q7275)) (Q213586,P47,c(Q3895768)) (Q213586,P47,c(Q7275))
[ANSWER]
['Q213586', 'P47', {'concept': 'Q3895768'}] ['Q213586', 'P47', {'concept': 'Q7275'}] ['Q133356', 'P47', {'concept': 'Q3895768'}] ['Q133356', 'P47', {'concept': 'Q7275'}] ['Q112558', 'P47', {'concept': 'Q3895768'}] ['Q112558', 'P47', {'concept': 'Q7275'}] ['Q213586', 'P47', {'concept': 'Q3895768'}] ['Q213586', 'P47', {'concept': 'Q7275'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Q213586 property:P47 ?z } UNION { resource:Q213586 property:P47 ?y } UNION { resource:Q133356 property:P47 ?z } UNION { resource:Q133356 property:P47 ?y } UNION { resource:Q112558 property:P47 ?z } UNION { resource:Q112558 property:P47 ?y } UNION { resource:Q213586 property:P47 ?z } UNION { resource:Q213586 property:P47 ?y } } . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q7275 }
Rohan Harad
2
['Gondor', 'shares border with', {'concept': 'fictional location'}] ['Gondor', 'shares border with', {'concept': 'state'}] ['Ukrainian Soviet Socialist Republic', 'shares border with', {'concept': 'fictional location'}] ['Ukrainian Soviet Socialist Republic', 'shares border with', {'concept': 'state'}] ['Republic of Saugeais', 'shares border with', {'concept': 'fictional location'}] ['Republic of Saugeais', 'shares border with', {'concept': 'state'}] ['Gondor', 'shares border with', {'concept': 'fictional location'}] ['Gondor', 'shares border with', {'concept': 'state'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { resource:Gondor property:shares_border_with ?z } UNION { resource:Gondor property:shares_border_with ?y } UNION { resource:Ukrainian_Soviet_Socialist_Republic property:shares_border_with ?z } UNION { resource:Ukrainian_Soviet_Socialist_Republic property:shares_border_with ?y } UNION { resource:Republic_of_Saugeais property:shares_border_with ?z } UNION { resource:Republic_of_Saugeais property:shares_border_with ?y } UNION { resource:Gondor property:shares_border_with ?z } UNION { resource:Gondor property:shares_border_with ?y } } . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:state }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q192615 Q175276
P710
Q1190554
USER
Which events were Kingdom of León or Ferdinand Foch a participant of ?
OR((c(Q1190554),P710,Q175276), (c(Q1190554),P710,Q192615))
action filter_type
action union
action find_reverse
entity Q175276
relation P710
action find_reverse
entity Q192615
relation P710
type Q1190554
{'OR': [[{'concept': 'Q1190554'}, 'P710', 'Q175276'], [{'concept': 'Q1190554'}, 'P710', 'Q192615']]}
SELECT DISTINCT ?g WHERE { { { ?g property:P710 resource:Q192615 } UNION { ?g property:P710 resource:Q175276 } } . ?g rdf:type ontology:Q1190554 }
Ferdinand Foch Kingdom of León
action filter_type
action union
action find_reverse
entity Kingdom of León
relation participant
action find_reverse
entity Ferdinand Foch
relation participant
type event
{'OR': [[{'concept': 'event'}, 'participant', 'Kingdom of León'], [{'concept': 'event'}, 'participant', 'Ferdinand Foch']]}
SELECT DISTINCT ?g WHERE { { { ?g property:participant resource:Ferdinand_Foch } UNION { ?g property:participant resource:Kingdom_of_León } } . ?g rdf:type ontology:event }
[]
event
Q4870698 Q911448 Q51654 Q1511005 Q853976 Q1130507 Q4872270 Q4870264 Q750567
SYSTEM
Battle of Cervera, Battle of Amiens, Second Crusade, Battle of Valdejunquera, First Battle of Ypres, Hundred Days Offensive, Battle of San Esteban de Gormaz, Battle of Alhandic, Spring Offensive
Q4870698 Q911448 Q51654 Q1511005 Q853976 Q1130507 Q4872270 Q4870264 Q750567
OR((c(Q1190554),P710,Q175276), (c(Q1190554),P710,Q192615))
action filter_type
action union
action find_reverse
entity Q175276
relation P710
action find_reverse
entity Q192615
relation P710
type Q1190554
[ANSWERS] were Kingdom of León or Ferdinand Foch a participant of
{'OR': [[{'concept': 'Q1190554'}, 'P710', 'Q175276'], [{'concept': 'Q1190554'}, 'P710', 'Q192615']]}
SELECT DISTINCT ?g WHERE { { { ?g property:P710 resource:Q192615 } UNION { ?g property:P710 resource:Q175276 } } . ?g rdf:type ontology:Q1190554 }
Battle of Cervera Battle of Amiens Second Crusade Battle of Valdejunquera First Battle of Ypres Hundred Days Offensive Battle of San Esteban de Gormaz Battle of Alhandic Spring Offensive
Battle of Cervera, Battle of Amiens, Second Crusade, Battle of Valdejunquera, First Battle of Ypres, Hundred Days Offensive, Battle of San Esteban de Gormaz, Battle of Alhandic and Spring Offensive were Kingdom of León or Ferdinand Foch a participant of
Battle of Cervera Battle of Amiens Second Crusade Battle of Valdejunquera First Battle of Ypres Hundred Days Offensive Battle of San Esteban de Gormaz Battle of Alhandic Spring Offensive
action filter_type
action union
action find_reverse
entity Kingdom of León
relation participant
action find_reverse
entity Ferdinand Foch
relation participant
type event
{'OR': [[{'concept': 'event'}, 'participant', 'Kingdom of León'], [{'concept': 'event'}, 'participant', 'Ferdinand Foch']]}
SELECT DISTINCT ?g WHERE { { { ?g property:participant resource:Ferdinand_Foch } UNION { ?g property:participant resource:Kingdom_of_León } } . ?g rdf:type ontology:event }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q7275 Q56061 Q486972
USER
Which states have approximately 3 administrative territories or human settlements as their capital ?
(c(Q56061)|c(Q486972),P1376,c(Q7275))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q486972
value 3
[[{'concept': 'Q56061'}, {'concept': 'Q486972'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?k ) AS ?g ) WHERE { { ?k rdf:type ontology:Q56061 . ?c rdf:type ontology:Q7275 . ?k property:P1376 ?c } UNION { ?k property:P1376 ?c . ?c rdf:type ontology:Q7275 . ?k rdf:type ontology:Q486972 } } GROUP BY ?c } . FILTER ( ?g = 3 ) }
action approx
action union
action find_reverse_tuple_counts
relation capital of
type state
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type state
type human settlement
value 3
[[{'concept': 'administrative territorial entity'}, {'concept': 'human settlement'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?k ) AS ?g ) WHERE { { ?k rdf:type ontology:administrative_territorial_entity . ?c rdf:type ontology:state . ?k property:capital_of ?c } UNION { ?k property:capital_of ?c . ?c rdf:type ontology:state . ?k rdf:type ontology:human_settlement } } GROUP BY ?c } . FILTER ( ?g = 3 ) }
[]
state administrative territorial entity human settlement
Q172107 Q179876 Q75613
SYSTEM
Polish–Lithuanian Commonwealth, Kingdom of England, Almoravid dynasty
Q171150 Q172107 Q179876 Q75613
(c(Q56061)|c(Q486972),P1376,c(Q7275))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q56061
action find_reverse_tuple_counts
relation P1376
type Q7275
type Q486972
value 3
[ANSWERS] have approximately 3 administrative territories or human settlements as their capital
[[{'concept': 'Q56061'}, {'concept': 'Q486972'}], 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?k ) AS ?g ) WHERE { { ?k rdf:type ontology:Q56061 . ?c rdf:type ontology:Q7275 . ?k property:P1376 ?c } UNION { ?k property:P1376 ?c . ?c rdf:type ontology:Q7275 . ?k rdf:type ontology:Q486972 } } GROUP BY ?c } . FILTER ( ?g = 3 ) }
Kingdom of Hungary Polish–Lithuanian Commonwealth Kingdom of England Almoravid dynasty
Polish–Lithuanian Commonwealth, Kingdom of England and Almoravid dynasty have approximately 3 administrative territories or human settlements as their capital
Polish–Lithuanian Commonwealth Kingdom of England Almoravid dynasty
action approx
action union
action find_reverse_tuple_counts
relation capital of
type state
type administrative territorial entity
action find_reverse_tuple_counts
relation capital of
type state
type human settlement
value 3
[[{'concept': 'administrative territorial entity'}, {'concept': 'human settlement'}], 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?k ) AS ?g ) WHERE { { ?k rdf:type ontology:administrative_territorial_entity . ?c rdf:type ontology:state . ?k property:capital_of ?c } UNION { ?k property:capital_of ?c . ?c rdf:type ontology:state . ?k rdf:type ontology:human_settlement } } GROUP BY ?c } . FILTER ( ?g = 3 ) }
[]
Clarification
Comparative|More/Less|Single entity type|Indirect
P163
Q14660 Q7275
USER
Which states are associated with around the same number of flags as that state ?
(c(Q7275),P163,c(Q14660))
[{'concept': 'Q7275'}, 'P163', {'concept': 'Q14660'}]
SELECT DISTINCT ?z WHERE { ?z property:Q14660 ?y . ?z rdf:type ontology:Q7275 . ?y rdf:type ontology:Q14660 }
[{'concept': 'state'}, 'flag', {'concept': 'flag'}]
SELECT DISTINCT ?z WHERE { ?z property:flag ?y . ?z rdf:type ontology:state . ?y rdf:type ontology:flag }
[]
flag state
Comparative|More/Less|Single entity type|Clarification
Q75613
SYSTEM
Did you mean Almoravid dynasty ?
(c(Q7275),P163,c(Q14660))
[ANSWER]
[{'concept': 'Q7275'}, 'P163', {'concept': 'Q14660'}]
SELECT DISTINCT ?z WHERE { ?z property:Q14660 ?y . ?z rdf:type ontology:Q7275 . ?y rdf:type ontology:Q14660 }
Did you mean Almoravid dynasty ?
Almoravid dynasty
[{'concept': 'state'}, 'flag', {'concept': 'flag'}]
SELECT DISTINCT ?z WHERE { ?z property:flag ?y . ?z rdf:type ontology:state . ?y rdf:type ontology:flag }
[]
Comparative Reasoning (All)
USER
No, I meant Kingdom of England. Could you tell me the answer for that?
(c(Q7275),P163,c(Q14660))
Q179876
[{'concept': 'Q7275'}, 'P163', {'concept': 'Q14660'}]
[{'concept': 'state'}, 'flag', {'concept': 'flag'}]
[]
Q15180 Q26273 Q330988
SYSTEM
Soviet Union, Sint Maarten, Democratic Kampuchea
Q230791 Q774783 Q203493 Q15864 Q179876 Q174193 Q15180 Q212278 Q11196 Q696908 Q330988 Q2353425 Q212056 Q28233 Q26988 Q21203 Q26273 Q19901436 Q2184
(c(Q7275),P163,c(Q14660))
[ANSWERS] are associated with around the same number of flags as that state
[{'concept': 'Q7275'}, 'P163', {'concept': 'Q14660'}]
SELECT DISTINCT ?z WHERE { ?z property:Q14660 ?y . ?z rdf:type ontology:Q7275 . ?y rdf:type ontology:Q14660 }
Kingdom of Scotland Sovereign Principality of the United Netherlands Kingdom of Romania United Kingdom of the Netherlands Kingdom of England United Kingdom of Great Britain and Ireland Soviet Union Kingdom of Holland Republika Srpska Kingdom of Poland Democratic Kampuchea Talossa Mongolian People's Republic Korean Empire Cook Islands Aruba Sint Maarten Suriname Russian Soviet Federative Socialist Republic
Soviet Union, Sint Maarten and Democratic Kampuchea are associated with around the same number of flags as that state
Soviet Union Sint Maarten Democratic Kampuchea
[{'concept': 'state'}, 'flag', {'concept': 'flag'}]
SELECT DISTINCT ?z WHERE { ?z property:flag ?y . ?z rdf:type ontology:state . ?y rdf:type ontology:flag }
[]