Simple Question (Direct)
Simple Question
Q15733297
P106
Q12737077
USER
Which occupation has Otis Breustedt as his/her 's career ?
(Q15733297,P106,c(Q12737077))
action filter_type
action find
entity Q15733297
relation P106
type Q12737077
['Q15733297', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?w WHERE { resource:Q15733297 property:P106 ?w . ?w rdf:type ontology:Q12737077 }
Otis Breustedt
action filter_type
action find
entity Otis Breustedt
relation occupation
type occupation
['Otis Breustedt', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?w WHERE { resource:Otis_Breustedt property:occupation ?w . ?w rdf:type ontology:occupation }
[]
occupation
Q937857
SYSTEM
association football player
Q937857
(Q15733297,P106,c(Q12737077))
action filter_type
action find
entity Q15733297
relation P106
type Q12737077
Player [ANSWER] has Otis Breustedt as his/her 's career
['Q15733297', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?w WHERE { resource:Q15733297 property:P106 ?w . ?w rdf:type ontology:Q12737077 }
association football player
Player association football player has Otis Breustedt as his/her 's career
association football player
action filter_type
action find
entity Otis Breustedt
relation occupation
type occupation
['Otis Breustedt', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?w WHERE { resource:Otis_Breustedt property:occupation ?w . ?w rdf:type ontology:occupation }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15733297
P21
Q290
USER
What is the sex of Otis Breustedt ?
(Q15733297,P21,c(Q290))
action filter_type
action find
entity Q15733297
relation P21
type Q290
['Q15733297', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q290 . resource:Q15733297 property:P21 ?v }
Otis Breustedt
action filter_type
action find
entity Otis Breustedt
relation gender
type sex
['Otis Breustedt', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:sex . resource:Otis_Breustedt property:gender ?v }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q15733297,P21,c(Q290))
action filter_type
action find
entity Q15733297
relation P21
type Q290
The sex of Otis Breustedt is the [ANSWER]
['Q15733297', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q290 . resource:Q15733297 property:P21 ?v }
male
The sex of Otis Breustedt is the male
male
action filter_type
action find
entity Otis Breustedt
relation gender
type sex
['Otis Breustedt', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:sex . resource:Otis_Breustedt property:gender ?v }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q6581097
P138
Q7946
USER
Which minerals come from that sex ?
(c(Q7946),P138,Q6581097)
action filter_type
action find_reverse
entity Q6581097
relation P138
type Q7946
[{'concept': 'Q7946'}, 'P138', 'Q6581097']
SELECT DISTINCT ?m WHERE { ?m property:P138 resource:Q6581097 . ?m rdf:type ontology:Q7946 }
male
action filter_type
action find_reverse
entity male
relation named after
type mineral
[{'concept': 'mineral'}, 'named after', 'male']
SELECT DISTINCT ?m WHERE { ?m property:named_after resource:male . ?m rdf:type ontology:mineral }
[]
mineral
Q19861020 Q19861231 Q4006570
SYSTEM
mendeleevite-(Ce), reynoldsite, urusovite
Q19861020 Q18375263 Q19862060 Q19861231 Q4006570 Q3565842 Q19833301
(c(Q7946),P138,Q6581097)
action filter_type
action find_reverse
entity Q6581097
relation P138
type Q7946
[ANSWERS] come from that sex
[{'concept': 'Q7946'}, 'P138', 'Q6581097']
SELECT DISTINCT ?m WHERE { ?m property:P138 resource:Q6581097 . ?m rdf:type ontology:Q7946 }
mendeleevite-(Ce) billwiseite witzkeite reynoldsite urusovite zirkelite carlosbarbosaite
Mendeleevite-(Ce), reynoldsite and urusovite come from that sex
mendeleevite-(Ce) reynoldsite urusovite
action filter_type
action find_reverse
entity male
relation named after
type mineral
[{'concept': 'mineral'}, 'named after', 'male']
SELECT DISTINCT ?m WHERE { ?m property:named_after resource:male . ?m rdf:type ontology:mineral }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P138
Q271669 Q7946
USER
Which landforms are the origin of around 1 mineral ?
(c(Q7946),P138,c(Q271669))
action approx
action find_reverse_tuple_counts
relation P138
type Q271669
type Q7946
value 1
[{'concept': 'Q7946'}, 'P138', {'concept': 'Q271669'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:P138 ?w . ?y rdf:type ontology:Q7946 . ?w rdf:type ontology:Q271669 } GROUP BY ?w } . FILTER ( ?l = 1 ) }
action approx
action find_reverse_tuple_counts
relation named after
type landform
type mineral
value 1
[{'concept': 'mineral'}, 'named after', {'concept': 'landform'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:named_after ?w . ?y rdf:type ontology:mineral . ?w rdf:type ontology:landform } GROUP BY ?w } . FILTER ( ?l = 1 ) }
[]
landform mineral
Q7826822 Q993 Q37056
SYSTEM
Torr Works, Kamchatka Peninsula, Taymyr Peninsula
Q7826822 Q993 Q37056
(c(Q7946),P138,c(Q271669))
action approx
action find_reverse_tuple_counts
relation P138
type Q271669
type Q7946
value 1
[ANSWERS] are the origin of around 1 mineral
[{'concept': 'Q7946'}, 'P138', {'concept': 'Q271669'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:P138 ?w . ?y rdf:type ontology:Q7946 . ?w rdf:type ontology:Q271669 } GROUP BY ?w } . FILTER ( ?l = 1 ) }
Torr Works Kamchatka Peninsula Taymyr Peninsula
Torr Works, Kamchatka Peninsula and Taymyr Peninsula are the origin of around 1 mineral
Torr Works Kamchatka Peninsula Taymyr Peninsula
action approx
action find_reverse_tuple_counts
relation named after
type landform
type mineral
value 1
[{'concept': 'mineral'}, 'named after', {'concept': 'landform'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:named_after ?w . ?y rdf:type ontology:mineral . ?w rdf:type ontology:landform } GROUP BY ?w } . FILTER ( ?l = 1 ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P138
Q502895 Q618123 Q7946
USER
Which minerals have max number of people or geographical objects as their toponym ?
(c(Q7946),P138,c(Q502895)|c(Q618123))
action argmax
action union
action find_tuple_counts
relation P138
type Q7946
type Q502895
action find_tuple_counts
relation P138
type Q7946
type Q618123
[{'concept': 'Q7946'}, 'P138', [{'concept': 'Q502895'}, {'concept': 'Q618123'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?r ( COUNT ( ?y ) AS ?k ) WHERE { VALUES ( ?h ) { ( ontology:Q502895 ) ( ontology:Q618123 ) } . ?y rdf:type ?h } GROUP BY ?r } } . { SELECT DISTINCT ?l ( COUNT ( ?m ) AS ?v ) WHERE { { ?l property:P138 ?m . ?l rdf:type ontology:Q7946 . ?m rdf:type ontology:Q502895 } UNION { ?l property:P138 ?m . ?l rdf:type ontology:Q7946 . ?m rdf:type ontology:Q618123 } } GROUP BY ?l } . FILTER ( ?v = ?d ) }
action argmax
action union
action find_tuple_counts
relation named after
type mineral
type common name
action find_tuple_counts
relation named after
type mineral
type geographical object
[{'concept': 'mineral'}, 'named after', [{'concept': 'common name'}, {'concept': 'geographical object'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?r ( COUNT ( ?y ) AS ?k ) WHERE { VALUES ( ?h ) { ( ontology:common_name ) ( ontology:geographical_object ) } . ?y rdf:type ?h } GROUP BY ?r } } . { SELECT DISTINCT ?l ( COUNT ( ?m ) AS ?v ) WHERE { { ?l property:named_after ?m . ?l rdf:type ontology:mineral . ?m rdf:type ontology:common_name } UNION { ?l property:named_after ?m . ?l rdf:type ontology:mineral . ?m rdf:type ontology:geographical_object } } GROUP BY ?l } . FILTER ( ?v = ?d ) }
[]
common name geographical object mineral
Q416983
SYSTEM
armalcolite
Q416983
(c(Q7946),P138,c(Q502895)|c(Q618123))
action argmax
action union
action find_tuple_counts
relation P138
type Q7946
type Q502895
action find_tuple_counts
relation P138
type Q7946
type Q618123
[ANSWER] have max number of people or geographical objects as their toponym
[{'concept': 'Q7946'}, 'P138', [{'concept': 'Q502895'}, {'concept': 'Q618123'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?r ( COUNT ( ?y ) AS ?k ) WHERE { VALUES ( ?h ) { ( ontology:Q502895 ) ( ontology:Q618123 ) } . ?y rdf:type ?h } GROUP BY ?r } } . { SELECT DISTINCT ?l ( COUNT ( ?m ) AS ?v ) WHERE { { ?l property:P138 ?m . ?l rdf:type ontology:Q7946 . ?m rdf:type ontology:Q502895 } UNION { ?l property:P138 ?m . ?l rdf:type ontology:Q7946 . ?m rdf:type ontology:Q618123 } } GROUP BY ?l } . FILTER ( ?v = ?d ) }
armalcolite
Armalcolite have max number of people or geographical objects as their toponym
armalcolite
action argmax
action union
action find_tuple_counts
relation named after
type mineral
type common name
action find_tuple_counts
relation named after
type mineral
type geographical object
[{'concept': 'mineral'}, 'named after', [{'concept': 'common name'}, {'concept': 'geographical object'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( MAX ( ?k ) AS ?d ) { SELECT DISTINCT ?r ( COUNT ( ?y ) AS ?k ) WHERE { VALUES ( ?h ) { ( ontology:common_name ) ( ontology:geographical_object ) } . ?y rdf:type ?h } GROUP BY ?r } } . { SELECT DISTINCT ?l ( COUNT ( ?m ) AS ?v ) WHERE { { ?l property:named_after ?m . ?l rdf:type ontology:mineral . ?m rdf:type ontology:common_name } UNION { ?l property:named_after ?m . ?l rdf:type ontology:mineral . ?m rdf:type ontology:geographical_object } } GROUP BY ?l } . FILTER ( ?v = ?d ) }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q416983 Q1615 Q8339600
P138
Q502895
USER
Is armalcolite named after Neil Armstrong and Ludovic Robert ?
(Q416983,P138,Q1615) (Q416983,P138,Q8339600)
action is_in
entity Q416983
action intersection
action find_reverse
entity Q1615
relation P138
action find_reverse
entity Q8339600
relation P138
['Q416983', 'P138', 'Q1615'] ['Q416983', 'P138', 'Q8339600']
ASK WHERE { resource:Q416983 property:P138 resource:Q1615 . resource:Q416983 property:P138 resource:Q8339600 }
armalcolite Neil Armstrong Ludovic Robert
action is_in
entity armalcolite
action intersection
action find_reverse
entity Neil Armstrong
relation named after
action find_reverse
entity Ludovic Robert
relation named after
['armalcolite', 'named after', 'Neil Armstrong'] ['armalcolite', 'named after', 'Ludovic Robert']
ASK WHERE { resource:armalcolite property:named_after resource:Neil_Armstrong . resource:armalcolite property:named_after resource:Ludovic_Robert }
[]
common name
SYSTEM
YES and NO respectively
(Q416983,P138,Q1615) (Q416983,P138,Q8339600)
action is_in
entity Q416983
action intersection
action find_reverse
entity Q1615
relation P138
action find_reverse
entity Q8339600
relation P138
[ANSWER]
['Q416983', 'P138', 'Q1615'] ['Q416983', 'P138', 'Q8339600']
ASK WHERE { resource:Q416983 property:P138 resource:Q1615 . resource:Q416983 property:P138 resource:Q8339600 }
YES and NO respectively
action is_in
entity armalcolite
action intersection
action find_reverse
entity Neil Armstrong
relation named after
action find_reverse
entity Ludovic Robert
relation named after
['armalcolite', 'named after', 'Neil Armstrong'] ['armalcolite', 'named after', 'Ludovic Robert']
ASK WHERE { resource:armalcolite property:named_after resource:Neil_Armstrong . resource:armalcolite property:named_after resource:Ludovic_Robert }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P138
Q271669 Q55488 Q15324
USER
How many landforms are exactly 1 railway stations and bodies of water named after ?
(c(Q55488)|c(Q15324),P138,c(Q271669))
action count
action equal
action union
action find_reverse_tuple_counts
relation P138
type Q271669
type Q55488
action find_reverse_tuple_counts
relation P138
type Q271669
type Q15324
value 1
[[{'concept': 'Q55488'}, {'concept': 'Q15324'}], 'P138', {'concept': 'Q271669'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?e ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?q ) WHERE { { ?w property:P138 ?p . ?p rdf:type ontology:Q271669 . ?w rdf:type ontology:Q55488 } UNION { ?p rdf:type ontology:Q271669 . ?w rdf:type ontology:Q15324 . ?w property:P138 ?p } } GROUP BY ?p } . FILTER ( ?q = 1 ) }
action count
action equal
action union
action find_reverse_tuple_counts
relation named after
type landform
type railway station
action find_reverse_tuple_counts
relation named after
type landform
type body of water
value 1
[[{'concept': 'railway station'}, {'concept': 'body of water'}], 'named after', {'concept': 'landform'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?e ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?q ) WHERE { { ?w property:named_after ?p . ?p rdf:type ontology:landform . ?w rdf:type ontology:railway_station } UNION { ?p rdf:type ontology:landform . ?w rdf:type ontology:body_of_water . ?w property:named_after ?p } } GROUP BY ?p } . FILTER ( ?q = 1 ) }
[]
landform railway station body of water
SYSTEM
8
Q15700318 Q1469595 Q5490361 Q639912 Q460219 Q1406859 Q22890 Q27600
(c(Q55488)|c(Q15324),P138,c(Q271669))
action count
action equal
action union
action find_reverse_tuple_counts
relation P138
type Q271669
type Q55488
action find_reverse_tuple_counts
relation P138
type Q271669
type Q15324
value 1
[ANSWER]
[[{'concept': 'Q55488'}, {'concept': 'Q15324'}], 'P138', {'concept': 'Q271669'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?e ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?q ) WHERE { { ?w property:P138 ?p . ?p rdf:type ontology:Q271669 . ?w rdf:type ontology:Q55488 } UNION { ?p rdf:type ontology:Q271669 . ?w rdf:type ontology:Q15324 . ?w property:P138 ?p } } GROUP BY ?p } . FILTER ( ?q = 1 ) }
Waldemarsudde Tsing Yi Husarö Istria Jasmund Ropsten Ireland Vasilyevsky Island
8
action count
action equal
action union
action find_reverse_tuple_counts
relation named after
type landform
type railway station
action find_reverse_tuple_counts
relation named after
type landform
type body of water
value 1
[[{'concept': 'railway station'}, {'concept': 'body of water'}], 'named after', {'concept': 'landform'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?e ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?q ) WHERE { { ?w property:named_after ?p . ?p rdf:type ontology:landform . ?w rdf:type ontology:railway_station } UNION { ?p rdf:type ontology:landform . ?w rdf:type ontology:body_of_water . ?w property:named_after ?p } } GROUP BY ?p } . FILTER ( ?q = 1 ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q187696 Q7826822
P47 P17
Q15617994
USER
Which administrative territories are Torr Works situated in or share border with Vimercate ?
OR((Q7826822,P17,c(Q15617994)), (Q187696,P47,c(Q15617994)))
action filter_type
action union
action find
entity Q7826822
relation P17
action find
entity Q187696
relation P47
type Q15617994
{'OR': [['Q7826822', 'P17', {'concept': 'Q15617994'}], ['Q187696', 'P47', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q7826822 property:P17 ?a } UNION { resource:Q187696 property:P47 ?a } } . ?a rdf:type ontology:Q15617994 }
Vimercate Torr Works
action filter_type
action union
action find
entity Torr Works
relation country
action find
entity Vimercate
relation shares border with
type designation for an administrative territorial entity
{'OR': [['Torr Works', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Vimercate', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Torr_Works property:country ?a } UNION { resource:Vimercate property:shares_border_with ?a } } . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q40905 Q39912 Q41009 Q39623 Q40539 Q39554 Q39375 Q39635 Q40497 Q41005
SYSTEM
Some of them are Bernareggio, Usmate Velate, Ornago, Sulbiate, Agrate Brianza, Concorezzo, Bellusco, Burago di Molgora, Carnate, Arcore
Q41005 Q39912 Q40905 Q145 Q40539 Q40497 Q39375 Q41009 Q39623 Q39635 Q39554
OR((Q7826822,P17,c(Q15617994)), (Q187696,P47,c(Q15617994)))
action filter_type
action union
action find
entity Q7826822
relation P17
action find
entity Q187696
relation P47
type Q15617994
Torr Works are situated share of [ANSWERS]
{'OR': [['Q7826822', 'P17', {'concept': 'Q15617994'}], ['Q187696', 'P47', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q7826822 property:P17 ?a } UNION { resource:Q187696 property:P47 ?a } } . ?a rdf:type ontology:Q15617994 }
Arcore Usmate Velate Bernareggio United Kingdom Agrate Brianza Carnate Bellusco Ornago Sulbiate Burago di Molgora Concorezzo
Torr Works are situated share of Bernareggio, Usmate Velate, Ornago, Sulbiate, Agrate Brianza, Concorezzo, Bellusco, Burago di Molgora, Carnate and Arcore
Bernareggio Usmate Velate Ornago Sulbiate Agrate Brianza Concorezzo Bellusco Burago di Molgora Carnate Arcore
action filter_type
action union
action find
entity Torr Works
relation country
action find
entity Vimercate
relation shares border with
type designation for an administrative territorial entity
{'OR': [['Torr Works', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Vimercate', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Torr_Works property:country ?a } UNION { resource:Vimercate property:shares_border_with ?a } } . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q187696
P47
Q15617994
USER
Does Vimercate share border with those ones ?
(Q187696,P47,Q40905) (Q187696,P47,Q39912) (Q187696,P47,Q41009) (Q187696,P47,Q39623) (Q187696,P47,Q40539) (Q187696,P47,Q39554) (Q187696,P47,Q39375) (Q187696,P47,Q39635) (Q187696,P47,Q40497) (Q187696,P47,Q41005)
action is_in
entity prev_answer
action find
entity Q187696
relation P47
['Q187696', 'P47', 'Q40905'] ['Q187696', 'P47', 'Q39912'] ['Q187696', 'P47', 'Q41009'] ['Q187696', 'P47', 'Q39623'] ['Q187696', 'P47', 'Q40539'] ['Q187696', 'P47', 'Q39554'] ['Q187696', 'P47', 'Q39375'] ['Q187696', 'P47', 'Q39635'] ['Q187696', 'P47', 'Q40497'] ['Q187696', 'P47', 'Q41005']
ASK WHERE { resource:Q187696 property:P47 ?q . VALUES ( ?q ) { ( resource:Q41005 ) ( resource:Q39912 ) ( resource:Q40905 ) } }
Vimercate
action is_in
entity prev_answer
action find
entity Vimercate
relation shares border with
['Vimercate', 'shares border with', 'Bernareggio'] ['Vimercate', 'shares border with', 'Usmate Velate'] ['Vimercate', 'shares border with', 'Ornago'] ['Vimercate', 'shares border with', 'Sulbiate'] ['Vimercate', 'shares border with', 'Agrate Brianza'] ['Vimercate', 'shares border with', 'Concorezzo'] ['Vimercate', 'shares border with', 'Bellusco'] ['Vimercate', 'shares border with', 'Burago di Molgora'] ['Vimercate', 'shares border with', 'Carnate'] ['Vimercate', 'shares border with', 'Arcore']
ASK WHERE { resource:Vimercate property:shares_border_with ?q . VALUES ( ?q ) { ( resource:Arcore ) ( resource:Usmate_Velate ) ( resource:Bernareggio ) } }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q187696,P47,Q40905) (Q187696,P47,Q39912) (Q187696,P47,Q41009) (Q187696,P47,Q39623) (Q187696,P47,Q40539) (Q187696,P47,Q39554) (Q187696,P47,Q39375) (Q187696,P47,Q39635) (Q187696,P47,Q40497) (Q187696,P47,Q41005)
action is_in
entity prev_answer
action find
entity Q187696
relation P47
[ANSWER]
['Q187696', 'P47', 'Q40905'] ['Q187696', 'P47', 'Q39912'] ['Q187696', 'P47', 'Q41009'] ['Q187696', 'P47', 'Q39623'] ['Q187696', 'P47', 'Q40539'] ['Q187696', 'P47', 'Q39554'] ['Q187696', 'P47', 'Q39375'] ['Q187696', 'P47', 'Q39635'] ['Q187696', 'P47', 'Q40497'] ['Q187696', 'P47', 'Q41005']
ASK WHERE { resource:Q187696 property:P47 ?q . VALUES ( ?q ) { ( resource:Q41005 ) ( resource:Q39912 ) ( resource:Q40905 ) } }
Yes
action is_in
entity prev_answer
action find
entity Vimercate
relation shares border with
['Vimercate', 'shares border with', 'Bernareggio'] ['Vimercate', 'shares border with', 'Usmate Velate'] ['Vimercate', 'shares border with', 'Ornago'] ['Vimercate', 'shares border with', 'Sulbiate'] ['Vimercate', 'shares border with', 'Agrate Brianza'] ['Vimercate', 'shares border with', 'Concorezzo'] ['Vimercate', 'shares border with', 'Bellusco'] ['Vimercate', 'shares border with', 'Burago di Molgora'] ['Vimercate', 'shares border with', 'Carnate'] ['Vimercate', 'shares border with', 'Arcore']
ASK WHERE { resource:Vimercate property:shares_border_with ?q . VALUES ( ?q ) { ( resource:Arcore ) ( resource:Usmate_Velate ) ( resource:Bernareggio ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q40497 Q38
P17
Q15617994
USER
Is Carnate a part of Italy ?
(Q40497,P17,Q38)
action is_in
entity Q38
action find
entity Q40497
relation P17
['Q40497', 'P17', 'Q38']
ASK WHERE { resource:Q40497 property:P17 resource:Q38 }
Carnate Italy
action is_in
entity Italy
action find
entity Carnate
relation country
['Carnate', 'country', 'Italy']
ASK WHERE { resource:Carnate property:country resource:Italy }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q40497,P17,Q38)
action is_in
entity Q38
action find
entity Q40497
relation P17
[ANSWER]
['Q40497', 'P17', 'Q38']
ASK WHERE { resource:Q40497 property:P17 resource:Q38 }
Yes
action is_in
entity Italy
action find
entity Carnate
relation country
['Carnate', 'country', 'Italy']
ASK WHERE { resource:Carnate property:country resource:Italy }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q40539
P47
Q56061 Q15617994
USER
How many administrative territories and administrative territories are bordered by Agrate Brianza ?
(Q40539,P47,c(Q56061)) (Q40539,P47,c(Q15617994))
action count
action union
action filter_type
action find
entity Q40539
relation P47
type Q56061
action filter_type
action find
entity Q40539
relation P47
type Q15617994
['Q40539', 'P47', {'concept': 'Q56061'}] ['Q40539', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?f ) WHERE { { resource:Q40539 property:P47 ?e . ?e rdf:type ontology:Q56061 } UNION { ?e rdf:type ontology:Q15617994 . resource:Q40539 property:P47 ?e } }
Agrate Brianza
action count
action union
action filter_type
action find
entity Agrate Brianza
relation shares border with
type administrative territorial entity
action filter_type
action find
entity Agrate Brianza
relation shares border with
type designation for an administrative territorial entity
['Agrate Brianza', 'shares border with', {'concept': 'administrative territorial entity'}] ['Agrate Brianza', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?f ) WHERE { { resource:Agrate_Brianza property:shares_border_with ?e . ?e rdf:type ontology:administrative_territorial_entity } UNION { ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Agrate_Brianza property:shares_border_with ?e } }
[]
administrative territorial entity designation for an administrative territorial entity
SYSTEM
9
Q42115 Q42416 Q39554 Q39457 Q40051 Q6252 Q39985 Q187696 Q39635
(Q40539,P47,c(Q56061)) (Q40539,P47,c(Q15617994))
action count
action union
action filter_type
action find
entity Q40539
relation P47
type Q56061
action filter_type
action find
entity Q40539
relation P47
type Q15617994
[ANSWER]
['Q40539', 'P47', {'concept': 'Q56061'}] ['Q40539', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?f ) WHERE { { resource:Q40539 property:P47 ?e . ?e rdf:type ontology:Q56061 } UNION { ?e rdf:type ontology:Q15617994 . resource:Q40539 property:P47 ?e } }
Carugate Cambiago Concorezzo Cavenago di Brianza Caponago Monza Brugherio Vimercate Burago di Molgora
9
action count
action union
action filter_type
action find
entity Agrate Brianza
relation shares border with
type administrative territorial entity
action filter_type
action find
entity Agrate Brianza
relation shares border with
type designation for an administrative territorial entity
['Agrate Brianza', 'shares border with', {'concept': 'administrative territorial entity'}] ['Agrate Brianza', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?f ) WHERE { { resource:Agrate_Brianza property:shares_border_with ?e . ?e rdf:type ontology:administrative_territorial_entity } UNION { ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Agrate_Brianza property:shares_border_with ?e } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P2695
Q271669 Q11173 Q7946
USER
Which landforms are famous for having min number of chemical compounds or minerals ?
(c(Q11173)|c(Q7946),P2695,c(Q271669))
action argmin
action union
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q11173
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q7946
[[{'concept': 'Q11173'}, {'concept': 'Q7946'}], 'P2695', {'concept': 'Q271669'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?v ) { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?x ) WHERE { { ?u property:P2695 ?z . ?z rdf:type ontology:Q271669 . ?u rdf:type ontology:Q7946 } UNION { ?u property:P2695 ?z . ?z rdf:type ontology:Q271669 . ?u rdf:type ontology:Q11173 } } GROUP BY ?z } } . { SELECT DISTINCT ?i ( COUNT ( ?m ) AS ?g ) WHERE { ?m rdf:type ?d . VALUES ( ?d ) { ( ontology:Q11173 ) ( ontology:Q7946 ) } } GROUP BY ?i } . FILTER ( ?g = ?v ) }
action argmin
action union
action find_reverse_tuple_counts
relation type locality
type landform
type chemical compound
action find_reverse_tuple_counts
relation type locality
type landform
type mineral
[[{'concept': 'chemical compound'}, {'concept': 'mineral'}], 'type locality', {'concept': 'landform'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?v ) { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?x ) WHERE { { ?u property:type_locality ?z . ?z rdf:type ontology:landform . ?u rdf:type ontology:mineral } UNION { ?u property:type_locality ?z . ?z rdf:type ontology:landform . ?u rdf:type ontology:chemical_compound } } GROUP BY ?z } } . { SELECT DISTINCT ?i ( COUNT ( ?m ) AS ?g ) WHERE { ?m rdf:type ?d . VALUES ( ?d ) { ( ontology:chemical_compound ) ( ontology:mineral ) } } GROUP BY ?i } . FILTER ( ?g = ?v ) }
[]
landform chemical compound mineral
Q173096 Q1049619 Q214696
SYSTEM
Euboea, Izalco, Mount Nyiragongo
Q24572912 Q175741 Q11474307 Q206137 Q1282214 Q657187 Q1049619 Q208321 Q19374932 Q24376122 Q27510931 Q111444 Q26878777 Q24705154 Q24444547 Q24701978 Q214696 Q24314881 Q173096
(c(Q11173)|c(Q7946),P2695,c(Q271669))
action argmin
action union
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q11173
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q7946
[ANSWERS] are famous for having min number of chemical compounds or minerals
[[{'concept': 'Q11173'}, {'concept': 'Q7946'}], 'P2695', {'concept': 'Q271669'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?v ) { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?x ) WHERE { { ?u property:P2695 ?z . ?z rdf:type ontology:Q271669 . ?u rdf:type ontology:Q7946 } UNION { ?u property:P2695 ?z . ?z rdf:type ontology:Q271669 . ?u rdf:type ontology:Q11173 } } GROUP BY ?z } } . { SELECT DISTINCT ?i ( COUNT ( ?m ) AS ?g ) WHERE { ?m rdf:type ?d . VALUES ( ?d ) { ( ontology:Q11173 ) ( ontology:Q7946 ) } } GROUP BY ?i } . FILTER ( ?g = ?v ) }
Fuchs quarry, Hartkoppe Andros Iwagi Island Rockall Wolfe Creek Crater Faial Island Izalco Sandoy Hundholmen (Tysfjord) Löhley Hourt quarry Isle of Mull Crestmore quarries Seravezza quarries Graulay Piława Górna quarry Mount Nyiragongo Vispi quarry, Pian di Celle volcano Euboea
Euboea, Izalco and Mount Nyiragongo are famous for having min number of chemical compounds or minerals
Euboea Izalco Mount Nyiragongo
action argmin
action union
action find_reverse_tuple_counts
relation type locality
type landform
type chemical compound
action find_reverse_tuple_counts
relation type locality
type landform
type mineral
[[{'concept': 'chemical compound'}, {'concept': 'mineral'}], 'type locality', {'concept': 'landform'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?v ) { SELECT DISTINCT ?z ( COUNT ( ?u ) AS ?x ) WHERE { { ?u property:type_locality ?z . ?z rdf:type ontology:landform . ?u rdf:type ontology:mineral } UNION { ?u property:type_locality ?z . ?z rdf:type ontology:landform . ?u rdf:type ontology:chemical_compound } } GROUP BY ?z } } . { SELECT DISTINCT ?i ( COUNT ( ?m ) AS ?g ) WHERE { ?m rdf:type ?d . VALUES ( ?d ) { ( ontology:chemical_compound ) ( ontology:mineral ) } } GROUP BY ?i } . FILTER ( ?g = ?v ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q4678370 Q39912
P47 P27
Q15617994
USER
Which administrative territories have a shared border with Usmate Velate or are the countries of citizenship of Adagilton dos Santos ?
OR((Q39912,P47,c(Q15617994)), (Q4678370,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q39912
relation P47
action find
entity Q4678370
relation P27
type Q15617994
{'OR': [['Q39912', 'P47', {'concept': 'Q15617994'}], ['Q4678370', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:Q15617994 . { { resource:Q4678370 property:P27 ?g } UNION { resource:Q39912 property:P47 ?g } } }
Adagilton dos Santos Usmate Velate
action filter_type
action union
action find
entity Usmate Velate
relation shares border with
action find
entity Adagilton dos Santos
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Usmate Velate', 'shares border with', {'concept': 'designation for an administrative territorial entity'}], ['Adagilton dos Santos', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . { { resource:Adagilton_dos_Santos property:country_of_citizenship ?g } UNION { resource:Usmate_Velate property:shares_border_with ?g } } }
[]
designation for an administrative territorial entity
Q155 Q40497 Q42477 Q39836 Q187696 Q43000 Q41005
SYSTEM
Brazil, Carnate, Casatenovo, Camparada, Vimercate, Lomagna, Arcore
Q155 Q40497 Q42477 Q39836 Q187696 Q43000 Q41005
OR((Q39912,P47,c(Q15617994)), (Q4678370,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q39912
relation P47
action find
entity Q4678370
relation P27
type Q15617994
[ANSWERS] have a shared border with Usmate Velate or are the countries of citizenship of Adagilton dos Santos
{'OR': [['Q39912', 'P47', {'concept': 'Q15617994'}], ['Q4678370', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:Q15617994 . { { resource:Q4678370 property:P27 ?g } UNION { resource:Q39912 property:P47 ?g } } }
Brazil Carnate Casatenovo Camparada Vimercate Lomagna Arcore
Brazil, Carnate, Casatenovo, Camparada, Vimercate, Lomagna and Arcore have a shared border with Usmate Velate or are the countries of citizenship of Adagilton dos Santos
Brazil Carnate Casatenovo Camparada Vimercate Lomagna Arcore
action filter_type
action union
action find
entity Usmate Velate
relation shares border with
action find
entity Adagilton dos Santos
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Usmate Velate', 'shares border with', {'concept': 'designation for an administrative territorial entity'}], ['Adagilton dos Santos', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:designation_for_an_administrative_territorial_entity . { { resource:Adagilton_dos_Santos property:country_of_citizenship ?g } UNION { resource:Usmate_Velate property:shares_border_with ?g } } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q155
P551
Q502895
USER
Which people have residence at Brazil ?
(c(Q502895),P551,Q155)
action filter_type
action find_reverse
entity Q155
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q155']
SELECT DISTINCT ?h WHERE { ?h property:P551 resource:Q155 . ?h rdf:type ontology:Q502895 }
Brazil
action filter_type
action find_reverse
entity Brazil
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Brazil']
SELECT DISTINCT ?h WHERE { ?h property:residence resource:Brazil . ?h rdf:type ontology:common_name }
[]
common name
Q235946 Q1007872 Q4487
SYSTEM
Elizabeth Bishop, Anderson Roberto da Silva Luiz, Federico Gamboa
Q1007752 Q4487 Q1399562 Q553155 Q1007872 Q235946 Q17297597 Q26706647
(c(Q502895),P551,Q155)
action filter_type
action find_reverse
entity Q155
relation P551
type Q502895
[ANSWERS] have residence at Brazil
[{'concept': 'Q502895'}, 'P551', 'Q155']
SELECT DISTINCT ?h WHERE { ?h property:P551 resource:Q155 . ?h rdf:type ontology:Q502895 }
Abraão Lincoln Martins Federico Gamboa Emil Grunzweig Edgar Leopold Layard Anderson Roberto da Silva Luiz Elizabeth Bishop Charles de Coux Adrien Delpech
Elizabeth Bishop, Anderson Roberto da Silva Luiz and Federico Gamboa have residence at Brazil
Elizabeth Bishop Anderson Roberto da Silva Luiz Federico Gamboa
action filter_type
action find_reverse
entity Brazil
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Brazil']
SELECT DISTINCT ?h WHERE { ?h property:residence resource:Brazil . ?h rdf:type ontology:common_name }
[]