Simple Question (Direct)
Simple Question
Q826197
P39
Q12737077
USER
What was the position for which Bernhard Wyss was appointed ?
(Q826197,P39,c(Q12737077))
action filter_type
action find
entity Q826197
relation P39
type Q12737077
['Q826197', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q12737077 . resource:Q826197 property:P39 ?s }
Bernhard Wyss
action filter_type
action find
entity Bernhard Wyss
relation position held
type occupation
['Bernhard Wyss', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:occupation . resource:Bernhard_Wyss property:position_held ?s }
[]
occupation
Q18250165
SYSTEM
Rector of the University of Basel
Q18250165
(Q826197,P39,c(Q12737077))
action filter_type
action find
entity Q826197
relation P39
type Q12737077
Of [ANSWER]
['Q826197', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q12737077 . resource:Q826197 property:P39 ?s }
Rector of the University of Basel
Of Rector of the University of Basel
Rector of the University of Basel
action filter_type
action find
entity Bernhard Wyss
relation position held
type occupation
['Bernhard Wyss', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:occupation . resource:Bernhard_Wyss property:position_held ?s }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q826197
P27
Q15617994
USER
Which administrative territory is the native country of Bernhard Wyss ?
(Q826197,P27,c(Q15617994))
action filter_type
action find
entity Q826197
relation P27
type Q15617994
['Q826197', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q826197 property:P27 ?d . ?d rdf:type ontology:Q15617994 }
Bernhard Wyss
action filter_type
action find
entity Bernhard Wyss
relation country of citizenship
type designation for an administrative territorial entity
['Bernhard Wyss', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Bernhard_Wyss property:country_of_citizenship ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q39
SYSTEM
Switzerland
Q39
(Q826197,P27,c(Q15617994))
action filter_type
action find
entity Q826197
relation P27
type Q15617994
[ANSWER] is the native country of Bernhard Wyss
['Q826197', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q826197 property:P27 ?d . ?d rdf:type ontology:Q15617994 }
Switzerland
Switzerland is the native country of Bernhard Wyss
Switzerland
action filter_type
action find
entity Bernhard Wyss
relation country of citizenship
type designation for an administrative territorial entity
['Bernhard Wyss', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Bernhard_Wyss property:country_of_citizenship ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q39 Q496118
P27
Q502895
USER
Is Andreas Berlin a native of that administrative territory ?
(Q496118,P27,Q39)
action is_in
entity Q496118
action find
entity Q39
relation P27
['Q496118', 'P27', 'Q39']
ASK WHERE { resource:Q39 property:P27 resource:Q496118 }
Switzerland Andreas Berlin
action is_in
entity Andreas Berlin
action find
entity Switzerland
relation country of citizenship
['Andreas Berlin', 'country of citizenship', 'Switzerland']
ASK WHERE { resource:Switzerland property:country_of_citizenship resource:Andreas_Berlin }
[]
common name
SYSTEM
NO
(Q496118,P27,Q39)
action is_in
entity Q496118
action find
entity Q39
relation P27
[ANSWER]
['Q496118', 'P27', 'Q39']
ASK WHERE { resource:Q39 property:P27 resource:Q496118 }
No
action is_in
entity Andreas Berlin
action find
entity Switzerland
relation country of citizenship
['Andreas Berlin', 'country of citizenship', 'Switzerland']
ASK WHERE { resource:Switzerland property:country_of_citizenship resource:Andreas_Berlin }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q39 Q52636
P37
Q34770
USER
How many languages are considered to be the official language of Switzerland or Minorca ?
(Q39,P37,c(Q34770)) (Q52636,P37,c(Q34770))
action count
action union
action filter_type
action find
entity Q39
relation P37
type Q34770
action filter_type
action find
entity Q52636
relation P37
type Q34770
['Q39', 'P37', {'concept': 'Q34770'}] ['Q52636', 'P37', {'concept': 'Q34770'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { ?x rdf:type ontology:Q34770 . resource:Q39 property:P37 ?x } UNION { ?x rdf:type ontology:Q34770 . resource:Q52636 property:P37 ?x } }
Switzerland Minorca
action count
action union
action filter_type
action find
entity Switzerland
relation official language
type language
action filter_type
action find
entity Minorca
relation official language
type language
['Switzerland', 'official language', {'concept': 'language'}] ['Minorca', 'official language', {'concept': 'language'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { ?x rdf:type ontology:language . resource:Switzerland property:official_language ?x } UNION { ?x rdf:type ontology:language . resource:Minorca property:official_language ?x } }
[]
language
SYSTEM
2
Q652 Q1321
(Q39,P37,c(Q34770)) (Q52636,P37,c(Q34770))
action count
action union
action filter_type
action find
entity Q39
relation P37
type Q34770
action filter_type
action find
entity Q52636
relation P37
type Q34770
[ANSWER]
['Q39', 'P37', {'concept': 'Q34770'}] ['Q52636', 'P37', {'concept': 'Q34770'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { ?x rdf:type ontology:Q34770 . resource:Q39 property:P37 ?x } UNION { ?x rdf:type ontology:Q34770 . resource:Q52636 property:P37 ?x } }
Italian Spanish
2
action count
action union
action filter_type
action find
entity Switzerland
relation official language
type language
action filter_type
action find
entity Minorca
relation official language
type language
['Switzerland', 'official language', {'concept': 'language'}] ['Minorca', 'official language', {'concept': 'language'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?n ) WHERE { { ?x rdf:type ontology:language . resource:Switzerland property:official_language ?x } UNION { ?x rdf:type ontology:language . resource:Minorca property:official_language ?x } }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q39
P921
Q2342494
USER
Which collectable has that administrative territory as its main topic ?
action filter_type
action find_reverse
entity Q39
relation P921
type Q2342494
SELECT DISTINCT ?b WHERE { ?b property:P921 resource:Q39 . ?b rdf:type ontology:Q2342494 }
Switzerland
action filter_type
action find_reverse
entity Switzerland
relation main subject
type collectable
SELECT DISTINCT ?b WHERE { ?b property:main_subject resource:Switzerland . ?b rdf:type ontology:collectable }
[]
collectable
Q24089288
SYSTEM
Švýcarsko, jeho ústava, jeho vláda, jeho samospráva
Q24089288
action filter_type
action find_reverse
entity Q39
relation P921
type Q2342494
[ANSWER] has that administrative territory as its main topic
SELECT DISTINCT ?b WHERE { ?b property:P921 resource:Q39 . ?b rdf:type ontology:Q2342494 }
Švýcarsko, jeho ústava, jeho vláda, jeho samospráva
Švýcarsko, jeho ústava, jeho vláda, jeho samospráva has that administrative territory as its main topic
Švýcarsko, jeho ústava, jeho vláda, jeho samospráva
action filter_type
action find_reverse
entity Switzerland
relation main subject
type collectable
SELECT DISTINCT ?b WHERE { ?b property:main_subject resource:Switzerland . ?b rdf:type ontology:collectable }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1635769 Q39
P47
Q1048835
USER
Which political territories share the border with Switzerland or Aguilar de Codés ?
OR((Q39,P47,c(Q1048835)), (Q1635769,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q39
relation P47
action find
entity Q1635769
relation P47
type Q1048835
{'OR': [['Q39', 'P47', {'concept': 'Q1048835'}], ['Q1635769', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?m WHERE { { VALUES ( ?a ) { ( resource:Q39 ) ( resource:Q1635769 ) } . ?a property:P47 ?m } . ?m rdf:type ontology:Q1048835 }
Aguilar de Codés Switzerland
action filter_type
action union
action find
entity Switzerland
relation shares border with
action find
entity Aguilar de Codés
relation shares border with
type political territorial entity
{'OR': [['Switzerland', 'shares border with', {'concept': 'political territorial entity'}], ['Aguilar de Codés', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?m WHERE { { VALUES ( ?a ) { ( resource:Switzerland ) ( resource:Aguilar_de_Codés ) } . ?a property:shares_border_with ?m } . ?m rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q1645807 Q40 Q1373973 Q644914 Q183 Q581589 Q1637015 Q1637542 Q1751480
SYSTEM
Aras, Austria, Campezo/Kanpezu, Marañón, Germany, Oyón-Oion, Cabredo, Lapoblación, Genevilla
Q1645807 Q40 Q1373973 Q644914 Q183 Q581589 Q1637015 Q1637542 Q1751480
OR((Q39,P47,c(Q1048835)), (Q1635769,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q39
relation P47
action find
entity Q1635769
relation P47
type Q1048835
[ANSWERS] share the border with Switzerland or Aguilar de Codés
{'OR': [['Q39', 'P47', {'concept': 'Q1048835'}], ['Q1635769', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?m WHERE { { VALUES ( ?a ) { ( resource:Q39 ) ( resource:Q1635769 ) } . ?a property:P47 ?m } . ?m rdf:type ontology:Q1048835 }
Aras Austria Campezo/Kanpezu Marañón Germany Oyón-Oion Cabredo Lapoblación Genevilla
Aras, Austria, Campezo/Kanpezu, Marañón, Germany, Oyón-Oion, Cabredo, Lapoblación and Genevilla share the border with Switzerland or Aguilar de Codés
Aras Austria Campezo/Kanpezu Marañón Germany Oyón-Oion Cabredo Lapoblación Genevilla
action filter_type
action union
action find
entity Switzerland
relation shares border with
action find
entity Aguilar de Codés
relation shares border with
type political territorial entity
{'OR': [['Switzerland', 'shares border with', {'concept': 'political territorial entity'}], ['Aguilar de Codés', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?m WHERE { { VALUES ( ?a ) { ( resource:Switzerland ) ( resource:Aguilar_de_Codés ) } . ?a property:shares_border_with ?m } . ?m rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P1376
Q1048835 Q515 Q20667921
USER
Which political territories have max number of cities and french administrative divisions as their county seat ?
(c(Q515)|c(Q20667921),P1376,c(Q1048835))
action argmax
action union
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q20667921
[[{'concept': 'Q515'}, {'concept': 'Q20667921'}], 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?w ) { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?s ) WHERE { VALUES ( ?n ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } . ?k rdf:type ?n } GROUP BY ?j } } . { SELECT DISTINCT ?y ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:P1376 ?y . ?h rdf:type ontology:Q515 . ?y rdf:type ontology:Q1048835 } UNION { ?h rdf:type ontology:Q20667921 . ?y rdf:type ontology:Q1048835 . ?h property:P1376 ?y } } GROUP BY ?y } . FILTER ( ?u = ?w ) }
action argmax
action union
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type type of french administrative division
[[{'concept': 'city'}, {'concept': 'type of french administrative division'}], 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?w ) { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?s ) WHERE { VALUES ( ?n ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } . ?k rdf:type ?n } GROUP BY ?j } } . { SELECT DISTINCT ?y ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:capital_of ?y . ?h rdf:type ontology:city . ?y rdf:type ontology:political_territorial_entity } UNION { ?h rdf:type ontology:type_of_french_administrative_division . ?y rdf:type ontology:political_territorial_entity . ?h property:capital_of ?y } } GROUP BY ?y } . FILTER ( ?u = ?w ) }
[]
political territorial entity city type of french administrative division
Q22880
SYSTEM
Electoral Palatinate
Q22880
(c(Q515)|c(Q20667921),P1376,c(Q1048835))
action argmax
action union
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q20667921
[ANSWER] have max number of cities and french administrative divisions as their county seat
[[{'concept': 'Q515'}, {'concept': 'Q20667921'}], 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?w ) { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?s ) WHERE { VALUES ( ?n ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } . ?k rdf:type ?n } GROUP BY ?j } } . { SELECT DISTINCT ?y ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:P1376 ?y . ?h rdf:type ontology:Q515 . ?y rdf:type ontology:Q1048835 } UNION { ?h rdf:type ontology:Q20667921 . ?y rdf:type ontology:Q1048835 . ?h property:P1376 ?y } } GROUP BY ?y } . FILTER ( ?u = ?w ) }
Electoral Palatinate
Electoral Palatinate have max number of cities and french administrative divisions as their county seat
Electoral Palatinate
action argmax
action union
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type type of french administrative division
[[{'concept': 'city'}, {'concept': 'type of french administrative division'}], 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?w ) { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?s ) WHERE { VALUES ( ?n ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } . ?k rdf:type ?n } GROUP BY ?j } } . { SELECT DISTINCT ?y ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:capital_of ?y . ?h rdf:type ontology:city . ?y rdf:type ontology:political_territorial_entity } UNION { ?h rdf:type ontology:type_of_french_administrative_division . ?y rdf:type ontology:political_territorial_entity . ?h property:capital_of ?y } } GROUP BY ?y } . FILTER ( ?u = ?w ) }
[]