Simple Question (Direct)
Simple Question
Q211989
P1196
Q1190554
USER
Which event best describes with circumstances of death of Ángel Rama ?
(Q211989,P1196,c(Q1190554))
action filter_type
action find
entity Q211989
relation P1196
type Q1190554
['Q211989', 'P1196', {'concept': 'Q1190554'}]
SELECT DISTINCT ?g WHERE { resource:Q211989 property:P1196 ?g . ?g rdf:type ontology:Q1190554 }
Ángel Rama
action filter_type
action find
entity Ángel Rama
relation manner of death
type event
['Ángel Rama', 'manner of death', {'concept': 'event'}]
SELECT DISTINCT ?g WHERE { resource:Ángel_Rama property:manner_of_death ?g . ?g rdf:type ontology:event }
[]
event
Q171558
SYSTEM
accident
Q171558
(Q211989,P1196,c(Q1190554))
action filter_type
action find
entity Q211989
relation P1196
type Q1190554
[ANSWER] best describes with circumstances of death of Ángel Rama
['Q211989', 'P1196', {'concept': 'Q1190554'}]
SELECT DISTINCT ?g WHERE { resource:Q211989 property:P1196 ?g . ?g rdf:type ontology:Q1190554 }
accident
Accident best describes with circumstances of death of Ángel Rama
accident
action filter_type
action find
entity Ángel Rama
relation manner of death
type event
['Ángel Rama', 'manner of death', {'concept': 'event'}]
SELECT DISTINCT ?g WHERE { resource:Ángel_Rama property:manner_of_death ?g . ?g rdf:type ontology:event }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q211989
P20
Q56061
USER
Which administrative territory is the place of death of Ángel Rama ?
(Q211989,P20,c(Q56061))
action filter_type
action find
entity Q211989
relation P20
type Q56061
['Q211989', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?d WHERE { resource:Q211989 property:P20 ?d . ?d rdf:type ontology:Q56061 }
Ángel Rama
action filter_type
action find
entity Ángel Rama
relation place of death
type administrative territorial entity
['Ángel Rama', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Ángel_Rama property:place_of_death ?d . ?d rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q2807
SYSTEM
Madrid
Q2807
(Q211989,P20,c(Q56061))
action filter_type
action find
entity Q211989
relation P20
type Q56061
[ANSWER] is the place of death of Ángel Rama
['Q211989', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?d WHERE { resource:Q211989 property:P20 ?d . ?d rdf:type ontology:Q56061 }
Madrid
Madrid is the place of death of Ángel Rama
Madrid
action filter_type
action find
entity Ángel Rama
relation place of death
type administrative territorial entity
['Ángel Rama', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Ángel_Rama property:place_of_death ?d . ?d rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2807
P551
Q502895
USER
Which people dwell at that administrative territory ?
(c(Q502895),P551,Q2807)
action filter_type
action find_reverse
entity Q2807
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q2807']
SELECT DISTINCT ?y WHERE { ?y property:P551 resource:Q2807 . ?y rdf:type ontology:Q502895 }
Madrid
action filter_type
action find_reverse
entity Madrid
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Madrid']
SELECT DISTINCT ?y WHERE { ?y property:residence resource:Madrid . ?y rdf:type ontology:common_name }
[]
common name
Q11571 Q154855 Q11576
SYSTEM
Cristiano Ronaldo, Javier Solana, Raúl
Q19355016 Q21953135 Q12403091 Q605230 Q16301936 Q250901 Q5858138 Q19904845 Q1367738 Q1160853 Q2665604 Q1002728 Q16633065 Q467829 Q55171 Q6097750 Q365063 Q191740 Q4877268 Q24255240 Q203138 Q13489463 Q1350715 Q3757071 Q399182 Q3753690 Q2917670 Q2978891 Q24287347 Q5812890 Q1395379 Q6233875 Q127349 Q21174063 Q27538385 Q25717381 Q243771 Q6165776 Q82180 Q14550937 Q952737 Q11078184 Q6112196 Q5041676 Q3068321 Q5995682 Q24298575 Q437710 Q5942981 Q5945276 Q3815096 Q229093 Q6122247 Q245207 Q974176 Q11571 Q11576 Q3754037 Q17579402 Q5983576 Q14596668 Q4388897 Q5937998 Q2765200 Q2656441 Q154855 Q235391 Q17478162 Q7688053 Q5866489 Q550094 Q5751731 Q9014784 Q5444892 Q3703129 Q54390 Q18638296 Q5947708 Q3278485 Q1057037 Q223695 Q261207 Q6119701 Q17502791 Q4742792 Q16528415 Q2841198
(c(Q502895),P551,Q2807)
action filter_type
action find_reverse
entity Q2807
relation P551
type Q502895
[ANSWERS] dwell at that administrative territory
[{'concept': 'Q502895'}, 'P551', 'Q2807']
SELECT DISTINCT ?y WHERE { ?y property:P551 resource:Q2807 . ?y rdf:type ontology:Q502895 }
María Cruz Seoane Julius Bienert Ánxel Romero Cerdeiriña José López-Maeso Javier Quevedo Puchal Álvaro Arbeloa Felipe Carsi Antonio Íñiguez Escobar Ernesto Galán Daniel Giménez Cacho Javier Calvo Fonsi Nieto Richard Hudson Alberto Ruiz-Gallardón Pedro Almodóvar Rafael Núñez Adolfo Domínguez Fernando Verdasco Beatriz Pécker Rocío Sánchez Estepa Victoria Abril Glenda León Santiago Sierra Gaetano Palmaroli Agustín Díaz Yanes Juan Luis Panero Jorge Verstrynge Rojas Clemente Herrero Francisco de Zabálburu Domingo Rodríguez Oramas Ventura Ruiz Aguilera John Francis Charles, 7th Count de Salis-Soglio José Echegaray Anupama Kundoo Emilio Núñez Blanco Evelyn Botella Antonio Machado Javier Álvarez Mata Hari Carmen Schrader Diego Abad de Santillán Patrizia Ruiz Rosa María Artal Carlos Aguilar Mirta Díaz-Balart Marcello Caprarella Irene Colomar Costa Isabel Preysler José María Granados José Ruiz León José Ortega Spottorno Virginia Ruano Pascual Sayago Ayuso Florentino Pérez Daniel Muñoz de la Nava Cristiano Ronaldo Raúl Guillermo Pérez Villalta Vicente Castelló y González Amat Luis Gonzaga Urbina Bruno Hortelano Javier Raya José Antonio Ocaña Martínez Carlos G. Vallés Cristina Pedroche Javier Solana Maribel Verdú Mireia Montávez Tati Rascón Francisco Laporta Valor J. M. R. Parrondo Carlos Santos José Ruiz Santaella Fernando Ramírez de Haro, 16th Count of Murillo David Cantero Valeriu Lazarov Fermina Orduña Juan Bautista Blancard Beatriz Gimeno Lilian Garcia Feliciano López Lilí Álvarez Jacobo Díaz Domingo Gallego y Álvarez America Tang Alejandro de la Cruz Paloma O'Shea
Cristiano Ronaldo, Javier Solana and Raúl dwell at that administrative territory
Cristiano Ronaldo Javier Solana Raúl
action filter_type
action find_reverse
entity Madrid
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Madrid']
SELECT DISTINCT ?y WHERE { ?y property:residence resource:Madrid . ?y rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q64 Q2807
P937
Q502895
USER
Which people have Madrid and Berlin as work location ?
AND((c(Q502895),P937,Q2807), (c(Q502895),P937,Q64))
action filter_type
action intersection
action find_reverse
entity Q2807
relation P937
action find_reverse
entity Q64
relation P937
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P937', 'Q2807'], [{'concept': 'Q502895'}, 'P937', 'Q64']]}
SELECT DISTINCT ?k WHERE { ?k property:P937 resource:Q2807 . ?k property:P937 resource:Q64 . ?k rdf:type ontology:Q502895 }
Berlin Madrid
action filter_type
action intersection
action find_reverse
entity Madrid
relation work location
action find_reverse
entity Berlin
relation work location
type common name
{'AND': [[{'concept': 'common name'}, 'work location', 'Madrid'], [{'concept': 'common name'}, 'work location', 'Berlin']]}
SELECT DISTINCT ?k WHERE { ?k property:work_location resource:Madrid . ?k property:work_location resource:Berlin . ?k rdf:type ontology:common_name }
[]
common name
Q15456215
SYSTEM
Slavi Soucek
Q15456215
AND((c(Q502895),P937,Q2807), (c(Q502895),P937,Q64))
action filter_type
action intersection
action find_reverse
entity Q2807
relation P937
action find_reverse
entity Q64
relation P937
type Q502895
[ANSWER] have Madrid and Berlin as work location
{'AND': [[{'concept': 'Q502895'}, 'P937', 'Q2807'], [{'concept': 'Q502895'}, 'P937', 'Q64']]}
SELECT DISTINCT ?k WHERE { ?k property:P937 resource:Q2807 . ?k property:P937 resource:Q64 . ?k rdf:type ontology:Q502895 }
Slavi Soucek
Slavi Soucek have Madrid and Berlin as work location
Slavi Soucek
action filter_type
action intersection
action find_reverse
entity Madrid
relation work location
action find_reverse
entity Berlin
relation work location
type common name
{'AND': [[{'concept': 'common name'}, 'work location', 'Madrid'], [{'concept': 'common name'}, 'work location', 'Berlin']]}
SELECT DISTINCT ?k WHERE { ?k property:work_location resource:Madrid . ?k property:work_location resource:Berlin . ?k rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q15456215 Q16456372
P937
Q56061
USER
Is Kiemionys the work location of that person ?
(Q15456215,P937,Q16456372)
action is_in
entity Q16456372
action find
entity Q15456215
relation P937
['Q15456215', 'P937', 'Q16456372']
ASK WHERE { resource:Q15456215 property:P937 resource:Q16456372 }
Slavi Soucek Kiemionys
action is_in
entity Kiemionys
action find
entity Slavi Soucek
relation work location
['Slavi Soucek', 'work location', 'Kiemionys']
ASK WHERE { resource:Slavi_Soucek property:work_location resource:Kiemionys }
[]
administrative territorial entity
SYSTEM
NO
(Q15456215,P937,Q16456372)
action is_in
entity Q16456372
action find
entity Q15456215
relation P937
[ANSWER]
['Q15456215', 'P937', 'Q16456372']
ASK WHERE { resource:Q15456215 property:P937 resource:Q16456372 }
No
action is_in
entity Kiemionys
action find
entity Slavi Soucek
relation work location
['Slavi Soucek', 'work location', 'Kiemionys']
ASK WHERE { resource:Slavi_Soucek property:work_location resource:Kiemionys }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q161673 Q2807
P190
Q56061
USER
Which administrative territories are twin cities of Madrid or Heiligenhaus ?
OR((Q2807,P190,c(Q56061)), (Q161673,P190,c(Q56061)))
action filter_type
action union
action find
entity Q2807
relation P190
action find
entity Q161673
relation P190
type Q56061
{'OR': [['Q2807', 'P190', {'concept': 'Q56061'}], ['Q161673', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Q2807 property:P190 ?w } UNION { resource:Q161673 property:P190 ?w } } . ?w rdf:type ontology:Q56061 }
Heiligenhaus Madrid
action filter_type
action union
action find
entity Madrid
relation sister city
action find
entity Heiligenhaus
relation sister city
type administrative territorial entity
{'OR': [['Madrid', 'sister city', {'concept': 'administrative territorial entity'}], ['Heiligenhaus', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Madrid property:sister_city ?w } UNION { resource:Heiligenhaus property:sister_city ?w } } . ?w rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1555 Q518431 Q3306 Q3579 Q597 Q3070 Q1335 Q1563 Q3238 Q2868
SYSTEM
Some of them are Guatemala City, Chimbote, Panama City, Tripoli, Lisbon, San José, Montevideo, Havana, Tegucigalpa, Lima
Q3070 Q3274 Q3579 Q3551 Q649 Q472 Q3238 Q3110 Q1479 Q34820 Q1524 Q956 Q1781 Q41211 Q1335 Q58002 Q1563 Q3766 Q518431 Q1489 Q3306 Q841979 Q216649 Q2868 Q8678 Q239 Q270 Q597 Q3688 Q1555 Q64 Q1491 Q60 Q1085
OR((Q2807,P190,c(Q56061)), (Q161673,P190,c(Q56061)))
action filter_type
action union
action find
entity Q2807
relation P190
action find
entity Q161673
relation P190
type Q56061
[ANSWERS] are twin cities of Madrid or Heiligenhaus
{'OR': [['Q2807', 'P190', {'concept': 'Q56061'}], ['Q161673', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Q2807 property:P190 ?w } UNION { resource:Q161673 property:P190 ?w } } . ?w rdf:type ontology:Q56061 }
San José Managua Tripoli Rabat Moscow Sofia Tegucigalpa San Salvador Bordeaux Santo Domingo Athens Beijing Budapest San Juan Montevideo Zwönitz Havana Damascus Chimbote Mexico City Panama City Mansfield Basildon Lima Rio de Janeiro Brussels Warsaw Lisbon Nouakchott Guatemala City Berlin La Paz New York City Prague
Guatemala City, Chimbote, Panama City, Tripoli, Lisbon, San José, Montevideo, Havana, Tegucigalpa and Lima are twin cities of Madrid or Heiligenhaus
Guatemala City Chimbote Panama City Tripoli Lisbon San José Montevideo Havana Tegucigalpa Lima
action filter_type
action union
action find
entity Madrid
relation sister city
action find
entity Heiligenhaus
relation sister city
type administrative territorial entity
{'OR': [['Madrid', 'sister city', {'concept': 'administrative territorial entity'}], ['Heiligenhaus', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Madrid property:sister_city ?w } UNION { resource:Heiligenhaus property:sister_city ?w } } . ?w rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q5528956
P190
Q56061
USER
Are Gaz Kuh a sister city of those ones ?
(Q5528956,P190,Q1555) (Q5528956,P190,Q518431) (Q5528956,P190,Q3306) (Q5528956,P190,Q3579) (Q5528956,P190,Q597) (Q5528956,P190,Q3070) (Q5528956,P190,Q1335) (Q5528956,P190,Q1563) (Q5528956,P190,Q3238) (Q5528956,P190,Q2868)
action is_in
entity prev_answer
action find
entity Q5528956
relation P190
['Q5528956', 'P190', 'Q1555'] ['Q5528956', 'P190', 'Q518431'] ['Q5528956', 'P190', 'Q3306'] ['Q5528956', 'P190', 'Q3579'] ['Q5528956', 'P190', 'Q597'] ['Q5528956', 'P190', 'Q3070'] ['Q5528956', 'P190', 'Q1335'] ['Q5528956', 'P190', 'Q1563'] ['Q5528956', 'P190', 'Q3238'] ['Q5528956', 'P190', 'Q2868']
ASK WHERE { VALUES ( ?u ) { ( resource:Q3070 ) ( resource:Q3274 ) ( resource:Q3579 ) } . resource:Q5528956 property:P190 ?u }
Gaz Kuh
action is_in
entity prev_answer
action find
entity Gaz Kuh
relation sister city
['Gaz Kuh', 'sister city', 'Guatemala City'] ['Gaz Kuh', 'sister city', 'Chimbote'] ['Gaz Kuh', 'sister city', 'Panama City'] ['Gaz Kuh', 'sister city', 'Tripoli'] ['Gaz Kuh', 'sister city', 'Lisbon'] ['Gaz Kuh', 'sister city', 'San José'] ['Gaz Kuh', 'sister city', 'Montevideo'] ['Gaz Kuh', 'sister city', 'Havana'] ['Gaz Kuh', 'sister city', 'Tegucigalpa'] ['Gaz Kuh', 'sister city', 'Lima']
ASK WHERE { VALUES ( ?u ) { ( resource:San_José ) ( resource:Managua ) ( resource:Tripoli ) } . resource:Gaz_Kuh property:sister_city ?u }
[]
administrative territorial entity
SYSTEM
NO
(Q5528956,P190,Q1555) (Q5528956,P190,Q518431) (Q5528956,P190,Q3306) (Q5528956,P190,Q3579) (Q5528956,P190,Q597) (Q5528956,P190,Q3070) (Q5528956,P190,Q1335) (Q5528956,P190,Q1563) (Q5528956,P190,Q3238) (Q5528956,P190,Q2868)
action is_in
entity prev_answer
action find
entity Q5528956
relation P190
[ANSWER]
['Q5528956', 'P190', 'Q1555'] ['Q5528956', 'P190', 'Q518431'] ['Q5528956', 'P190', 'Q3306'] ['Q5528956', 'P190', 'Q3579'] ['Q5528956', 'P190', 'Q597'] ['Q5528956', 'P190', 'Q3070'] ['Q5528956', 'P190', 'Q1335'] ['Q5528956', 'P190', 'Q1563'] ['Q5528956', 'P190', 'Q3238'] ['Q5528956', 'P190', 'Q2868']
ASK WHERE { VALUES ( ?u ) { ( resource:Q3070 ) ( resource:Q3274 ) ( resource:Q3579 ) } . resource:Q5528956 property:P190 ?u }
No
action is_in
entity prev_answer
action find
entity Gaz Kuh
relation sister city
['Gaz Kuh', 'sister city', 'Guatemala City'] ['Gaz Kuh', 'sister city', 'Chimbote'] ['Gaz Kuh', 'sister city', 'Panama City'] ['Gaz Kuh', 'sister city', 'Tripoli'] ['Gaz Kuh', 'sister city', 'Lisbon'] ['Gaz Kuh', 'sister city', 'San José'] ['Gaz Kuh', 'sister city', 'Montevideo'] ['Gaz Kuh', 'sister city', 'Havana'] ['Gaz Kuh', 'sister city', 'Tegucigalpa'] ['Gaz Kuh', 'sister city', 'Lima']
ASK WHERE { VALUES ( ?u ) { ( resource:San_José ) ( resource:Managua ) ( resource:Tripoli ) } . resource:Gaz_Kuh property:sister_city ?u }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q393 Q3306
P504
Q2235308
USER
Which ship types have Panama City or Szczecin as their home port ?
OR((c(Q2235308),P504,Q3306), (c(Q2235308),P504,Q393))
action filter_type
action union
action find_reverse
entity Q3306
relation P504
action find_reverse
entity Q393
relation P504
type Q2235308
{'OR': [[{'concept': 'Q2235308'}, 'P504', 'Q3306'], [{'concept': 'Q2235308'}, 'P504', 'Q393']]}
SELECT DISTINCT ?n WHERE { { VALUES ( ?g ) { ( resource:Q3306 ) ( resource:Q393 ) } . ?n property:P504 ?g } . ?n rdf:type ontology:Q2235308 }
Szczecin Panama City
action filter_type
action union
action find_reverse
entity Panama City
relation home port
action find_reverse
entity Szczecin
relation home port
type ship type
{'OR': [[{'concept': 'ship type'}, 'home port', 'Panama City'], [{'concept': 'ship type'}, 'home port', 'Szczecin']]}
SELECT DISTINCT ?n WHERE { { VALUES ( ?g ) { ( resource:Panama_City ) ( resource:Szczecin ) } . ?n property:home_port ?g } . ?n rdf:type ontology:ship_type }
[]
ship type
Q481284 Q3552017 Q5551616 Q5551630 Q543786 Q9332427 Q2780304 Q2781918 Q2024572 Q222779
SYSTEM
Some of them are German submarine U-883, German submarine U-874, German submarine U-317, German submarine U-328, German submarine U-848, Dar Szczecina, German submarine U-849, German submarine U-847, German submarine U-803, German submarine U-873
Q2023286 Q563412 Q3273344 Q11710554 Q4052040 Q445259 Q431808 Q563441 Q3552000 Q445233 Q1471079 Q2024572 Q3552007 Q5551616 Q2023488 Q2745121 Q481284 Q5551630 Q2024618 Q427833 Q877844 Q2780304 Q549383 Q827823 Q2656230 Q3551999 Q2781918 Q554627 Q11710601 Q2654524 Q481306 Q9332427 Q3552019 Q3552018 Q3552017 Q3552015 Q3552014 Q543786 Q222779 Q2023481 Q1354330 Q1469525 Q5551628 Q2468870 Q5551624 Q5551622 Q5551621 Q318959 Q5551625
OR((c(Q2235308),P504,Q3306), (c(Q2235308),P504,Q393))
action filter_type
action union
action find_reverse
entity Q3306
relation P504
action find_reverse
entity Q393
relation P504
type Q2235308
[ANSWERS] have Panama City or Szczecin as their home port
{'OR': [[{'concept': 'Q2235308'}, 'P504', 'Q3306'], [{'concept': 'Q2235308'}, 'P504', 'Q393']]}
SELECT DISTINCT ?n WHERE { { VALUES ( ?g ) { ( resource:Q3306 ) ( resource:Q393 ) } . ?n property:P504 ?g } . ?n rdf:type ontology:Q2235308 }
German submarine U-199 German submarine U-859 MV Pasha Bulker German submarine U-318 German submarine U-370 German submarine U-861 Probo Koala German submarine U-182 German submarine U-850 German submarine U-325 Fryderyk Chopin German submarine U-803 German submarine U-860 German submarine U-317 German submarine U-197 Carnival Holiday German submarine U-883 German submarine U-328 German submarine U-178 MV Ocean Pearl German submarine U-854 German submarine U-849 German submarine U-852 German submarine U-321 German submarine U-179 German submarine U-851 German submarine U-847 German submarine U-181 German submarine U-326 German submarine U-862 German submarine U-200 Dar Szczecina German submarine U-875 German submarine U-876 German submarine U-874 German submarine U-872 German submarine U-871 German submarine U-848 German submarine U-873 German submarine U-198 MV Erika German submarine U-196 German submarine U-327 German submarine U-177 German submarine U-323 German submarine U-322 German submarine U-319 German submarine U-320 German submarine U-324
German submarine U-883, German submarine U-874, German submarine U-317, German submarine U-328, German submarine U-848, Dar Szczecina, German submarine U-849, German submarine U-847, German submarine U-803 and German submarine U-873 have Panama City or Szczecin as their home port
German submarine U-883 German submarine U-874 German submarine U-317 German submarine U-328 German submarine U-848 Dar Szczecina German submarine U-849 German submarine U-847 German submarine U-803 German submarine U-873
action filter_type
action union
action find_reverse
entity Panama City
relation home port
action find_reverse
entity Szczecin
relation home port
type ship type
{'OR': [[{'concept': 'ship type'}, 'home port', 'Panama City'], [{'concept': 'ship type'}, 'home port', 'Szczecin']]}
SELECT DISTINCT ?n WHERE { { VALUES ( ?g ) { ( resource:Panama_City ) ( resource:Szczecin ) } . ?n property:home_port ?g } . ?n rdf:type ontology:ship_type }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q481284
P289
Q5962346
USER
Which classification scheme represents the vessel classification of German submarine U-883 ?
(Q481284,P289,c(Q5962346))
action filter_type
action find
entity Q481284
relation P289
type Q5962346
['Q481284', 'P289', {'concept': 'Q5962346'}]
SELECT DISTINCT ?y WHERE { resource:Q481284 property:P289 ?y . ?y rdf:type ontology:Q5962346 }
German submarine U-883
action filter_type
action find
entity German submarine U-883
relation vessel class
type classification scheme
['German submarine U-883', 'vessel class', {'concept': 'classification scheme'}]
SELECT DISTINCT ?y WHERE { resource:German_submarine_U-883 property:vessel_class ?y . ?y rdf:type ontology:classification_scheme }
[]
classification scheme
Q11797549
SYSTEM
Type IXD-1 submarine
Q11797549
(Q481284,P289,c(Q5962346))
action filter_type
action find
entity Q481284
relation P289
type Q5962346
[ANSWER] represents the vessel classification of German submarine U-883
['Q481284', 'P289', {'concept': 'Q5962346'}]
SELECT DISTINCT ?y WHERE { resource:Q481284 property:P289 ?y . ?y rdf:type ontology:Q5962346 }
Type IXD-1 submarine
Type IXD-1 submarine represents the vessel classification of German submarine U-883
Type IXD-1 submarine
action filter_type
action find
entity German submarine U-883
relation vessel class
type classification scheme
['German submarine U-883', 'vessel class', {'concept': 'classification scheme'}]
SELECT DISTINCT ?y WHERE { resource:German_submarine_U-883 property:vessel_class ?y . ?y rdf:type ontology:classification_scheme }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q15671018
Q5962346
USER
And also tell me about German submarine U-421?
(Q15671018,P289,c(Q5962346))
action filter_type
action find
entity Q15671018
relation P289
type Q5962346
['Q15671018', 'P289', {'concept': 'Q5962346'}]
SELECT DISTINCT ?u WHERE { resource:Q15671018 property:P289 ?u . ?u rdf:type ontology:Q5962346 }
German submarine U-421
action filter_type
action find
entity German submarine U-421
relation vessel class
type classification scheme
['German submarine U-421', 'vessel class', {'concept': 'classification scheme'}]
SELECT DISTINCT ?u WHERE { resource:German_submarine_U-421 property:vessel_class ?u . ?u rdf:type ontology:classification_scheme }
[]
classification scheme
Q10374571 Q167991
SYSTEM
German Type VIIC submarine, German Type VII submarine
Q10374571 Q167991
(Q15671018,P289,c(Q5962346))
action filter_type
action find
entity Q15671018
relation P289
type Q5962346
[ANSWERS]
['Q15671018', 'P289', {'concept': 'Q5962346'}]
SELECT DISTINCT ?u WHERE { resource:Q15671018 property:P289 ?u . ?u rdf:type ontology:Q5962346 }
German Type VIIC submarine German Type VII submarine
German Type VIIC submarine German Type VII submarine
action filter_type
action find
entity German submarine U-421
relation vessel class
type classification scheme
['German submarine U-421', 'vessel class', {'concept': 'classification scheme'}]
SELECT DISTINCT ?u WHERE { resource:German_submarine_U-421 property:vessel_class ?u . ?u rdf:type ontology:classification_scheme }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1564140
P289
Q2235308
USER
Does HMAS Warrnambool possess a vessel class called those classification schemes ?
(Q1564140,P289,Q10374571) (Q1564140,P289,Q167991)
action is_in
entity prev_answer
action find
entity Q1564140
relation P289
['Q1564140', 'P289', 'Q10374571'] ['Q1564140', 'P289', 'Q167991']
ASK WHERE { resource:Q1564140 property:P289 ?o . VALUES ( ?o ) { ( resource:Q10374571 ) ( resource:Q167991 ) } }
HMAS Warrnambool
action is_in
entity prev_answer
action find
entity HMAS Warrnambool
relation vessel class
['HMAS Warrnambool', 'vessel class', 'German Type VIIC submarine'] ['HMAS Warrnambool', 'vessel class', 'German Type VII submarine']
ASK WHERE { resource:HMAS_Warrnambool property:vessel_class ?o . VALUES ( ?o ) { ( resource:German_Type_VIIC_submarine ) ( resource:German_Type_VII_submarine ) } }
[]
ship type
SYSTEM
NO
(Q1564140,P289,Q10374571) (Q1564140,P289,Q167991)
action is_in
entity prev_answer
action find
entity Q1564140
relation P289
[ANSWER]
['Q1564140', 'P289', 'Q10374571'] ['Q1564140', 'P289', 'Q167991']
ASK WHERE { resource:Q1564140 property:P289 ?o . VALUES ( ?o ) { ( resource:Q10374571 ) ( resource:Q167991 ) } }
No
action is_in
entity prev_answer
action find
entity HMAS Warrnambool
relation vessel class
['HMAS Warrnambool', 'vessel class', 'German Type VIIC submarine'] ['HMAS Warrnambool', 'vessel class', 'German Type VII submarine']
ASK WHERE { resource:HMAS_Warrnambool property:vessel_class ?o . VALUES ( ?o ) { ( resource:German_Type_VIIC_submarine ) ( resource:German_Type_VII_submarine ) } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q19192877 Q3070
P276 P190
Q56061
USER
Which administrative territories are twin cities of San José or are Haven situated ?
OR((Q3070,P190,c(Q56061)), (Q19192877,P276,c(Q56061)))
action filter_type
action union
action find
entity Q3070
relation P190
action find
entity Q19192877
relation P276
type Q56061
{'OR': [['Q3070', 'P190', {'concept': 'Q56061'}], ['Q19192877', 'P276', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Q3070 property:P190 ?x } UNION { resource:Q19192877 property:P276 ?x } } . ?x rdf:type ontology:Q56061 }
Haven San José
action filter_type
action union
action find
entity San José
relation sister city
action find
entity Haven
relation location
type administrative territorial entity
{'OR': [['San José', 'sister city', {'concept': 'administrative territorial entity'}], ['Haven', 'location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?x WHERE { { { resource:San_José property:sister_city ?x } UNION { resource:Haven property:location ?x } } . ?x rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q274584 Q468782 Q186935 Q1867 Q34820 Q2807 Q518431 Q1555 Q152436 Q334577
SYSTEM
Some of them are San Pedro Sula, Huancayo, Ahuachapán, Taipei, Santo Domingo, Madrid, Chimbote, Guatemala City, Kfar Saba, Quetzaltenango
Q518431 Q2868 Q468782 Q333928 Q34820 Q274584 Q2807 Q334577 Q1555 Q152436 Q1867 Q10639634 Q16553 Q696074 Q186935
OR((Q3070,P190,c(Q56061)), (Q19192877,P276,c(Q56061)))
action filter_type
action union
action find
entity Q3070
relation P190
action find
entity Q19192877
relation P276
type Q56061
[ANSWERS] are twin cities of San José or are Haven situated
{'OR': [['Q3070', 'P190', {'concept': 'Q56061'}], ['Q19192877', 'P276', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?x WHERE { { { resource:Q3070 property:P190 ?x } UNION { resource:Q19192877 property:P276 ?x } } . ?x rdf:type ontology:Q56061 }
Chimbote Lima Huancayo Maracay Santo Domingo San Pedro Sula Madrid Quetzaltenango Guatemala City Kfar Saba Taipei Geertruidenberg San Jose Juliaca Ahuachapán
San Pedro Sula, Huancayo, Ahuachapán, Taipei, Santo Domingo, Madrid, Chimbote, Guatemala City, Kfar Saba and Quetzaltenango are twin cities of San José or are Haven situated
San Pedro Sula Huancayo Ahuachapán Taipei Santo Domingo Madrid Chimbote Guatemala City Kfar Saba Quetzaltenango
action filter_type
action union
action find
entity San José
relation sister city
action find
entity Haven
relation location
type administrative territorial entity
{'OR': [['San José', 'sister city', {'concept': 'administrative territorial entity'}], ['Haven', 'location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?x WHERE { { { resource:San_José property:sister_city ?x } UNION { resource:Haven property:location ?x } } . ?x rdf:type ontology:administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P532
Q486972 Q15700808 Q2235308
USER
Which ship types are the registry port of atleast 1 human settlements and urban unit definitions ?
(c(Q2235308),P532,c(Q486972)|c(Q15700808))
action atleast
action union
action find_tuple_counts
relation P532
type Q2235308
type Q486972
action find_tuple_counts
relation P532
type Q2235308
type Q15700808
value 1
[{'concept': 'Q2235308'}, 'P532', [{'concept': 'Q486972'}, {'concept': 'Q15700808'}]]
SELECT DISTINCT ?a WHERE { FILTER ( ?f >= 1 ) . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?f ) WHERE { { ?a rdf:type ontology:Q2235308 . ?z rdf:type ontology:Q486972 . ?a property:P532 ?z } UNION { ?a property:P532 ?z . ?a rdf:type ontology:Q2235308 . ?z rdf:type ontology:Q15700808 } } GROUP BY ?a } }
action atleast
action union
action find_tuple_counts
relation port of registry
type ship type
type human settlement
action find_tuple_counts
relation port of registry
type ship type
type urban unit definition
value 1
[{'concept': 'ship type'}, 'port of registry', [{'concept': 'human settlement'}, {'concept': 'urban unit definition'}]]
SELECT DISTINCT ?a WHERE { FILTER ( ?f >= 1 ) . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?f ) WHERE { { ?a rdf:type ontology:ship_type . ?z rdf:type ontology:human_settlement . ?a property:port_of_registry ?z } UNION { ?a property:port_of_registry ?z . ?a rdf:type ontology:ship_type . ?z rdf:type ontology:urban_unit_definition } } GROUP BY ?a } }
[]
human settlement urban unit definition ship type
Q468026 Q644078 Q10659232
SYSTEM
SS Maxim Gorkiy, Preußen, S/S Blidösund
Q10659232 Q7393645 Q64846 Q6720075 Q7394354 Q19896387 Q10659340 Q2714285 Q468026 Q644078 Q15806486 Q6717728 Q17374114 Q10542891
(c(Q2235308),P532,c(Q486972)|c(Q15700808))
action atleast
action union
action find_tuple_counts
relation P532
type Q2235308
type Q486972
action find_tuple_counts
relation P532
type Q2235308
type Q15700808
value 1
[ANSWERS] are the registry port of atleast 1 human settlements and urban unit definitions
[{'concept': 'Q2235308'}, 'P532', [{'concept': 'Q486972'}, {'concept': 'Q15700808'}]]
SELECT DISTINCT ?a WHERE { FILTER ( ?f >= 1 ) . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?f ) WHERE { { ?a rdf:type ontology:Q2235308 . ?z rdf:type ontology:Q486972 . ?a property:P532 ?z } UNION { ?a property:P532 ?z . ?a rdf:type ontology:Q2235308 . ?z rdf:type ontology:Q15700808 } } GROUP BY ?a } }
S/S Blidösund SS Empire Endurance MS Skåne MV Spreewald SS Scharnhorst Asta av Smögen S/S Storskär MS Rosella SS Maxim Gorkiy Preußen Dortmund MSC Geneva M/S Elfkungen Kalmarsund VIII
SS Maxim Gorkiy, Preußen and S/S Blidösund are the registry port of atleast 1 human settlements and urban unit definitions
SS Maxim Gorkiy Preußen S/S Blidösund
action atleast
action union
action find_tuple_counts
relation port of registry
type ship type
type human settlement
action find_tuple_counts
relation port of registry
type ship type
type urban unit definition
value 1
[{'concept': 'ship type'}, 'port of registry', [{'concept': 'human settlement'}, {'concept': 'urban unit definition'}]]
SELECT DISTINCT ?a WHERE { FILTER ( ?f >= 1 ) . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?f ) WHERE { { ?a rdf:type ontology:ship_type . ?z rdf:type ontology:human_settlement . ?a property:port_of_registry ?z } UNION { ?a property:port_of_registry ?z . ?a rdf:type ontology:ship_type . ?z rdf:type ontology:urban_unit_definition } } GROUP BY ?a } }
[]