Simple Question (Direct)
Simple Question
Q6070891
P607
Q198
USER
What battle was William S. Richardson a part of ?
(Q6070891,P607,c(Q198))
action filter_type
action find
entity Q6070891
relation P607
type Q198
['Q6070891', 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ?r WHERE { resource:Q6070891 property:P607 ?r . ?r rdf:type ontology:Q198 }
William S. Richardson
action filter_type
action find
entity William S. Richardson
relation conflict
type war
['William S. Richardson', 'conflict', {'concept': 'war'}]
SELECT DISTINCT ?r WHERE { resource:William_S._Richardson property:conflict ?r . ?r rdf:type ontology:war }
[]
war
Q362
SYSTEM
World War II
Q362
(Q6070891,P607,c(Q198))
action filter_type
action find
entity Q6070891
relation P607
type Q198
The [ANSWER] was William S. Richardson a part of
['Q6070891', 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ?r WHERE { resource:Q6070891 property:P607 ?r . ?r rdf:type ontology:Q198 }
World War II
The World War II was William S. Richardson a part of
World War II
action filter_type
action find
entity William S. Richardson
relation conflict
type war
['William S. Richardson', 'conflict', {'concept': 'war'}]
SELECT DISTINCT ?r WHERE { resource:William_S._Richardson property:conflict ?r . ?r rdf:type ontology:war }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6070891
P20
Q5119
USER
Where did William S. Richardson expire ?
(Q6070891,P20,c(Q5119))
action filter_type
action find
entity Q6070891
relation P20
type Q5119
['Q6070891', 'P20', {'concept': 'Q5119'}]
SELECT DISTINCT ?x WHERE { resource:Q6070891 property:P20 ?x . ?x rdf:type ontology:Q5119 }
William S. Richardson
action filter_type
action find
entity William S. Richardson
relation place of death
type capital
['William S. Richardson', 'place of death', {'concept': 'capital'}]
SELECT DISTINCT ?x WHERE { resource:William_S._Richardson property:place_of_death ?x . ?x rdf:type ontology:capital }
[]
capital
Q18094
SYSTEM
Honolulu
Q18094
(Q6070891,P20,c(Q5119))
action filter_type
action find
entity Q6070891
relation P20
type Q5119
William S. Richardson expired in [ANSWER]
['Q6070891', 'P20', {'concept': 'Q5119'}]
SELECT DISTINCT ?x WHERE { resource:Q6070891 property:P20 ?x . ?x rdf:type ontology:Q5119 }
Honolulu
William S. Richardson expired in Honolulu
Honolulu
action filter_type
action find
entity William S. Richardson
relation place of death
type capital
['William S. Richardson', 'place of death', {'concept': 'capital'}]
SELECT DISTINCT ?x WHERE { resource:William_S._Richardson property:place_of_death ?x . ?x rdf:type ontology:capital }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1578537
Q5119
USER
And also tell me about Hans Bachmann?
(Q1578537,P20,c(Q5119))
action filter_type
action find
entity Q1578537
relation P20
type Q5119
['Q1578537', 'P20', {'concept': 'Q5119'}]
SELECT DISTINCT ?p WHERE { resource:Q1578537 property:P20 ?p . ?p rdf:type ontology:Q5119 }
Hans Bachmann
action filter_type
action find
entity Hans Bachmann
relation place of death
type capital
['Hans Bachmann', 'place of death', {'concept': 'capital'}]
SELECT DISTINCT ?p WHERE { resource:Hans_Bachmann property:place_of_death ?p . ?p rdf:type ontology:capital }
[]
capital
Q25607
SYSTEM
St. Gallen
Q25607
(Q1578537,P20,c(Q5119))
action filter_type
action find
entity Q1578537
relation P20
type Q5119
[ANSWER]
['Q1578537', 'P20', {'concept': 'Q5119'}]
SELECT DISTINCT ?p WHERE { resource:Q1578537 property:P20 ?p . ?p rdf:type ontology:Q5119 }
St. Gallen
St. Gallen
action filter_type
action find
entity Hans Bachmann
relation place of death
type capital
['Hans Bachmann', 'place of death', {'concept': 'capital'}]
SELECT DISTINCT ?p WHERE { resource:Hans_Bachmann property:place_of_death ?p . ?p rdf:type ontology:capital }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q14920 Q25607
P19
Q502895
USER
Which people have place of birth as St. Gallen or Neu-Isenburg ?
OR((c(Q502895),P19,Q25607), (c(Q502895),P19,Q14920))
action filter_type
action union
action find_reverse
entity Q25607
relation P19
action find_reverse
entity Q14920
relation P19
type Q502895
{'OR': [[{'concept': 'Q502895'}, 'P19', 'Q25607'], [{'concept': 'Q502895'}, 'P19', 'Q14920']]}
SELECT DISTINCT ?q WHERE { { VALUES ( ?a ) { ( resource:Q25607 ) ( resource:Q14920 ) } . ?q property:P19 ?a } . ?q rdf:type ontology:Q502895 }
Neu-Isenburg St. Gallen
action filter_type
action union
action find_reverse
entity St. Gallen
relation place of birth
action find_reverse
entity Neu-Isenburg
relation place of birth
type common name
{'OR': [[{'concept': 'common name'}, 'place of birth', 'St. Gallen'], [{'concept': 'common name'}, 'place of birth', 'Neu-Isenburg']]}
SELECT DISTINCT ?q WHERE { { VALUES ( ?a ) { ( resource:St._Gallen ) ( resource:Neu-Isenburg ) } . ?q property:place_of_birth ?a } . ?q rdf:type ontology:common_name }
[]
common name
Q1335577 Q1389462 Q2055326 Q25999870 Q566085 Q1611695 Q122659 Q877624 Q2853647 Q115875
SYSTEM
Some of them are Karl Pestalozzi, Isabelle Forrer, Pascal Sieber, Monica Bachmann, Magnus of Füssen, Joseph Kopf, René Tinner, Prince Maximilian of Liechtenstein, Antoine Barthez de Marmorières, Pius Segmüller
Q16101809 Q5428633 Q19840750 Q667758 Q1679398 Q1586424 Q17523943 Q2055326 Q2158626 Q118662 Q2476098 Q3557558 Q1359685 Q1085286 Q1583904 Q661071 Q2651064 Q2020805 Q124081 Q1495267 Q116098 Q19758857 Q3290641 Q579778 Q1245264 Q1697162 Q2656472 Q686604 Q3057372 Q15229631 Q667770 Q94042 Q1452420 Q1583725 Q15843232 Q114671 Q119487 Q207949 Q657982 Q16266355 Q115875 Q2853647 Q121045 Q2562181 Q5428603 Q2161049 Q117781 Q14944245 Q91956 Q1446509 Q692364 Q120960 Q682991 Q115719 Q16216278 Q3734843 Q1611695 Q11921776 Q349232 Q1581386 Q115717 Q1415020 Q1932633 Q1295005 Q115600 Q2075215 Q16235534 Q1360311 Q2456152 Q2158914 Q27533411 Q1598299 Q1284410 Q1607104 Q117972 Q121989 Q122659 Q15455330 Q3183108 Q16729276 Q1314670 Q11763234 Q115579 Q1445241 Q1589821 Q124022 Q1458423 Q115559 Q670941 Q2661025 Q21620851 Q27229518 Q916546 Q1997047 Q15428450 Q1446590 Q26961765 Q122785 Q1579427 Q96930 Q1783485 Q1903314 Q15454752 Q26197247 Q1286777 Q121875 Q1357908 Q1603717 Q1119553 Q1335577 Q1727474 Q21139815 Q2174671 Q2150713 Q1697428 Q3417331 Q671596 Q58147 Q115956 Q17183155 Q1247338 Q2002681 Q684951 Q20676152 Q1695244 Q691106 Q1893655 Q119440 Q1036796 Q125327 Q6762292 Q18511563 Q122033 Q1085476 Q1693044 Q1713695 Q1728978 Q3783151 Q684167 Q1703578 Q124822 Q365504 Q2476849 Q2476846 Q1362857 Q26235965 Q1592016 Q2039592 Q1586322 Q115654 Q118407 Q90596 Q2737752 Q1081646 Q2173802 Q25999870 Q1893666 Q1584551 Q116446 Q817988 Q1405413 Q1379364 Q23010071 Q3180591 Q2076666 Q691193 Q15713613 Q2577046 Q117387 Q1579402 Q19840881 Q2547375 Q2571454 Q1358903 Q4332701 Q125012 Q17388981 Q696577 Q124236 Q566085 Q118833 Q1565551 Q121473 Q918683 Q1618325 Q117883 Q1674379 Q119895 Q3783234 Q709904 Q1690407 Q118245 Q1662233 Q996663 Q2645979 Q1298526 Q671606 Q321099 Q75233 Q1702830 Q761630 Q1081087 Q493598 Q1582130 Q1389462 Q1770584 Q1359376 Q2343872 Q1077775 Q1712769 Q1580057 Q877624 Q22328477 Q124048 Q8046773 Q119266 Q695904 Q1580221 Q116429 Q15889525 Q1710286 Q1176997 Q2644387 Q1545210 Q46134 Q16623268 Q1709550 Q1357459 Q1037211 Q1290121 Q2524385 Q1732128 Q816933 Q683305 Q3286958 Q1893018 Q2417669 Q17305212 Q1672854 Q563175 Q2040441 Q2544436 Q121966 Q123902 Q1405028 Q3886412 Q124054 Q105128 Q694903 Q121242 Q2038826 Q118803 Q1576101 Q7606175 Q666561 Q121106 Q108495 Q1744419 Q26198288 Q1330658 Q1446613 Q1496147 Q2038987 Q1176118 Q3792288 Q1323691 Q1648594 Q122661 Q1679246 Q1601121 Q1582357 Q2427507 Q761150 Q2144652 Q110006 Q66185 Q1369410 Q2666503 Q688330 Q1342107 Q1705320 Q15621604 Q672448 Q1729603 Q685669 Q120327 Q562310 Q1580337 Q1745405 Q1895411 Q2522320
OR((c(Q502895),P19,Q25607), (c(Q502895),P19,Q14920))
action filter_type
action union
action find_reverse
entity Q25607
relation P19
action find_reverse
entity Q14920
relation P19
type Q502895
[ANSWERS] have place of birth as St. Gallen or Neu-Isenburg
{'OR': [[{'concept': 'Q502895'}, 'P19', 'Q25607'], [{'concept': 'Q502895'}, 'P19', 'Q14920']]}
SELECT DISTINCT ?q WHERE { { VALUES ( ?a ) { ( resource:Q25607 ) ( resource:Q14920 ) } . ?q property:P19 ?a } . ?q rdf:type ontology:Q502895 }
Luca Raschle Princess Tatjana of Liechtenstein Wilhelm von Gonzenbach Arthur Hoffmann Jacob Wegelin Verena Merz Kurt Meier Pascal Sieber Robert Rittmeyer Regina Ullmann Ulrich Im Hof Victor Ruzo Ernst Otto Marti Christoph Keller Hansjürg Steinlin Enzo Todisco Alphonse Bory Olivier Bernhard Robert Emden Jean Gaspard Jules Gsell Joachim Vadian Anneliese Betschart Margrit Weber Andi Grünenfelder Doris Morf Johannes Anderegg Augustin Schurff Damian Bellón Ernst Rüesch Flora Godchaux Thomas Holenstein Charles Hug Fred Luchsinger Hansegger Rudolf Haller Christoph Schappeler Hans-Werner Hunziker Tranquillo Barnetta Peter Dietrich Jürg H. Buchegger Pius Segmüller Antoine Barthez de Marmorières Norbert Weisser Werner Näf Prince Constantin of Liechtenstein Roderich Albert Kunkler Hans Altherr Roger Stilz Robert Curjel Franz Cölestin von Beroldingen Markus Gier Hans Rudolf Hilty Karl Huber Saint Othmar Karin Weigelt Alex Baumann Joseph Kopf Felix Thürlemann Adam Heinrich Ebner Hans Moeckel Peter Maag Jörg Paul Müller Miguel Herz-Kestranek Edwin Tobler Kurt Furgler Peter Gomez Jevrem Kosnić Ernst Streckeisen Trudi Gerster Robert Suter Swintha Gersthofer Heinrich Merz Werner Johannes Guggenheim Peter Weigelt Adolf Schlatter Elmar Holenstein René Tinner Norbert Bischofberger Jolanda Neff Bruno Gideon Otto Köhler Lucas Vonlanthen Karl Kobelt Wilhelm Arnoul Herbert Lüthy Bärbel Inhelder Bernhard Wartmann Arnold Koller Aleksandar Prijović Berta Rahm Milan Basrak Florin Granwehr Brigitte Oelke Norbert Möslang Lukrezia Seiler Franz Dähler Franz Bucher Karl Nef Hans Fehr Georg Joachim Zollikofer Walther Allgöwer Martin Allgöwer Joachim Raab Marcel Niederer Edmund Richner Hansrudi Wäscher Ernst E. Boesch Helmut John Erich Schmidt Karl Pestalozzi Kurt Früh Harald Gämperle Ruedi Schatz Richard Suter Johannes Duft Raffaele D’Alessandro Georg Gsell Aurelia Frick Paola del Medico Fred Hayman Gustav Laager Richard Dürr Carl Walter Liner Rolf Weber Johann Künzle Johann Jakob Weilenmann Marco Battilana Paul Rechsteiner Carl Arnold Gonzenbach Otto Feuerlein Marianne de Pury Otto Rietmann Franz Jaeger Christoph Maeder Johann Christoph Kunkler Karl Käfer Karl Schölly Hans Hermann Kürsteiner Stephan Schmidheiny Robert Nef Ernst Rüdin Adolph Saurer Ulrich Varnbüler Ulrich Varnbüler Erwin Bucher Christoph Rheiner Roger Walch Otto Kopp Henri Kunkler Paul Grüninger Johann Baptist Isenring Hieronymus Schurff Sabine Dünser Christian Rutishauser Rudolf Seiferlein Monica Bachmann Marco Bischof Harald Huber Bruno Zuppiger Benno Schaeppi Ferdinand Fürchtegott Huber Eva Maron Silvie Defraoui Johann Joseph Keel Peter Liechti Marwin Hitz Thomas Busin Willi Enke Simone Drexel Hans Eugen Frischknecht Theobald von Zollikofer Walther Pollatschek Wilhard Becker Ernst Kapff Bénédict Pierre Georges Hochreutiner Hans Ferdinand Bürki Theo Schmidhauser Arnold Wolfers Paul Scherrer Magnus of Füssen Hans Eduard von Berlepsch-Valendas Ingrid Jent-Sørensen Erwin C. Dietrich Orhan Ademi Hildegard Elisabeth Keller Walter Roderer Iso Baumer Wolfgang Popp Hans-Peter Zwicker Arthur Honegger Joachim Rittmeyer Medard Boss Ines Torelli Hans Feurer Alfred Streim Heinz Allenspach Beat Breu Adrian Zingg Franz Völker Jon Pult August Hardegger Christian Mengelt Andrea Caroni Hans-Rudolf Henche Isabelle Forrer Martin Büchsel Ernst Löpfe Stephan Sigg Chris Sulser Julius Kunkler Hans Haug Prince Maximilian of Liechtenstein Walter Saxer Lorenz Hochrütiner Yagó Bellón John Joachim Zubly Arnold Otto Aepli Hans Herold Niklaus Meienberg Daniel Martin Eckhart Jso Maeder David Vonwiller Alfons Karl Zwicker Gregor Zöllig Nevin Galmarini William Horschke Roswitha Haftmann Ernst Balser Carl Böckli Eduard Stäuble Viktor Schlatter Karl Ledergerber Benedikt Burgauer Carl August Liner Manuel de Diéguez Marcel Geisser Theodor Gsell-Fels Jacob Lorenz Ralph Weber Anna Schlatter-Bernet Otto Schlaginhaufen Walter Gerosa Karl Meier Ruth Dreifuss Ferdi Lehder Oscar Engler Wolfgang Ulimann Heinrich Greinacher Arnold Billwiler Friedrich Albert Wenner Otto Furter Christophe Boesch Hannes W. Keller Stefan Lehner Dominik Meichtry Ruedi Aeschbacher Walter Greiling Klara Obermüller Christina Niederer Robert Gsell Franz Eduard Erpf Otto Fischbacher Otto Gsell David Philip Hefti Ignaz Epper Paul Scherrer Jörg Fisch Johann Kessler Jakob Müller Heinz Weinhold-Stünzi Hans Schneider Thomas Stricker August E. Hohler René Gilsi Anny Schlemm Wilhelm Leichum Heinrich Weydmann August von Gonzenbach Christian Heule Johannes Varnbüler Josef Moser Werner Allgöwer Marco Zwyssig Karina Thayenthal Ueli Bodenmann Alexander Baumgartner Walter Mittelholzer Hans Huber Klaus Lutz Margret Fusbahn Victor Fehr
Karl Pestalozzi, Isabelle Forrer, Pascal Sieber, Monica Bachmann, Magnus of Füssen, Joseph Kopf, René Tinner, Prince Maximilian of Liechtenstein, Antoine Barthez de Marmorières and Pius Segmüller have place of birth as St. Gallen or Neu-Isenburg
Karl Pestalozzi Isabelle Forrer Pascal Sieber Monica Bachmann Magnus of Füssen Joseph Kopf René Tinner Prince Maximilian of Liechtenstein Antoine Barthez de Marmorières Pius Segmüller
action filter_type
action union
action find_reverse
entity St. Gallen
relation place of birth
action find_reverse
entity Neu-Isenburg
relation place of birth
type common name
{'OR': [[{'concept': 'common name'}, 'place of birth', 'St. Gallen'], [{'concept': 'common name'}, 'place of birth', 'Neu-Isenburg']]}
SELECT DISTINCT ?q WHERE { { VALUES ( ?a ) { ( resource:St._Gallen ) ( resource:Neu-Isenburg ) } . ?q property:place_of_birth ?a } . ?q rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q877624
P53
Q8436
USER
What is the family that Prince Maximilian of Liechtenstein belongs to ?
(Q877624,P53,c(Q8436))
action filter_type
action find
entity Q877624
relation P53
type Q8436
['Q877624', 'P53', {'concept': 'Q8436'}]
SELECT DISTINCT ?s WHERE { resource:Q877624 property:P53 ?s . ?s rdf:type ontology:Q8436 }
Prince Maximilian of Liechtenstein
action filter_type
action find
entity Prince Maximilian of Liechtenstein
relation noble family
type family
['Prince Maximilian of Liechtenstein', 'noble family', {'concept': 'family'}]
SELECT DISTINCT ?s WHERE { resource:Prince_Maximilian_of_Liechtenstein property:noble_family ?s . ?s rdf:type ontology:family }
[]
family
Q698530
SYSTEM
Princely Family of Liechtenstein
Q698530
(Q877624,P53,c(Q8436))
action filter_type
action find
entity Q877624
relation P53
type Q8436
The family that Prince Maximilian of Liechtenstein belongs to is the [ANSWER]
['Q877624', 'P53', {'concept': 'Q8436'}]
SELECT DISTINCT ?s WHERE { resource:Q877624 property:P53 ?s . ?s rdf:type ontology:Q8436 }
Princely Family of Liechtenstein
The family that Prince Maximilian of Liechtenstein belongs to is the Princely Family of Liechtenstein
Princely Family of Liechtenstein
action filter_type
action find
entity Prince Maximilian of Liechtenstein
relation noble family
type family
['Prince Maximilian of Liechtenstein', 'noble family', {'concept': 'family'}]
SELECT DISTINCT ?s WHERE { resource:Prince_Maximilian_of_Liechtenstein property:noble_family ?s . ?s rdf:type ontology:family }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q877624
P27
Q15617994
USER
Which administrative territory does Prince Maximilian of Liechtenstein belong to ?
(Q877624,P27,c(Q15617994))
action filter_type
action find
entity Q877624
relation P27
type Q15617994
['Q877624', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { resource:Q877624 property:P27 ?x . ?x rdf:type ontology:Q15617994 }
Prince Maximilian of Liechtenstein
action filter_type
action find
entity Prince Maximilian of Liechtenstein
relation country of citizenship
type designation for an administrative territorial entity
['Prince Maximilian of Liechtenstein', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { resource:Prince_Maximilian_of_Liechtenstein property:country_of_citizenship ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q347
SYSTEM
Liechtenstein
Q347
(Q877624,P27,c(Q15617994))
action filter_type
action find
entity Q877624
relation P27
type Q15617994
Prince Maximilian of [ANSWER] belongs to the [ANSWER]
['Q877624', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { resource:Q877624 property:P27 ?x . ?x rdf:type ontology:Q15617994 }
Liechtenstein
Prince Maximilian of Liechtenstein belongs to the Liechtenstein
Liechtenstein
action filter_type
action find
entity Prince Maximilian of Liechtenstein
relation country of citizenship
type designation for an administrative territorial entity
['Prince Maximilian of Liechtenstein', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { resource:Prince_Maximilian_of_Liechtenstein property:country_of_citizenship ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q347 Q40 Q13818
P530
Q1048835
USER
Does that administrative territory have diplomatic associations with Austria and Sant Bartomeu del Grau ?
(Q347,P530,Q40) (Q347,P530,Q13818)
action is_in
entity Q347
action intersection
action find_reverse
entity Q40
relation P530
action find_reverse
entity Q13818
relation P530
['Q347', 'P530', 'Q40'] ['Q347', 'P530', 'Q13818']
ASK WHERE { resource:Q347 property:P530 resource:Q40 . resource:Q347 property:P530 resource:Q13818 }
Liechtenstein Austria Sant Bartomeu del Grau
action is_in
entity Liechtenstein
action intersection
action find_reverse
entity Austria
relation diplomatic relation
action find_reverse
entity Sant Bartomeu del Grau
relation diplomatic relation
['Liechtenstein', 'diplomatic relation', 'Austria'] ['Liechtenstein', 'diplomatic relation', 'Sant Bartomeu del Grau']
ASK WHERE { resource:Liechtenstein property:diplomatic_relation resource:Austria . resource:Liechtenstein property:diplomatic_relation resource:Sant_Bartomeu_del_Grau }
[]
political territorial entity
SYSTEM
YES and NO respectively
(Q347,P530,Q40) (Q347,P530,Q13818)
action is_in
entity Q347
action intersection
action find_reverse
entity Q40
relation P530
action find_reverse
entity Q13818
relation P530
[ANSWER]
['Q347', 'P530', 'Q40'] ['Q347', 'P530', 'Q13818']
ASK WHERE { resource:Q347 property:P530 resource:Q40 . resource:Q347 property:P530 resource:Q13818 }
YES and NO respectively
action is_in
entity Liechtenstein
action intersection
action find_reverse
entity Austria
relation diplomatic relation
action find_reverse
entity Sant Bartomeu del Grau
relation diplomatic relation
['Liechtenstein', 'diplomatic relation', 'Austria'] ['Liechtenstein', 'diplomatic relation', 'Sant Bartomeu del Grau']
ASK WHERE { resource:Liechtenstein property:diplomatic_relation resource:Austria . resource:Liechtenstein property:diplomatic_relation resource:Sant_Bartomeu_del_Grau }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q18094 Q1533 Q8684
P190
Q515
USER
Is Honolulu twin town of Caracas and Seoul ?
(Q18094,P190,Q1533) (Q18094,P190,Q8684)
action is_in
entity Q18094
action intersection
action find_reverse
entity Q1533
relation P190
action find_reverse
entity Q8684
relation P190
['Q18094', 'P190', 'Q1533'] ['Q18094', 'P190', 'Q8684']
ASK WHERE { resource:Q18094 property:P190 resource:Q1533 . resource:Q18094 property:P190 resource:Q8684 }
Honolulu Caracas Seoul
action is_in
entity Honolulu
action intersection
action find_reverse
entity Caracas
relation sister city
action find_reverse
entity Seoul
relation sister city
['Honolulu', 'sister city', 'Caracas'] ['Honolulu', 'sister city', 'Seoul']
ASK WHERE { resource:Honolulu property:sister_city resource:Caracas . resource:Honolulu property:sister_city resource:Seoul }
[]
city
SYSTEM
YES
(Q18094,P190,Q1533) (Q18094,P190,Q8684)
action is_in
entity Q18094
action intersection
action find_reverse
entity Q1533
relation P190
action find_reverse
entity Q8684
relation P190
[ANSWER]
['Q18094', 'P190', 'Q1533'] ['Q18094', 'P190', 'Q8684']
ASK WHERE { resource:Q18094 property:P190 resource:Q1533 . resource:Q18094 property:P190 resource:Q8684 }
Yes
action is_in
entity Honolulu
action intersection
action find_reverse
entity Caracas
relation sister city
action find_reverse
entity Seoul
relation sister city
['Honolulu', 'sister city', 'Caracas'] ['Honolulu', 'sister city', 'Seoul']
ASK WHERE { resource:Honolulu property:sister_city resource:Caracas . resource:Honolulu property:sister_city resource:Seoul }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q877624 Q2569334 Q311308
P7
Q502895
USER
Is Cornelis Vervoorn and Alois, Hereditary Prince of Liechtenstein a brother of Prince Maximilian of Liechtenstein ?
(Q877624,P7,Q2569334) (Q877624,P7,Q311308)
action is_in
entity Q877624
action intersection
action find_reverse
entity Q2569334
relation P7
action find_reverse
entity Q311308
relation P7
['Q877624', 'P7', 'Q2569334'] ['Q877624', 'P7', 'Q311308']
ASK WHERE { resource:Q877624 property:P7 resource:Q2569334 . resource:Q877624 property:P7 resource:Q311308 }
Prince Maximilian of Liechtenstein Cornelis Vervoorn Alois, Hereditary Prince of Liechtenstein
action is_in
entity Prince Maximilian of Liechtenstein
action intersection
action find_reverse
entity Cornelis Vervoorn
relation brother
action find_reverse
entity Alois, Hereditary Prince of Liechtenstein
relation brother
['Prince Maximilian of Liechtenstein', 'brother', 'Cornelis Vervoorn'] ['Prince Maximilian of Liechtenstein', 'brother', 'Alois, Hereditary Prince of Liechtenstein']
ASK WHERE { resource:Prince_Maximilian_of_Liechtenstein property:brother resource:Cornelis_Vervoorn . resource:Prince_Maximilian_of_Liechtenstein property:brother resource:Alois,_Hereditary_Prince_of_Liechtenstein }
[]
common name
SYSTEM
NO and YES respectively
(Q877624,P7,Q2569334) (Q877624,P7,Q311308)
action is_in
entity Q877624
action intersection
action find_reverse
entity Q2569334
relation P7
action find_reverse
entity Q311308
relation P7
[ANSWER]
['Q877624', 'P7', 'Q2569334'] ['Q877624', 'P7', 'Q311308']
ASK WHERE { resource:Q877624 property:P7 resource:Q2569334 . resource:Q877624 property:P7 resource:Q311308 }
NO and YES respectively
action is_in
entity Prince Maximilian of Liechtenstein
action intersection
action find_reverse
entity Cornelis Vervoorn
relation brother
action find_reverse
entity Alois, Hereditary Prince of Liechtenstein
relation brother
['Prince Maximilian of Liechtenstein', 'brother', 'Cornelis Vervoorn'] ['Prince Maximilian of Liechtenstein', 'brother', 'Alois, Hereditary Prince of Liechtenstein']
ASK WHERE { resource:Prince_Maximilian_of_Liechtenstein property:brother resource:Cornelis_Vervoorn . resource:Prince_Maximilian_of_Liechtenstein property:brother resource:Alois,_Hereditary_Prince_of_Liechtenstein }
[]