Simple Question (Direct)
Simple Question
Q2856672
P20
Q56061
USER
Where did the demise of Antoine Rey-Dussueil occur ?
(Q2856672,P20,c(Q56061))
action filter_type
action find
entity Q2856672
relation P20
type Q56061
['Q2856672', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { resource:Q2856672 property:P20 ?h . ?h rdf:type ontology:Q56061 }
Antoine Rey-Dussueil
action filter_type
action find
entity Antoine Rey-Dussueil
relation place of death
type administrative territorial entity
['Antoine Rey-Dussueil', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Antoine_Rey-Dussueil property:place_of_death ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q90
SYSTEM
Paris
Q90
(Q2856672,P20,c(Q56061))
action filter_type
action find
entity Q2856672
relation P20
type Q56061
The demise of Antoine Rey-Dussueil occurred in [ANSWER]
['Q2856672', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?h WHERE { resource:Q2856672 property:P20 ?h . ?h rdf:type ontology:Q56061 }
Paris
The demise of Antoine Rey-Dussueil occurred in Paris
Paris
action filter_type
action find
entity Antoine Rey-Dussueil
relation place of death
type administrative territorial entity
['Antoine Rey-Dussueil', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?h WHERE { resource:Antoine_Rey-Dussueil property:place_of_death ?h . ?h rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2856672
P69
Q41176
USER
Where was that person educated ?
(Q90,P69,c(Q41176))
action filter_type
action find
entity Q2856672
relation P69
type Q41176
['Q90', 'P69', {'concept': 'Q41176'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q41176 . resource:Q2856672 property:P69 ?u }
Antoine Rey-Dussueil
action filter_type
action find
entity Antoine Rey-Dussueil
relation educated at
type building
['Paris', 'educated at', {'concept': 'building'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:building . resource:Antoine_Rey-Dussueil property:educated_at ?u }
[]
building
Q3268957
SYSTEM
Lycée Thiers
Q3268957
(Q90,P69,c(Q41176))
action filter_type
action find
entity Q2856672
relation P69
type Q41176
Educated that person was the [ANSWER]
['Q90', 'P69', {'concept': 'Q41176'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q41176 . resource:Q2856672 property:P69 ?u }
Lycée Thiers
Educated that person was the Lycée Thiers
Lycée Thiers
action filter_type
action find
entity Antoine Rey-Dussueil
relation educated at
type building
['Paris', 'educated at', {'concept': 'building'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:building . resource:Antoine_Rey-Dussueil property:educated_at ?u }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q568554 Q3268957
P69
Q502895
USER
Which people are an alumni of Lycée Thiers or University of Caen Normandy ?
OR((c(Q502895),P69,Q3268957), (c(Q502895),P69,Q568554))
action filter_type
action union
action find_reverse
entity Q3268957
relation P69
action find_reverse
entity Q568554
relation P69
type Q502895
{'OR': [[{'concept': 'Q502895'}, 'P69', 'Q3268957'], [{'concept': 'Q502895'}, 'P69', 'Q568554']]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?v ) { ( resource:Q3268957 ) ( resource:Q568554 ) } . ?t property:P69 ?v } . ?t rdf:type ontology:Q502895 }
University of Caen Normandy Lycée Thiers
action filter_type
action union
action find_reverse
entity Lycée Thiers
relation educated at
action find_reverse
entity University of Caen Normandy
relation educated at
type common name
{'OR': [[{'concept': 'common name'}, 'educated at', 'Lycée Thiers'], [{'concept': 'common name'}, 'educated at', 'University of Caen Normandy']]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?v ) { ( resource:Lycée_Thiers ) ( resource:University_of_Caen_Normandy ) } . ?t property:educated_at ?v } . ?t rdf:type ontology:common_name }
[]
common name
Q3130727 Q329458 Q2839919 Q21027333 Q3159671 Q3371701 Q11985020 Q8314692 Q3271439 Q3271349
SYSTEM
Some of them are Henri Bourde de La Rogerie, Doudou Diène, Alphonse Moutte, Amédée Armand, Jacques Nobécourt, Paul Lombard, Pierre Simonet, Eugène Fabry, Léon de La Sicotière, Léon Thomine Desmazures
Q3301392 Q3387071 Q2860647 Q3172451 Q2959298 Q2839919 Q3035075 Q1605955 Q713601 Q2446785 Q2960012 Q2665768 Q3140439 Q636879 Q3106464 Q646344 Q3261786 Q441714 Q3154667 Q3170059 Q1874011 Q2408625 Q3184415 Q3047729 Q1711666 Q1393865 Q104154 Q3099205 Q3371701 Q511289 Q3164124 Q3101879 Q3525245 Q2397715 Q3051727 Q314963 Q21015020 Q3292520 Q18907790 Q3130727 Q379219 Q20479666 Q3082128 Q3385435 Q204261 Q3579797 Q728991 Q2848727 Q902573 Q3579790 Q2831623 Q2633356 Q3351217 Q15968121 Q3085412 Q3170058 Q2958070 Q313590 Q2735990 Q3554193 Q11985020 Q3059853 Q213992 Q2925446 Q3169679 Q324606 Q3393996 Q480164 Q119496 Q130504 Q22340375 Q1388715 Q7174982 Q13371026 Q3287896 Q3371266 Q21027333 Q3260680 Q2856672 Q58276 Q3008877 Q3383647 Q8314692 Q3383297 Q3093602 Q1362359 Q2853954 Q2825206 Q2927041 Q2895975 Q1685043 Q1493812 Q3172046 Q2994809 Q3385315 Q473006 Q3165887 Q16214280 Q15974218 Q2190717 Q186359 Q3132621 Q3386133 Q16217064 Q7060 Q3124130 Q3104431 Q353876 Q2824847 Q558752 Q2447496 Q482162 Q3271349 Q3383659 Q558114 Q3385417 Q3380471 Q3170532 Q308017 Q179491 Q16194895 Q13529916 Q3426247 Q725605 Q2856848 Q3121117 Q2833468 Q16263942 Q3084720 Q3014324 Q204735 Q1369617 Q1152713 Q2144816 Q3167792 Q1096751 Q158768 Q1703175 Q1026865 Q3420789 Q3159047 Q583065 Q516937 Q2977891 Q3579930 Q3590992 Q3105594 Q162917 Q743479 Q3169939 Q3035462 Q2525378 Q1169518 Q585077 Q44481 Q308454 Q3083698 Q15969429 Q16218972 Q2853973 Q2925491 Q3123723 Q3370518 Q3085428 Q3060243 Q3411739 Q3479548 Q278699 Q3310232 Q1242626 Q3340635 Q2964997 Q1780838 Q861710 Q521021 Q3426404 Q3035363 Q3130746 Q1027750 Q2830328 Q3131911 Q3079081 Q3087522 Q2793541 Q3060152 Q3083367 Q670793 Q2995032 Q3081551 Q16027744 Q2958863 Q3188358 Q3132223 Q973961 Q236630 Q3173947 Q3170512 Q522970 Q286293 Q1530897 Q123553 Q328694 Q18692704 Q115615 Q1152965 Q542253 Q2061604 Q3347359 Q3130377 Q1091442 Q3261352 Q574624 Q160619 Q572312 Q3292365 Q3310572 Q765691 Q8314694 Q3159671 Q3572474 Q381187 Q8315554 Q294250 Q18744951 Q5738 Q704515 Q3371930 Q318391 Q2618397 Q3163985 Q1359186 Q3171314 Q3014866 Q3132781 Q3395542 Q15969483 Q3130999 Q766157 Q706785 Q332457 Q3188678 Q361976 Q15971717 Q1366463 Q3379409 Q2831113 Q3158552 Q2829780 Q976009 Q333292 Q3124267 Q3172082 Q3436187 Q205185 Q963774 Q2364892 Q15377078 Q3379926 Q3175044 Q3168382 Q3022579 Q729578 Q2025977 Q980896 Q3059869 Q16267086 Q3385382 Q202749 Q455618 Q471293 Q534446 Q3293637 Q15973597 Q3060100 Q2958239 Q16243790 Q3348824 Q3052749 Q3013889 Q3059740 Q207380 Q465387 Q3184756 Q746357 Q1361997 Q3290542 Q3340484 Q1415007 Q2960534 Q522603 Q329458 Q20089624 Q2818875 Q3164306 Q319289 Q3171450 Q3170181 Q3271439 Q12959 Q170357 Q286330 Q2014623 Q739537 Q3557087 Q3164300 Q1356214 Q3300339
OR((c(Q502895),P69,Q3268957), (c(Q502895),P69,Q568554))
action filter_type
action union
action find_reverse
entity Q3268957
relation P69
action find_reverse
entity Q568554
relation P69
type Q502895
[ANSWERS] are an alumni of Lycée Thiers or University of Caen Normandy
{'OR': [[{'concept': 'Q502895'}, 'P69', 'Q3268957'], [{'concept': 'Q502895'}, 'P69', 'Q568554']]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?v ) { ( resource:Q3268957 ) ( resource:Q568554 ) } . ?t property:P69 ?v } . ?t rdf:type ontology:Q502895 }
Maurice Schmitt Pierre Tapie Arcisse de Caumont Jean Guyon Charles Hacks Alphonse Moutte Dominique Colas Henri Michel Joachim Menant Toussaint Franchi Charles Piétri François Pouqueville Horace Bertin René de Possel Gilles Pécout Jean Masse Louis Ducreux Jean Eudes Irène Théry Jean-Toussaint Samat Ludovic Zoretti Paul Yonnet Joseph-Pierre de Bonnecamps Edmond Astruc Jules Charles-Roux Ioannis Psycharis Urbain Le Verrier Gaston Jean Baptiste de Renty Paul Lombard Charles de Saint-Évremond Jean-Baptiste Gourinat George Rodocanachi Thomas Jean Montsaint Taxile Delord Elsa Lepoivre Jules Amédée Barbey d'Aurevilly Claude Rank Marie Firmin Gabriel Théophile Amourel Jean-Louis Vissière Henri Bourde de La Rogerie Pierre Varignon Gilles Déric Franck Fernandel Pierre Hauton Sabin Berthelot Édouard Delanglade Caspar Barlaeus André Turcat Guillaume-François Rouelle Édouard Crémieux Albert Jean Baptiste Marie Vayssière Paul Arène Olivier Metzner Hippolyte de Villeneuve-Flayosc François Morel Jean-Toussaint Desanti Charles-François Tiphaigne de la Roche Alain Connes Élémir Bourges Valère Bernard Pierre Simonet Eugène Eudes-Deslongchamps Jacques Le Goff Brigitte Le Brethon Jean-Pierre Péroncel-Hugoz Daniel Mesguich Pol Lapeyre Gabriel Péri Jean François Mayor de Montricher François-André-Adrien Pluquet Pierre Sineux Henry de Lumley Peter Johan Lor Albert Tian Marc Chervel Paul Gaffarel Amédée Armand Louis-Julien Morin de la Beauluère Antoine Rey-Dussueil Jean-Paul Ngoupandé Cyprien Fabre Pierre Aguiton Eugène Fabry Pierre-Louis Siret Gabriel Audisio Joseph Méry Antoine François Hippolyte Fabre Adrien Le Bihan Bruno Étienne Benjamin Abram Jean-Marie Girault J. Hector St. John de Crèvecœur Jean Follain Constance Grewe Pierre Grécias Pierre Broué Jean François Sarrazin Jules Rostand Albert Chabanon Albert Christophle Jean-Pierre Rampal Henry Bergasse Pierre Marie Antoine Pasquier Joseph Letz Michel Onfray Gérard Louise Gervais de La Rue Remy de Gourmont Adolphe Konan Saraka Gabriel Vahanian Malika Ménard Louis Amédée Achard Léon Thomine Desmazures Pierre Akendengué Marc Fumaroli Pierre Halley Philippe Olmer John Baptiste Charles Lucas Abdelwahab Abdallah Paul Peytral Joseph-Rosalinde Rancher Harry Greenway René Garrec Marcel Brion Antoine de Boismenu Gustave Bonnet Alexandre Bigot Jean Gouhier François Georges Binet de Sainte-Preuve Daniel Lefèvre Jules Dumont d'Urville Henri-Irénée Marrou Pierre François Olive Rayer René Pomeau Jean-Marie Pérès Claude Frikart René Coty Jonathan Gilad Sébastien de Brossard Raymond Debord Jacques Guggenheim Léo Taxil Ernest Reyer Claude Nicolet Édouard Le Héricher Éric Blahic Gilbert Barbier Sébastien Japrisot Philippe Duron Jean-Robert Armogathe Dominique Senequier Eugène Canseliet Aminata Traoré Antoine Karam Pierre-Simon Laplace Abdourahman Waberi François-Xavier Dillmann Antoine Sauvaire de Barthélemy Jules Rostand Antoine Garaby de La Luzerne Brigitte Vallée Gérard Aschieri Paul Arrighi François Moysant Eugène de Robillard de Beaurepaire Pélage-Adélaïde de Lorimier Serge Tchuruk William Petty Michel Lécureur Jacques Baumel Nicolas Noël-Agnès Christian Amatore Léonor Joseph Havin Django Sissoko Hervé Morin René Jean Baptiste Serveau Dominique Pado Henri Bresc Marcel Gauchet Alain Tourret Henri Richer Émile Zuccarelli Roger Vercel Émile Deshayes de Marcère Eugène Rostand François-Gabriel Bertrand Yves Delage Constantin Xypas Francis Letellier Joseph Désiré Tholozan Charles Delanglade Jules-Joseph-Félix-Théodore Onfroy Henri de Bernières Jean Regnault de Segrais Marcel Pagnol Jean Peyrelevade Jean Ballard André Suarès Émile Ollivier Patrick Mennucci Albert Cohen André Philip Bérénice Levet Robert Vigouroux Adolphe Joseph Thomas Monticelli Roger Duchêne Paul Paillole N’Diaye Bah Henri François Anne de Roussel Robert Pipon Marett Louis Brauquier Salvatore Pincherle Roger Garaudy Henri Brocard Marie Aycard Michel Pezet Paul Marie Eugène Vieille Louis Fabry Jacques Nobécourt Yoland Simon Félix Gouin Fortuné Viguier Rexhep Meidani Jean-Loup Rivière Adolphe Thiers Nicolas Lemery Paul Oddo Abel Bonnard François Eudes de Mézeray Jean-Baptiste Couture Joseph Autran Jean Chélini Daniel de Losques Henry Fouquier Polydore Bounin Pierre Alexis Corneille Henri Droguet Auguste Bouge Edmond Jaloux Léon Gozlan Jules Itier Jacques-Henri Bernardin de Saint-Pierre Paul Parraud Xavier Le Pichon Philippe Bouton Albert Detaille Jacques Clinchamps de Malfilâtre Alain Erlande-Brandenburg Pierre Augustin Dangeard Camille Jullian Gérard Rauzy Jean Alfred Fraissinet Robert Rossi Pierre Vidal-Naquet Charles-Alexis-Adrien Duhérissier de Gerville Edmond de Bovis Jean-Marc Aveline Philippe Giusiano Jean Ville Jean-Paul Brighelli Denis Brogniart Ferdinand Brunetière Pierre Barbizet Ernest Vessiot Eugène Forcade Yves Chevallard Pierre Guiral Edmond Rostand Thomas Campion Maurice Rouvier Jean-Pierre Ricard Marion Guillou Benjamin Massieu Eugène Pierre Charles-Marie Livon Jean-Baptiste Roux-Alic Octave Duboscq Emmanuel Jouanne Daniel Costantini Eugène Bonnier Isambard Kingdom Brunel Jacques Amand Eudes-Deslongchamps Joseph Chevillon Philippe Montanier Alain Corbin Marguerin de la Bigne Nicolas Lalleman Laurent Beauvais Charles de Bourgueville André Roussin Doudou Diène Morgan Hermand-Waiche A.-F.-Thomas Le Vacher de la Feutrie Jean-Baptiste Moulin Charles Fabry Jean Coulomb Jean-Yves Marin Léon de La Sicotière Édouard Balladur Maxime Weygand Émile Pollak Pierre-François Jamet Paul Veyne Victor-Henry Debidour Jean-Baptiste Morel Gaël Duval Maurice Aubert
Henri Bourde de La Rogerie, Doudou Diène, Alphonse Moutte, Amédée Armand, Jacques Nobécourt, Paul Lombard, Pierre Simonet, Eugène Fabry, Léon de La Sicotière and Léon Thomine Desmazures are an alumni of Lycée Thiers or University of Caen Normandy
Henri Bourde de La Rogerie Doudou Diène Alphonse Moutte Amédée Armand Jacques Nobécourt Paul Lombard Pierre Simonet Eugène Fabry Léon de La Sicotière Léon Thomine Desmazures
action filter_type
action union
action find_reverse
entity Lycée Thiers
relation educated at
action find_reverse
entity University of Caen Normandy
relation educated at
type common name
{'OR': [[{'concept': 'common name'}, 'educated at', 'Lycée Thiers'], [{'concept': 'common name'}, 'educated at', 'University of Caen Normandy']]}
SELECT DISTINCT ?t WHERE { { VALUES ( ?v ) { ( resource:Lycée_Thiers ) ( resource:University_of_Caen_Normandy ) } . ?t property:educated_at ?v } . ?t rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q4141591 Q21027333
P19
Q515
USER
Which cities were Amédée Armand or Siergiej Grigorjewicz Golicyn born at ?
OR((Q21027333,P19,c(Q515)), (Q4141591,P19,c(Q515)))
action filter_type
action union
action find
entity Q21027333
relation P19
action find
entity Q4141591
relation P19
type Q515
{'OR': [['Q21027333', 'P19', {'concept': 'Q515'}], ['Q4141591', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?l WHERE { { ?p property:P19 ?l . VALUES ( ?p ) { ( resource:Q4141591 ) ( resource:Q21027333 ) } } . ?l rdf:type ontology:Q515 }
Siergiej Grigorjewicz Golicyn Amédée Armand
action filter_type
action union
action find
entity Amédée Armand
relation place of birth
action find
entity Siergiej Grigorjewicz Golicyn
relation place of birth
type city
{'OR': [['Amédée Armand', 'place of birth', {'concept': 'city'}], ['Siergiej Grigorjewicz Golicyn', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?l WHERE { { ?p property:place_of_birth ?l . VALUES ( ?p ) { ( resource:Siergiej_Grigorjewicz_Golicyn ) ( resource:Amédée_Armand ) } } . ?l rdf:type ontology:city }
[]
city
Q23482 Q1773
SYSTEM
Marseille, Riga
Q23482 Q1773
OR((Q21027333,P19,c(Q515)), (Q4141591,P19,c(Q515)))
action filter_type
action union
action find
entity Q21027333
relation P19
action find
entity Q4141591
relation P19
type Q515
Amédée Armand or Siergiej Grigorjewicz Golicyn were born in [ANSWERS]
{'OR': [['Q21027333', 'P19', {'concept': 'Q515'}], ['Q4141591', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?l WHERE { { ?p property:P19 ?l . VALUES ( ?p ) { ( resource:Q4141591 ) ( resource:Q21027333 ) } } . ?l rdf:type ontology:Q515 }
Marseille Riga
Amédée Armand or Siergiej Grigorjewicz Golicyn were born in Marseille and Riga
Marseille Riga
action filter_type
action union
action find
entity Amédée Armand
relation place of birth
action find
entity Siergiej Grigorjewicz Golicyn
relation place of birth
type city
{'OR': [['Amédée Armand', 'place of birth', {'concept': 'city'}], ['Siergiej Grigorjewicz Golicyn', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?l WHERE { { ?p property:place_of_birth ?l . VALUES ( ?p ) { ( resource:Siergiej_Grigorjewicz_Golicyn ) ( resource:Amédée_Armand ) } } . ?l rdf:type ontology:city }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q48320
P190
Q56061
USER
Are Kōbe twin town of those cities ?
(Q48320,P190,Q23482) (Q48320,P190,Q1773)
action is_in
entity prev_answer
action find
entity Q48320
relation P190
['Q48320', 'P190', 'Q23482'] ['Q48320', 'P190', 'Q1773']
ASK WHERE { VALUES ( ?b ) { ( resource:Q23482 ) ( resource:Q1773 ) } . resource:Q48320 property:P190 ?b }
Kōbe
action is_in
entity prev_answer
action find
entity Kōbe
relation sister city
['Kōbe', 'sister city', 'Marseille'] ['Kōbe', 'sister city', 'Riga']
ASK WHERE { VALUES ( ?b ) { ( resource:Marseille ) ( resource:Riga ) } . resource:Kōbe property:sister_city ?b }
[]
administrative territorial entity
SYSTEM
YES
(Q48320,P190,Q23482) (Q48320,P190,Q1773)
action is_in
entity prev_answer
action find
entity Q48320
relation P190
[ANSWER]
['Q48320', 'P190', 'Q23482'] ['Q48320', 'P190', 'Q1773']
ASK WHERE { VALUES ( ?b ) { ( resource:Q23482 ) ( resource:Q1773 ) } . resource:Q48320 property:P190 ?b }
Yes
action is_in
entity prev_answer
action find
entity Kōbe
relation sister city
['Kōbe', 'sister city', 'Marseille'] ['Kōbe', 'sister city', 'Riga']
ASK WHERE { VALUES ( ?b ) { ( resource:Marseille ) ( resource:Riga ) } . resource:Kōbe property:sister_city ?b }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q23482 Q673797 Q3783796
P190
Q56061
USER
Is Marseille a sister city of Sticker, Cornwall and Haydon Bridge ?
(Q23482,P190,Q673797) (Q23482,P190,Q3783796)
action is_in
entity Q23482
action intersection
action find_reverse
entity Q673797
relation P190
action find_reverse
entity Q3783796
relation P190
['Q23482', 'P190', 'Q673797'] ['Q23482', 'P190', 'Q3783796']
ASK WHERE { resource:Q23482 property:P190 resource:Q673797 . resource:Q23482 property:P190 resource:Q3783796 }
Marseille Sticker, Cornwall Haydon Bridge
action is_in
entity Marseille
action intersection
action find_reverse
entity Sticker, Cornwall
relation sister city
action find_reverse
entity Haydon Bridge
relation sister city
['Marseille', 'sister city', 'Sticker, Cornwall'] ['Marseille', 'sister city', 'Haydon Bridge']
ASK WHERE { resource:Marseille property:sister_city resource:Sticker,_Cornwall . resource:Marseille property:sister_city resource:Haydon_Bridge }
[]
administrative territorial entity
SYSTEM
NO
(Q23482,P190,Q673797) (Q23482,P190,Q3783796)
action is_in
entity Q23482
action intersection
action find_reverse
entity Q673797
relation P190
action find_reverse
entity Q3783796
relation P190
[ANSWER]
['Q23482', 'P190', 'Q673797'] ['Q23482', 'P190', 'Q3783796']
ASK WHERE { resource:Q23482 property:P190 resource:Q673797 . resource:Q23482 property:P190 resource:Q3783796 }
No
action is_in
entity Marseille
action intersection
action find_reverse
entity Sticker, Cornwall
relation sister city
action find_reverse
entity Haydon Bridge
relation sister city
['Marseille', 'sister city', 'Sticker, Cornwall'] ['Marseille', 'sister city', 'Haydon Bridge']
ASK WHERE { resource:Marseille property:sister_city resource:Sticker,_Cornwall . resource:Marseille property:sister_city resource:Haydon_Bridge }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q3268957 Q5738
P138
Q502895
USER
Is Adolphe Thiers Lycée Thiers named after ?
(Q3268957,P138,Q5738)
action is_in
entity Q5738
action find
entity Q3268957
relation P138
['Q3268957', 'P138', 'Q5738']
ASK WHERE { resource:Q3268957 property:P138 resource:Q5738 }
Lycée Thiers Adolphe Thiers
action is_in
entity Adolphe Thiers
action find
entity Lycée Thiers
relation named after
['Lycée Thiers', 'named after', 'Adolphe Thiers']
ASK WHERE { resource:Lycée_Thiers property:named_after resource:Adolphe_Thiers }
[]
common name
SYSTEM
YES
(Q3268957,P138,Q5738)
action is_in
entity Q5738
action find
entity Q3268957
relation P138
[ANSWER]
['Q3268957', 'P138', 'Q5738']
ASK WHERE { resource:Q3268957 property:P138 resource:Q5738 }
Yes
action is_in
entity Adolphe Thiers
action find
entity Lycée Thiers
relation named after
['Lycée Thiers', 'named after', 'Adolphe Thiers']
ASK WHERE { resource:Lycée_Thiers property:named_after resource:Adolphe_Thiers }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1376
Q15617994 Q515
USER
Which administrative territories have atleast 1 city as their capital ?
(c(Q515),P1376,c(Q15617994))
action atleast
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
value 1
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { FILTER ( ?z >= 1 ) . { SELECT DISTINCT ?d ( COUNT ( ?h ) AS ?z ) WHERE { ?h property:P1376 ?d . ?d rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q515 } GROUP BY ?d } }
action atleast
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
value 1
[{'concept': 'city'}, 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { FILTER ( ?z >= 1 ) . { SELECT DISTINCT ?d ( COUNT ( ?h ) AS ?z ) WHERE { ?h property:capital_of ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:city } GROUP BY ?d } }
[]
designation for an administrative territorial entity city
Q155 Q17 Q347
SYSTEM
Brazil, Japan, Liechtenstein
Q414 Q252 Q399 Q258 Q155 Q736 Q843 Q2007 Q1050 Q298 Q115 Q114 Q696651 Q948 Q639100 Q702 Q833 Q790 Q796 Q794 Q889 Q884 Q881 Q541095 Q1037 Q1033 Q1030 Q750 Q30831 Q878 Q46130 Q3044714 Q1951 Q711 Q717 Q1948 Q27 Q225 Q222 Q47261 Q228 Q963 Q1008 Q72670 Q568751 Q2150573 Q12536 Q3342 Q842 Q3240 Q4712 Q924 Q928 Q851 Q12717 Q347 Q3462133 Q17 Q3207 Q212 Q211 Q218 Q974 Q1019 Q1011
(c(Q515),P1376,c(Q15617994))
action atleast
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
value 1
[ANSWERS] have atleast 1 city as their capital
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { FILTER ( ?z >= 1 ) . { SELECT DISTINCT ?d ( COUNT ( ?h ) AS ?z ) WHERE { ?h property:P1376 ?d . ?d rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q515 } GROUP BY ?d } }
Argentina Indonesia Armenia South Africa Brazil Ecuador Pakistan Northwest Territories Swaziland Chile Ethiopia Kenya Saxe-Eisenach Tunisia Principality of Reuss-Gera Federated States of Micronesia Malaysia Haiti Iraq Iran Afghanistan South Korea Vietnam Rhin-et-Moselle Rwanda Nigeria Namibia Bolivia Red Sea Governorate United Arab Emirates Rhône Ouest Alberta Mongolia Venezuela Manitoba Ireland Bosnia and Herzegovina Albania Duchy of Bavaria Andorra Botswana Côte d'Ivoire Batumi Oblast Mont-Tonnerre Unterelsaß Abbasid caliphate Côte-d'Or Oman Bouches-du-Rhône Duchy of Burgundy Tanzania Philippines Saudi Arabia Bas-Rhin Liechtenstein Saxe-Coburg and Gotha Japan Aude Ukraine Latvia Romania Democratic Republic of the Congo Madagascar Cape Verde
Brazil, Japan and Liechtenstein have atleast 1 city as their capital
Brazil Japan Liechtenstein
action atleast
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
value 1
[{'concept': 'city'}, 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { FILTER ( ?z >= 1 ) . { SELECT DISTINCT ?d ( COUNT ( ?h ) AS ?z ) WHERE { ?h property:capital_of ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:city } GROUP BY ?d } }
[]