Simple Question (Direct)
Simple Question
Q3611746
P921
Q198
USER
What was Zone Troopers mainly about ?
(Q3611746,P921,c(Q198))
action filter_type
action find
entity Q3611746
relation P921
type Q198
['Q3611746', 'P921', {'concept': 'Q198'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q198 . resource:Q3611746 property:P921 ?f }
Zone Troopers
action filter_type
action find
entity Zone Troopers
relation main subject
type war
['Zone Troopers', 'main subject', {'concept': 'war'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:war . resource:Zone_Troopers property:main_subject ?f }
[]
war
Q362
SYSTEM
World War II
Q362
(Q3611746,P921,c(Q198))
action filter_type
action find
entity Q3611746
relation P921
type Q198
Mainly about [ANSWER] Zone Troopers was about
['Q3611746', 'P921', {'concept': 'Q198'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q198 . resource:Q3611746 property:P921 ?f }
World War II
Mainly about World War II Zone Troopers was about
World War II
action filter_type
action find
entity Zone Troopers
relation main subject
type war
['Zone Troopers', 'main subject', {'concept': 'war'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:war . resource:Zone_Troopers property:main_subject ?f }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q362
P710
Q15617994
USER
Which artists participated in that war ?
(Q362,P710,c(Q15617994))
action filter_type
action find
entity Q362
relation P710
type Q15617994
['Q362', 'P710', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { resource:Q362 property:P710 ?o . ?o rdf:type ontology:Q15617994 }
World War II
action filter_type
action find
entity World War II
relation participant
type designation for an administrative territorial entity
['World War II', 'participant', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:World_War_II property:participant ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38 Q30 Q142
SYSTEM
Italy, United States of America, France
Q142 Q17 Q30 Q38 Q145
(Q362,P710,c(Q15617994))
action filter_type
action find
entity Q362
relation P710
type Q15617994
[ANSWERS] participated in that war
['Q362', 'P710', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { resource:Q362 property:P710 ?o . ?o rdf:type ontology:Q15617994 }
France Japan United States of America Italy United Kingdom
Italy, United States of America and France participated in that war
Italy United States of America France
action filter_type
action find
entity World War II
relation participant
type designation for an administrative territorial entity
['World War II', 'participant', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:World_War_II property:participant ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q215
P194
Q11204 Q1752346 Q15617994
USER
Which administrative territories have less number of legislatures and assemblies as their legislative body than Slovenia ?
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action less
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q215
relation P194
type Q11204
type Q1752346
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?e ) AS ?a ) WHERE { ?e rdf:type ?i . VALUES ( ?i ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } } GROUP BY ?b } . FILTER ( ?a < ?v ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?v ) WHERE { { VALUES ( ?t ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } . ?j rdf:type ?t } . resource:Q215 property:P194 ?j } } }
Slovenia
action less
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity Slovenia
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?e ) AS ?a ) WHERE { ?e rdf:type ?i . VALUES ( ?i ) { ( ontology:assembly ) ( ontology:legislature ) } } GROUP BY ?b } . FILTER ( ?a < ?v ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?v ) WHERE { { VALUES ( ?t ) { ( ontology:assembly ) ( ontology:legislature ) } . ?j rdf:type ?t } . resource:Slovenia property:legislative_body ?j } } }
[]
legislature assembly designation for an administrative territorial entity
Q32 Q1011 Q212
SYSTEM
Luxembourg, Cape Verde, Ukraine
Q2806757 Q1948 Q252320 Q187035 Q3361 Q1979 Q153529 Q1974 Q32 Q104192 Q603676 Q2009 Q2007 Q2003 Q1904 Q1989 Q212 Q694594 Q1011 Q12620 Q1951 Q2023
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action less
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q215
relation P194
type Q11204
type Q1752346
[ANSWERS] have less number of legislatures and assemblies as their legislative body than Slovenia
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?e ) AS ?a ) WHERE { ?e rdf:type ?i . VALUES ( ?i ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } } GROUP BY ?b } . FILTER ( ?a < ?v ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?v ) WHERE { { VALUES ( ?t ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } . ?j rdf:type ?t } . resource:Q215 property:P194 ?j } } }
105 Mile Post Indian Reserve No. 2 Manitoba Pleinfeld Principality of Albania Doubs Prince Edward Island Duchy of Milan British Columbia Luxembourg Kleinmachnow District of Keewatin Yukon Northwest Territories Newfoundland and Labrador Ontario Saskatchewan Ukraine Bremen-Verden Cape Verde Mayenne Alberta Nunavut
Luxembourg, Cape Verde and Ukraine have less number of legislatures and assemblies as their legislative body than Slovenia
Luxembourg Cape Verde Ukraine
action less
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity Slovenia
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?e ) AS ?a ) WHERE { ?e rdf:type ?i . VALUES ( ?i ) { ( ontology:assembly ) ( ontology:legislature ) } } GROUP BY ?b } . FILTER ( ?a < ?v ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?v ) WHERE { { VALUES ( ?t ) { ( ontology:assembly ) ( ontology:legislature ) } . ?j rdf:type ?t } . resource:Slovenia property:legislative_body ?j } } }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P495
Q1001378 Q838948
USER
How many cinematic techniques and works of art originated in that administrative territory ?
(c(Q1001378),P495,Q32) (c(Q838948),P495,Q32) (c(Q1001378),P495,Q32) (c(Q838948),P495,Q32) (c(Q1001378),P495,Q1011) (c(Q838948),P495,Q1011) (c(Q1001378),P495,Q212) (c(Q838948),P495,Q212)
[{'concept': 'Q1001378'}, 'P495', 'Q32'] [{'concept': 'Q838948'}, 'P495', 'Q32'] [{'concept': 'Q1001378'}, 'P495', 'Q32'] [{'concept': 'Q838948'}, 'P495', 'Q32'] [{'concept': 'Q1001378'}, 'P495', 'Q1011'] [{'concept': 'Q838948'}, 'P495', 'Q1011'] [{'concept': 'Q1001378'}, 'P495', 'Q212'] [{'concept': 'Q838948'}, 'P495', 'Q212']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P495 resource:Q21050750 } UNION { ?y property:P495 resource:Q21050750 } UNION { ?z property:P495 resource:Q21050750 } UNION { ?y property:P495 resource:Q21050750 } UNION { ?z property:P495 resource:Q3658151 } UNION { ?y property:P495 resource:Q3658151 } UNION { ?z property:P495 resource:Q522405 } UNION { ?y property:P495 resource:Q522405 } } . ?z rdf:type ontology:Q1001378 . ?y rdf:type ontology:Q838948 }
[{'concept': 'cinematic technique'}, 'country of origin', 'Luxembourg'] [{'concept': 'work of art'}, 'country of origin', 'Luxembourg'] [{'concept': 'cinematic technique'}, 'country of origin', 'Luxembourg'] [{'concept': 'work of art'}, 'country of origin', 'Luxembourg'] [{'concept': 'cinematic technique'}, 'country of origin', 'Cape Verde'] [{'concept': 'work of art'}, 'country of origin', 'Cape Verde'] [{'concept': 'cinematic technique'}, 'country of origin', 'Ukraine'] [{'concept': 'work of art'}, 'country of origin', 'Ukraine']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:country_of_origin resource:Luxembourg } UNION { ?y property:country_of_origin resource:Luxembourg } UNION { ?z property:country_of_origin resource:Luxembourg } UNION { ?y property:country_of_origin resource:Luxembourg } UNION { ?z property:country_of_origin resource:Cape_Verde } UNION { ?y property:country_of_origin resource:Cape_Verde } UNION { ?z property:country_of_origin resource:Ukraine } UNION { ?y property:country_of_origin resource:Ukraine } } . ?z rdf:type ontology:cinematic_technique . ?y rdf:type ontology:work_of_art }
[]
cinematic technique work of art
Quantitative|Count|Mult. entity type|Clarification
Q32
SYSTEM
Did you mean Luxembourg ?
[ANSWER]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P495 resource:Q21050750 } UNION { ?y property:P495 resource:Q21050750 } UNION { ?z property:P495 resource:Q21050750 } UNION { ?y property:P495 resource:Q21050750 } UNION { ?z property:P495 resource:Q3658151 } UNION { ?y property:P495 resource:Q3658151 } UNION { ?z property:P495 resource:Q522405 } UNION { ?y property:P495 resource:Q522405 } } . ?z rdf:type ontology:Q1001378 . ?y rdf:type ontology:Q838948 }
Did you mean Luxembourg ?
Luxembourg
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:country_of_origin resource:Luxembourg } UNION { ?y property:country_of_origin resource:Luxembourg } UNION { ?z property:country_of_origin resource:Luxembourg } UNION { ?y property:country_of_origin resource:Luxembourg } UNION { ?z property:country_of_origin resource:Cape_Verde } UNION { ?y property:country_of_origin resource:Cape_Verde } UNION { ?z property:country_of_origin resource:Ukraine } UNION { ?y property:country_of_origin resource:Ukraine } } . ?z rdf:type ontology:cinematic_technique . ?y rdf:type ontology:work_of_art }
[]
Quantitative Reasoning (Count) (All)
USER
Yes
(c(Q1001378),P495,Q32) (c(Q838948),P495,Q32) (c(Q1001378),P495,Q32) (c(Q838948),P495,Q32) (c(Q1001378),P495,Q1011) (c(Q838948),P495,Q1011) (c(Q1001378),P495,Q212) (c(Q838948),P495,Q212)
[{'concept': 'Q1001378'}, 'P495', 'Q32'] [{'concept': 'Q838948'}, 'P495', 'Q32'] [{'concept': 'Q1001378'}, 'P495', 'Q32'] [{'concept': 'Q838948'}, 'P495', 'Q32'] [{'concept': 'Q1001378'}, 'P495', 'Q1011'] [{'concept': 'Q838948'}, 'P495', 'Q1011'] [{'concept': 'Q1001378'}, 'P495', 'Q212'] [{'concept': 'Q838948'}, 'P495', 'Q212']
[{'concept': 'cinematic technique'}, 'country of origin', 'Luxembourg'] [{'concept': 'work of art'}, 'country of origin', 'Luxembourg'] [{'concept': 'cinematic technique'}, 'country of origin', 'Luxembourg'] [{'concept': 'work of art'}, 'country of origin', 'Luxembourg'] [{'concept': 'cinematic technique'}, 'country of origin', 'Cape Verde'] [{'concept': 'work of art'}, 'country of origin', 'Cape Verde'] [{'concept': 'cinematic technique'}, 'country of origin', 'Ukraine'] [{'concept': 'work of art'}, 'country of origin', 'Ukraine']
[]
SYSTEM
4 cinematic techniques and 79 works of art
Q1575773 Q18128671 Q1216153 Q6383085 Q3205538 Q3246496 Q3522334 Q1788504 Q7979104 Q1570955 Q14755004 Q2333043 Q17125101 Q311525 Q145396 Q3520383 Q1323227 Q7930567 Q733677 Q3025846 Q822411 Q3197341 Q605620 Q3156659 Q1440814 Q13102949 Q23793868 Q26690005 Q2907529 Q3143107 Q15153108 Q3552081 Q19057838 Q16249196 Q3212574 Q1514402 Q1234664 Q27477490 Q26849103 Q1416896 Q7312859 Q17058609 Q2655966 Q16325252 Q20004197 Q16466221 Q13101644 Q5737016 Q151873 Q877326 Q4109993 Q194346 Q3515131 Q3346111 Q15206595 Q21681010 Q4796293 Q19827977 Q22074997 Q392441 Q747685 Q20856821 Q1726605 Q652322 Q16652140 Q1211345 Q1018486 Q22681050 Q3089482 Q5316960 Q254489 Q7979064 Q3511850 Q26821644 Q467283 Q13105184 Q1595504 Q3317592 Q1641644 Q3208697 Q18816717 Q1324090 Q5250624
(c(Q1001378),P495,Q32) (c(Q838948),P495,Q32) (c(Q1001378),P495,Q32) (c(Q838948),P495,Q32) (c(Q1001378),P495,Q1011) (c(Q838948),P495,Q1011) (c(Q1001378),P495,Q212) (c(Q838948),P495,Q212)
[ANSWER]
[{'concept': 'Q1001378'}, 'P495', 'Q32'] [{'concept': 'Q838948'}, 'P495', 'Q32'] [{'concept': 'Q1001378'}, 'P495', 'Q32'] [{'concept': 'Q838948'}, 'P495', 'Q32'] [{'concept': 'Q1001378'}, 'P495', 'Q1011'] [{'concept': 'Q838948'}, 'P495', 'Q1011'] [{'concept': 'Q1001378'}, 'P495', 'Q212'] [{'concept': 'Q838948'}, 'P495', 'Q212']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P495 resource:Q21050750 } UNION { ?y property:P495 resource:Q21050750 } UNION { ?z property:P495 resource:Q21050750 } UNION { ?y property:P495 resource:Q21050750 } UNION { ?z property:P495 resource:Q3658151 } UNION { ?y property:P495 resource:Q3658151 } UNION { ?z property:P495 resource:Q522405 } UNION { ?y property:P495 resource:Q522405 } } . ?z rdf:type ontology:Q1001378 . ?y rdf:type ontology:Q838948 }
Hannah Arendt Never Die Young Women Keep Smiling The Strange Color of Your Body's Tears House of Boys The Prodigies Crusade in Jeans Wedding in Bessarabia Silent Wedding Blind Spot Calvaire Song of the Sea Flawless Your Name Is Justine The Congress Retrograde Villa des Roses Match Point Hot Hot Hot The Treasure Knights and the Secret of Melusina Kirikou and the Men and Women Kirikou and the Sorceress Maddened by His Absence Virgin Territory Hamilius: Hip Hop Culture in Luxembourg Voices from Chernobyl Souvenir Boarding Gate Humains Before the Winter Chill Adieu Paris 108 Demon Kings Amour Fou The Boat Race Renaissance Dog Soldiers A Wedding The Night of a Thousand Hours JCVD Rendolepsis Who's Quentin? Dragon Hunters Divin Enfant Prejudice Baby(a)lone Back in Trouble Here Come the Littles Une liaison pornographique Little Secrets Lilacs The Musketeer Tango libre Sleepless Night Brotherhood of Tears The dark side of the moon Arrêtez-moi The Brand New Testament Richard the Stork Girl with a Pearl Earring 8½ Women All Creatures Big and Small More FeardotCom The Clearstream Affair The Pillow Book Bye Bye Blackbird Confessions of an Ugly Stepsister Fratricide Dust Fortress 2: Re-Entry Wedding Night – End of the Song T'choupi Egon Schiele: Death and the Maiden An American Werewolf in Paris Tabu: The Soul Is a Stranger on Earth Heim ins Reich Mobile Home Retour à Gorée Gilles' Wife Puppylove Shadow of the Vampire Deepfrozen
4 cinematic techniques and 79 works of art
[{'concept': 'cinematic technique'}, 'country of origin', 'Luxembourg'] [{'concept': 'work of art'}, 'country of origin', 'Luxembourg'] [{'concept': 'cinematic technique'}, 'country of origin', 'Luxembourg'] [{'concept': 'work of art'}, 'country of origin', 'Luxembourg'] [{'concept': 'cinematic technique'}, 'country of origin', 'Cape Verde'] [{'concept': 'work of art'}, 'country of origin', 'Cape Verde'] [{'concept': 'cinematic technique'}, 'country of origin', 'Ukraine'] [{'concept': 'work of art'}, 'country of origin', 'Ukraine']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:country_of_origin resource:Luxembourg } UNION { ?y property:country_of_origin resource:Luxembourg } UNION { ?z property:country_of_origin resource:Luxembourg } UNION { ?y property:country_of_origin resource:Luxembourg } UNION { ?z property:country_of_origin resource:Cape_Verde } UNION { ?y property:country_of_origin resource:Cape_Verde } UNION { ?z property:country_of_origin resource:Ukraine } UNION { ?y property:country_of_origin resource:Ukraine } } . ?z rdf:type ontology:cinematic_technique . ?y rdf:type ontology:work_of_art }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P138
Q15617994 Q22698 Q34442
USER
Which administrative territories are namesakes of atleast 4 parks and roads ?
(c(Q22698)|c(Q34442),P138,c(Q15617994))
action atleast
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q22698
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q34442
value 4
[[{'concept': 'Q22698'}, {'concept': 'Q34442'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?w ) ?u WHERE { { ?u rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q22698 . ?l property:P138 ?u } UNION { ?l property:P138 ?u . ?u rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q34442 } } GROUP BY ?u } . FILTER ( ?w >= 4 ) }
action atleast
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type park
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type road
value 4
[[{'concept': 'park'}, {'concept': 'road'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?w ) ?u WHERE { { ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:park . ?l property:named_after ?u } UNION { ?l property:named_after ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:road } } GROUP BY ?u } . FILTER ( ?w >= 4 ) }
[]
designation for an administrative territorial entity park road
Q705 Q223
SYSTEM
Zeeland, Greenland
Q705 Q223
(c(Q22698)|c(Q34442),P138,c(Q15617994))
action atleast
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q22698
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q34442
value 4
[ANSWERS] are namesakes of atleast 4 parks and roads
[[{'concept': 'Q22698'}, {'concept': 'Q34442'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?w ) ?u WHERE { { ?u rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q22698 . ?l property:P138 ?u } UNION { ?l property:P138 ?u . ?u rdf:type ontology:Q15617994 . ?l rdf:type ontology:Q34442 } } GROUP BY ?u } . FILTER ( ?w >= 4 ) }
Zeeland Greenland
Zeeland and Greenland are namesakes of atleast 4 parks and roads
Zeeland Greenland
action atleast
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type park
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type road
value 4
[[{'concept': 'park'}, {'concept': 'road'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?w ) ?u WHERE { { ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:park . ?l property:named_after ?u } UNION { ?l property:named_after ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?l rdf:type ontology:road } } GROUP BY ?u } . FILTER ( ?w >= 4 ) }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P47
Q15617994 Q1048835
USER
How many administrative territories or political territories are bordered by that administrative territory ?
(Q223,P47,c(Q15617994)) (Q223,P47,c(Q1048835)) (Q705,P47,c(Q15617994)) (Q705,P47,c(Q1048835)) (Q223,P47,c(Q15617994)) (Q223,P47,c(Q1048835))
['Q223', 'P47', {'concept': 'Q15617994'}] ['Q223', 'P47', {'concept': 'Q1048835'}] ['Q705', 'P47', {'concept': 'Q15617994'}] ['Q705', 'P47', {'concept': 'Q1048835'}] ['Q223', 'P47', {'concept': 'Q15617994'}] ['Q223', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { resource:Q5604199 property:P47 ?z } UNION { resource:Q5604199 property:P47 ?y } UNION { resource:Q2444384 property:P47 ?z } UNION { resource:Q2444384 property:P47 ?y } UNION { resource:Q5604199 property:P47 ?z } UNION { resource:Q5604199 property:P47 ?y } } . ?z rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q1048835 }
['Greenland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Greenland', 'shares border with', {'concept': 'political territorial entity'}] ['Zeeland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Zeeland', 'shares border with', {'concept': 'political territorial entity'}] ['Greenland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Greenland', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { resource:Greenland property:shares_border_with ?z } UNION { resource:Greenland property:shares_border_with ?y } UNION { resource:Zeeland property:shares_border_with ?z } UNION { resource:Zeeland property:shares_border_with ?y } UNION { resource:Greenland property:shares_border_with ?z } UNION { resource:Greenland property:shares_border_with ?y } } . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:political_territorial_entity }
[]
designation for an administrative territorial entity political territorial entity
Quantitative|Count|Mult. entity type|Clarification
Q705
SYSTEM
Did you mean Zeeland ?
[ANSWER]
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { resource:Q5604199 property:P47 ?z } UNION { resource:Q5604199 property:P47 ?y } UNION { resource:Q2444384 property:P47 ?z } UNION { resource:Q2444384 property:P47 ?y } UNION { resource:Q5604199 property:P47 ?z } UNION { resource:Q5604199 property:P47 ?y } } . ?z rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q1048835 }
Did you mean Zeeland ?
Zeeland
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { resource:Greenland property:shares_border_with ?z } UNION { resource:Greenland property:shares_border_with ?y } UNION { resource:Zeeland property:shares_border_with ?z } UNION { resource:Zeeland property:shares_border_with ?y } UNION { resource:Greenland property:shares_border_with ?z } UNION { resource:Greenland property:shares_border_with ?y } } . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
USER
No, I meant Greenland. Could you tell me the answer for that?
(Q223,P47,c(Q15617994)) (Q223,P47,c(Q1048835)) (Q705,P47,c(Q15617994)) (Q705,P47,c(Q1048835)) (Q223,P47,c(Q15617994)) (Q223,P47,c(Q1048835))
Q223
['Q223', 'P47', {'concept': 'Q15617994'}] ['Q223', 'P47', {'concept': 'Q1048835'}] ['Q705', 'P47', {'concept': 'Q15617994'}] ['Q705', 'P47', {'concept': 'Q1048835'}] ['Q223', 'P47', {'concept': 'Q15617994'}] ['Q223', 'P47', {'concept': 'Q1048835'}]
['Greenland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Greenland', 'shares border with', {'concept': 'political territorial entity'}] ['Zeeland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Zeeland', 'shares border with', {'concept': 'political territorial entity'}] ['Greenland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Greenland', 'shares border with', {'concept': 'political territorial entity'}]
[]
SYSTEM
2
Q16 Q189
(Q223,P47,c(Q15617994)) (Q223,P47,c(Q1048835)) (Q705,P47,c(Q15617994)) (Q705,P47,c(Q1048835)) (Q223,P47,c(Q15617994)) (Q223,P47,c(Q1048835))
[ANSWER]
['Q223', 'P47', {'concept': 'Q15617994'}] ['Q223', 'P47', {'concept': 'Q1048835'}] ['Q705', 'P47', {'concept': 'Q15617994'}] ['Q705', 'P47', {'concept': 'Q1048835'}] ['Q223', 'P47', {'concept': 'Q15617994'}] ['Q223', 'P47', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { resource:Q5604199 property:P47 ?z } UNION { resource:Q5604199 property:P47 ?y } UNION { resource:Q2444384 property:P47 ?z } UNION { resource:Q2444384 property:P47 ?y } UNION { resource:Q5604199 property:P47 ?z } UNION { resource:Q5604199 property:P47 ?y } } . ?z rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q1048835 }
Canada Iceland
2
['Greenland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Greenland', 'shares border with', {'concept': 'political territorial entity'}] ['Zeeland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Zeeland', 'shares border with', {'concept': 'political territorial entity'}] ['Greenland', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Greenland', 'shares border with', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { resource:Greenland property:shares_border_with ?z } UNION { resource:Greenland property:shares_border_with ?y } UNION { resource:Zeeland property:shares_border_with ?z } UNION { resource:Zeeland property:shares_border_with ?y } UNION { resource:Greenland property:shares_border_with ?z } UNION { resource:Greenland property:shares_border_with ?y } } . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q361
P607
Q198 Q2235308 Q502895
USER
How many wars was approximately the same number of ship types or people a part of as World War I ?
(c(Q2235308)|c(Q502895),P607,c(Q198))
action count
action approx
action union
action find_reverse_tuple_counts
relation P607
type Q198
type Q2235308
action find_reverse_tuple_counts
relation P607
type Q198
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q361
relation P607
type Q2235308
type Q502895
[[{'concept': 'Q2235308'}, {'concept': 'Q502895'}], 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?h ) AS ?d ) WHERE { ?h rdf:type ?z . VALUES ( ?z ) { ( ontology:Q2235308 ) ( ontology:Q502895 ) } } GROUP BY ?j } . FILTER ( ?d = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { { { ?t rdf:type ontology:Q502895 } UNION { ?t rdf:type ontology:Q2235308 } } . ?t property:P607 resource:Q361 } } }
World War I
action count
action approx
action union
action find_reverse_tuple_counts
relation conflict
type war
type ship type
action find_reverse_tuple_counts
relation conflict
type war
type common name
action count
action filter_multi_types
action find_reverse
entity World War I
relation conflict
type ship type
type common name
[[{'concept': 'ship type'}, {'concept': 'common name'}], 'conflict', {'concept': 'war'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?h ) AS ?d ) WHERE { ?h rdf:type ?z . VALUES ( ?z ) { ( ontology:ship_type ) ( ontology:common_name ) } } GROUP BY ?j } . FILTER ( ?d = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { { { ?t rdf:type ontology:common_name } UNION { ?t rdf:type ontology:ship_type } } . ?t property:conflict resource:World_War_I } } }
[]
war ship type common name
SYSTEM
2
Q362 Q361
(c(Q2235308)|c(Q502895),P607,c(Q198))
action count
action approx
action union
action find_reverse_tuple_counts
relation P607
type Q198
type Q2235308
action find_reverse_tuple_counts
relation P607
type Q198
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q361
relation P607
type Q2235308
type Q502895
[ANSWER]
[[{'concept': 'Q2235308'}, {'concept': 'Q502895'}], 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?h ) AS ?d ) WHERE { ?h rdf:type ?z . VALUES ( ?z ) { ( ontology:Q2235308 ) ( ontology:Q502895 ) } } GROUP BY ?j } . FILTER ( ?d = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { { { ?t rdf:type ontology:Q502895 } UNION { ?t rdf:type ontology:Q2235308 } } . ?t property:P607 resource:Q361 } } }
World War II World War I
2
action count
action approx
action union
action find_reverse_tuple_counts
relation conflict
type war
type ship type
action find_reverse_tuple_counts
relation conflict
type war
type common name
action count
action filter_multi_types
action find_reverse
entity World War I
relation conflict
type ship type
type common name
[[{'concept': 'ship type'}, {'concept': 'common name'}], 'conflict', {'concept': 'war'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { { SELECT DISTINCT ?j ( COUNT ( ?h ) AS ?d ) WHERE { ?h rdf:type ?z . VALUES ( ?z ) { ( ontology:ship_type ) ( ontology:common_name ) } } GROUP BY ?j } . FILTER ( ?d = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { { { ?t rdf:type ontology:common_name } UNION { ?t rdf:type ontology:ship_type } } . ?t property:conflict resource:World_War_I } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1122110
P607
Q198 Q2235308 Q502895
USER
And how about Civil war in Tajikistan?
(c(Q2235308)|c(Q502895),P607,c(Q198))
action count
action approx
action union
action find_reverse_tuple_counts
relation P607
type Q198
type Q2235308
action find_reverse_tuple_counts
relation P607
type Q198
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q1122110
relation P607
type Q2235308
type Q502895
[[{'concept': 'Q2235308'}, {'concept': 'Q502895'}], 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { { SELECT DISTINCT ?r ( COUNT ( ?e ) AS ?u ) WHERE { VALUES ( ?p ) { ( ontology:Q2235308 ) ( ontology:Q502895 ) } . ?e rdf:type ?p } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { ?z property:P607 resource:Q1122110 . { { ?z rdf:type ontology:Q2235308 } UNION { ?z rdf:type ontology:Q502895 } } } } . FILTER ( ?u = ?v ) }
Civil war in Tajikistan
action count
action approx
action union
action find_reverse_tuple_counts
relation conflict
type war
type ship type
action find_reverse_tuple_counts
relation conflict
type war
type common name
action count
action filter_multi_types
action find_reverse
entity Civil war in Tajikistan
relation conflict
type ship type
type common name
[[{'concept': 'ship type'}, {'concept': 'common name'}], 'conflict', {'concept': 'war'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { { SELECT DISTINCT ?r ( COUNT ( ?e ) AS ?u ) WHERE { VALUES ( ?p ) { ( ontology:ship_type ) ( ontology:common_name ) } . ?e rdf:type ?p } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { ?z property:conflict resource:Civil_war_in_Tajikistan . { { ?z rdf:type ontology:ship_type } UNION { ?z rdf:type ontology:common_name } } } } . FILTER ( ?u = ?v ) }
[]
war ship type common name
SYSTEM
49
Q8683 Q211855 Q1006311 Q795269 Q3067868 Q3778746 Q920894 Q81545 Q10859 Q163883 Q18121212 Q1021160 Q15860072 Q17984356 Q1072889 Q1980081 Q633862 Q209297 Q242352 Q2105495 Q178810 Q545449 Q2658255 Q16954835 Q208484 Q4971401 Q2086498 Q1049945 Q75984 Q1021172 Q1021175 Q1122110 Q43378 Q8676 Q1127302 Q1052332 Q1070890 Q188972 Q12302518 Q475678 Q213394 Q17183365 Q17507684 Q179975 Q18159629 Q2672972 Q243620 Q79911 Q142529
(c(Q2235308)|c(Q502895),P607,c(Q198))
action count
action approx
action union
action find_reverse_tuple_counts
relation P607
type Q198
type Q2235308
action find_reverse_tuple_counts
relation P607
type Q198
type Q502895
action count
action filter_multi_types
action find_reverse
entity Q1122110
relation P607
type Q2235308
type Q502895
[ANSWER]
[[{'concept': 'Q2235308'}, {'concept': 'Q502895'}], 'P607', {'concept': 'Q198'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { { SELECT DISTINCT ?r ( COUNT ( ?e ) AS ?u ) WHERE { VALUES ( ?p ) { ( ontology:Q2235308 ) ( ontology:Q502895 ) } . ?e rdf:type ?p } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { ?z property:P607 resource:Q1122110 . { { ?z rdf:type ontology:Q2235308 } UNION { ?z rdf:type ontology:Q502895 } } } } . FILTER ( ?u = ?v ) }
Cold War Finnish Civil War war of national liberation Sierra Leone Civil War Colombian Civil War Sioux Wars First Italian War of Independence 2011 Libyan Civil War Spanish Civil War Ten-Day War American-led intervention in Syria Armagnac–Burgundian Civil War 2014–16 Russian military intervention in Ukraine Iraqi Civil War Chilean War of Independence Civil war in Afghanistan Cold War Farroupilha Revolution Yugoslav Wars 1383-85 Portuguese Interregnum Syrian Civil War Iraq War Byzantine civil war of 1341–1347 Nagorno-Karabakh conflict Lebanese Civil War British military intervention in the Sierra Leone Civil War First Barons' War Jacobite rising of 1745 Dirty War Republic of the Congo Civil War First Ivorian Civil War Civil war in Tajikistan Thousand Days' War American Civil War Estonian War of Independence War in Somalia Georgian Civil War Greek Civil War Civil war in Afghanistan Mexican Drug War Sri Lankan Civil War Sectarian violence in Iraq (2006–07) military intervention against ISIL Chinese Civil War American-led intervention in Iraq Uruguayan Civil War Somali Civil War Russian Civil War Algerian Civil War
49
action count
action approx
action union
action find_reverse_tuple_counts
relation conflict
type war
type ship type
action find_reverse_tuple_counts
relation conflict
type war
type common name
action count
action filter_multi_types
action find_reverse
entity Civil war in Tajikistan
relation conflict
type ship type
type common name
[[{'concept': 'ship type'}, {'concept': 'common name'}], 'conflict', {'concept': 'war'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { { SELECT DISTINCT ?r ( COUNT ( ?e ) AS ?u ) WHERE { VALUES ( ?p ) { ( ontology:ship_type ) ( ontology:common_name ) } . ?e rdf:type ?p } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { ?z property:conflict resource:Civil_war_in_Tajikistan . { { ?z rdf:type ontology:ship_type } UNION { ?z rdf:type ontology:common_name } } } } . FILTER ( ?u = ?v ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q42996
P138
Q15617994 Q62447 Q22698
USER
Which administrative territories are around the same number of aerodromes or parks named after as Pero ?
(c(Q62447)|c(Q22698),P138,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q62447
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q22698
action count
action filter_multi_types
action find_reverse
entity Q42996
relation P138
type Q62447
type Q22698
[[{'concept': 'Q62447'}, {'concept': 'Q22698'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?a ) WHERE { ?n property:P138 resource:Q42996 . { { ?n rdf:type ontology:Q62447 } UNION { ?n rdf:type ontology:Q22698 } } } } . FILTER ( ?i = ?a ) . { SELECT DISTINCT ?f ( COUNT ( ?g ) AS ?i ) WHERE { ?g rdf:type ?m . VALUES ( ?m ) { ( ontology:Q62447 ) ( ontology:Q22698 ) } } GROUP BY ?f } }
Pero
action approx
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type aerodrome
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type park
action count
action filter_multi_types
action find_reverse
entity Pero
relation named after
type aerodrome
type park
[[{'concept': 'aerodrome'}, {'concept': 'park'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?a ) WHERE { ?n property:named_after resource:Pero . { { ?n rdf:type ontology:aerodrome } UNION { ?n rdf:type ontology:park } } } } . FILTER ( ?i = ?a ) . { SELECT DISTINCT ?f ( COUNT ( ?g ) AS ?i ) WHERE { ?g rdf:type ?m . VALUES ( ?m ) { ( ontology:aerodrome ) ( ontology:park ) } } GROUP BY ?f } }
[]
designation for an administrative territorial entity aerodrome park
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q804 Q572949 Q801 Q800 Q103408 Q419 Q81077 Q414 Q1799797 Q55 Q2871 Q490521 Q786 Q40806 Q157598 Q224139 Q3898 Q159 Q155 Q12689 Q52240 Q3476 Q17686 Q46490 Q3372 Q243474 Q7281814 Q549449 Q13376 Q13373 Q42803 Q82670 Q636991 Q739 Q100125 Q730 Q733 Q6681 Q736 Q12798 Q586072 Q1280 Q1282 Q17827 Q1273 Q913434 Q1279 Q186538 Q640473 Q189 Q184 Q1028 Q1458 Q570120 Q18421666 Q167215 Q42777 Q159856 Q6274 Q279028 Q2396564 Q53127 Q298 Q115 Q114 Q41158 Q626792 Q549749 Q40871 Q43055 Q42509 Q629830 Q1427674 Q53334 Q3922 Q42839 Q7603016 Q42835 Q505191 Q279373 Q3697039 Q58457 Q3326 Q214929 Q627935 Q2719360 Q948 Q42942 Q1243 Q519157 Q3266 Q3105 Q269476 Q33788 Q6122 Q42931 Q700831 Q80599 Q705 Q539059 Q668 Q185619 Q5084 Q6231 Q660185 Q6237 Q5642 Q99950 Q45 Q792 Q790 Q796 Q21200959 Q794 Q889 Q884 Q12788 Q26727498 Q632209 Q241 Q11340 Q11343 Q585248 Q155622 Q3798 Q12515 Q32 Q31 Q30 Q37 Q36 Q34 Q39 Q38 Q1023890 Q101226 Q42906 Q40516 Q1987554 Q159626 Q236 Q232 Q129003 Q81729 Q1101 Q1206596 Q391167 Q3038 Q52981 Q3139 Q514208 Q3468865 Q36784 Q622505 Q555328 Q1037 Q1033 Q1030 Q53873 Q18040 Q3926245 Q697 Q186115 Q39985 Q750 Q50156 Q42749 Q570035 Q540441 Q13137 Q1630 Q2009 Q39912 Q498534 Q40866 Q40862 Q191 Q1435624 Q79 Q769621 Q77 Q46130 Q512943 Q305352 Q192917 Q94979 Q39395 Q176 Q487929 Q674852 Q478142 Q1951 Q1952 Q536647 Q116706 Q1256 Q40641 Q634084 Q40131 Q102634 Q100368 Q3278 Q19207 Q522459 Q144711 Q712 Q717 Q42993 Q488513 Q243311 Q503160 Q2993085 Q42996 Q954 Q690417 Q826 Q822 Q1142326 Q244095 Q223459 Q42419 Q502434 Q13645 Q155019 Q6986 Q258974 Q1527970 Q107426 Q14943702 Q681329 Q12661 Q20 Q5274 Q28 Q29 Q111460 Q50932 Q20489 Q390125 Q581067 Q894049 Q40611 Q161825 Q359324 Q34607 Q223 Q222 Q221 Q229 Q228 Q580447 Q10957559 Q23178 Q968 Q965 Q2152015 Q333389 Q627223 Q2938 Q1210 Q1216 Q503757 Q917 Q916 Q1005 Q573523 Q40497 Q2742 Q1438 Q81740 Q837 Q17669 Q810 Q811 Q813 Q255361 Q819 Q654138 Q81261 Q493437 Q863 Q574429 Q869 Q111543 Q102736 Q269174 Q278221 Q12434 Q20077 Q31872 Q95067 Q95066 Q142 Q53246 Q1948 Q262 Q148 Q157266 Q3319482 Q264620 Q39971 Q73532 Q42626 Q42628 Q499045 Q490167 Q20103 Q10312 Q2009898 Q774 Q42245 Q4431 Q770 Q131633 Q2596432 Q928 Q19306 Q759201 Q424 Q675616 Q854 Q9574 Q2790 Q566435 Q496885 Q42984 Q552822 Q6998 Q155144 Q645814 Q2139159 Q1041 Q216977 Q489929 Q629664 Q1904 Q393594 Q41003 Q347 Q43046 Q81138 Q17 Q15059063 Q42668 Q3940173 Q4066675 Q138823 Q697787 Q47578 Q11337 Q211 Q215 Q1837 Q501626 Q554187 Q23247 Q974 Q971 Q496978 Q23238 Q11119 Q566795 Q631654 Q42192 Q645340 Q9187 Q42926 Q775 Q14870 Q100041 Q1019 Q772 Q1014 Q1016 Q16104 Q243337 Q42441 Q182248 Q20458 Q20517
(c(Q62447)|c(Q22698),P138,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q62447
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q22698
action count
action filter_multi_types
action find_reverse
entity Q42996
relation P138
type Q62447
type Q22698
[ANSWERS] are around the same number of aerodromes or parks named after as Pero
[[{'concept': 'Q62447'}, {'concept': 'Q22698'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?a ) WHERE { ?n property:P138 resource:Q42996 . { { ?n rdf:type ontology:Q62447 } UNION { ?n rdf:type ontology:Q22698 } } } } . FILTER ( ?i = ?a ) . { SELECT DISTINCT ?f ( COUNT ( ?g ) AS ?i ) WHERE { ?g rdf:type ?m . VALUES ( ?m ) { ( ontology:Q62447 ) ( ontology:Q22698 ) } } GROUP BY ?f } }
Panama Solnhofen Israel Costa Rica Adro Peru Montecorvino Rovella Argentina Wolfskehlen Netherlands Hagen Strausberg Dominican Republic Pedavena Kulmbach Frasso Sabino Castrop-Rauxel Russia Brazil Pas-de-Calais Pontremoli L'Aquila Tortona Arcole Eure Rees Radyr Prince of Orange Pistoia Lucca Olginate Fiesole Jacobsdorf Colombia Calcio, Lombardy Suriname Paraguay Crotone Ecuador Vendée Chorin Umbria Lazio Moncalvo Tuscany Les Halles Marche Arzachena Hohenstein Iceland Belarus Morocco Calabria Hollenstedt Loguivy-de-la-Mer Cernusco Lombardone Abbiategrasso Duchy of Brabant Sondrio Simmering Mallee Farra d'Isonzo Chile Ethiopia Kenya Cortina d'Ampezzo Fehrbellin Heinsen Livigno Gorgonzola Bussero Meerfeld Wernborn Remanzacco Detmold Brivio Mitino Calco Leuna Rovereto Crescenzago Caiazzo Corrèze Pitigliano Berkenbrück Duchy of Luxembourg Tunisia Lierna Veneto Templin Charente Vosges Perinaldo New Caledonia Asti Merate Sögel Auletta Zeeland Kelbra India Cernusco sul Naviglio hamlet Cremona Huangpu District Lecco Brilon Predappio Portugal El Salvador Haiti Iraq Keroland Iran Afghanistan South Korea Val-de-Marne Mirafiori Basedow Cuba Sprockhövel Wetter (Ruhr) Glienicke/Nordbahn Bernkastel-Kues Flensburg Gard Luxembourg Belgium United States of America Lithuania Poland Sweden Switzerland Italy Huangpu District Mapello Cologno Monzese Bormio Nieder-Roden Württemberg Montenegro Kazakhstan French Southern and Antarctic Lands Radeberg North Brabant Deux-Nèthes Ozieri Helgoland Faenza Alpes-Maritimes Jettenbach Tõravere region of France Rauen Urmitz Rwanda Nigeria Namibia Diamante Candelo QT8 Nauru Montmartre Brugherio Bolivia Secinaro Paderno d'Adda Hillesheim Tautenburg Teramo Altona Yukon Usmate Velate Diepholz Giussano Saronno Estonia Yasnaya Polyana Egypt Sanshui District Uruguay Rhône Sailauf Aban Erice Pianoro Sovico Quebec Milazzo Dätgen Schierstein Alberta Nova Scotia Dassow Ceccano Liguria Macherio Trebur Chiavenna Monsummano Terme Cisano Bergamasco Charente-Maritime Canosio Bad Harzburg Ettringen Fiji Venezuela Gessate Anklam Sacrofano Wolfratshausen Levashovo, Saint Petersburg Pero Zimbabwe Währing Maldives Lebanon Seine Bellagio Borbona Vimodrone Sangerhausen Tempio Pausania Duchy of Lorraine Gotha Bitburg Ober-Roden Anjou Sprendlingen Dümmer Nord Norway Balve Hungary Spain Pontevico Helpt Savigliano Linz am Rhein Britz Borodino (village), Mozhaysky District, Moscow Oblast Casteggio Daun Admont Este Greenland Albania Republic of Macedonia Cyprus Andorra Duchy of Styria Moldavia Bisceglie Warburg Burkina Faso Riedelbach Palau Briesen Leverkusen Lombardy Piedmont Oberammergau Bhutan Angola Gambia Flechtingen Carnate Münster Campania Lauta Nepal Serravalle Scrivia Jordan Nicaragua Kyrgyzstan Werfen Laos Rhede, Lower Saxony Rudersberg Arneburg Tajikistan Seeheim-Jugenheim Thailand Provaglio d'Iseo San Marcello Pistoiese Worpswede Berchtesgaden Bad Honnef Werdau Moosburg an der Isar Ambivere Alzano Lombardo France Codroipo Manitoba Algeria People's Republic of China Sternberg Molegbe Garching bei München Gela Ruhpolding Vercurago Robbiate Sinagra, Sicily Pielenhofen Assisi Tavagnasco Oberhöchstadt Guatemala Robecco d'Oglio Bad Köstritz Friesland Hallstatt Euvelgunne Philippines Altamura Auerbach Cambodia Langenzersdorf Sri Lanka Pino Torinese Udine Erpel Isnello Turbigo Mecklenburg-Güstrow Freising Alsace-Lorraine Kröpelin Reichenbach Senegal Coreglia Antelminelli Avola Arbesbach Ontario Agia Paraskevi Palestro Liechtenstein Olgiate Molgora Nocera Inferiore Japan Kellaways Pudost Rogoredo Annino Farnese, Lazio Duchy of Limburg Vittorio Veneto Herdecke Latvia Slovenia Wohldorf-Ohlstedt Wildeshausen Lunden Belgirate Democratic Republic of the Congo Republic of the Congo Roccapalumba Baveno Warstein Schalkenmehren Selent San Donato Milanese Brenk Carmagnola Calolziocorte Gelderland Siegburg Carpi Madagascar Drenthe Liberia Libya Ahrensburg Issum Cassina de' Pecchi Nordwalde Gubbio Treiso
Italy, Brazil and United States of America are around the same number of aerodromes or parks named after as Pero
Italy Brazil United States of America
action approx
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type aerodrome
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type park
action count
action filter_multi_types
action find_reverse
entity Pero
relation named after
type aerodrome
type park
[[{'concept': 'aerodrome'}, {'concept': 'park'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?a ) WHERE { ?n property:named_after resource:Pero . { { ?n rdf:type ontology:aerodrome } UNION { ?n rdf:type ontology:park } } } } . FILTER ( ?i = ?a ) . { SELECT DISTINCT ?f ( COUNT ( ?g ) AS ?i ) WHERE { ?g rdf:type ?m . VALUES ( ?m ) { ( ontology:aerodrome ) ( ontology:park ) } } GROUP BY ?f } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q1005
P138
Q15617994 Q62447 Q22698
USER
And also tell me about Gambia?
(c(Q62447)|c(Q22698),P138,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q62447
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q22698
action count
action filter_multi_types
action find_reverse
entity Q1005
relation P138
type Q62447
type Q22698
[[{'concept': 'Q62447'}, {'concept': 'Q22698'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:P138 resource:Q1005 . { { ?l rdf:type ontology:Q62447 } UNION { ?l rdf:type ontology:Q22698 } } } } . FILTER ( ?p = ?n ) . { SELECT DISTINCT ?c ( COUNT ( ?w ) AS ?p ) WHERE { { ?w property:P138 ?c . ?c rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q22698 } UNION { ?c rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q62447 . ?w property:P138 ?c } } GROUP BY ?c } }
Gambia
action approx
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type aerodrome
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type park
action count
action filter_multi_types
action find_reverse
entity Gambia
relation named after
type aerodrome
type park
[[{'concept': 'aerodrome'}, {'concept': 'park'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:named_after resource:Gambia . { { ?l rdf:type ontology:aerodrome } UNION { ?l rdf:type ontology:park } } } } . FILTER ( ?p = ?n ) . { SELECT DISTINCT ?c ( COUNT ( ?w ) AS ?p ) WHERE { { ?w property:named_after ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:park } UNION { ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:aerodrome . ?w property:named_after ?c } } GROUP BY ?c } }
[]
designation for an administrative territorial entity aerodrome park
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q804 Q572949 Q801 Q800 Q103408 Q419 Q81077 Q414 Q1799797 Q55 Q2871 Q490521 Q786 Q40806 Q157598 Q224139 Q3898 Q159 Q155 Q12689 Q52240 Q3476 Q17686 Q46490 Q3372 Q243474 Q7281814 Q549449 Q13376 Q13373 Q42803 Q82670 Q636991 Q739 Q100125 Q730 Q733 Q6681 Q736 Q12798 Q586072 Q1280 Q1282 Q17827 Q1273 Q913434 Q1279 Q186538 Q640473 Q189 Q184 Q1028 Q1458 Q570120 Q18421666 Q167215 Q42777 Q159856 Q6274 Q279028 Q2396564 Q53127 Q298 Q115 Q114 Q41158 Q626792 Q549749 Q40871 Q43055 Q42509 Q629830 Q1427674 Q53334 Q3922 Q42839 Q7603016 Q42835 Q505191 Q279373 Q3697039 Q58457 Q3326 Q214929 Q627935 Q2719360 Q948 Q42942 Q1243 Q519157 Q3266 Q3105 Q269476 Q33788 Q6122 Q42931 Q700831 Q80599 Q705 Q539059 Q668 Q185619 Q5084 Q6231 Q660185 Q6237 Q5642 Q99950 Q45 Q792 Q790 Q796 Q21200959 Q794 Q889 Q884 Q12788 Q26727498 Q632209 Q241 Q11340 Q11343 Q585248 Q155622 Q3798 Q12515 Q32 Q31 Q30 Q37 Q36 Q34 Q39 Q38 Q1023890 Q101226 Q42906 Q40516 Q1987554 Q159626 Q236 Q232 Q129003 Q81729 Q1101 Q1206596 Q391167 Q3038 Q52981 Q3139 Q514208 Q3468865 Q36784 Q622505 Q555328 Q1037 Q1033 Q1030 Q53873 Q18040 Q3926245 Q697 Q186115 Q39985 Q750 Q50156 Q42749 Q570035 Q540441 Q13137 Q1630 Q2009 Q39912 Q498534 Q40866 Q40862 Q191 Q1435624 Q79 Q769621 Q77 Q46130 Q512943 Q305352 Q192917 Q94979 Q39395 Q176 Q487929 Q674852 Q478142 Q1951 Q1952 Q536647 Q116706 Q1256 Q40641 Q634084 Q40131 Q102634 Q100368 Q3278 Q19207 Q522459 Q144711 Q712 Q717 Q42993 Q488513 Q243311 Q503160 Q2993085 Q42996 Q954 Q690417 Q826 Q822 Q1142326 Q244095 Q223459 Q42419 Q502434 Q13645 Q155019 Q6986 Q258974 Q1527970 Q107426 Q14943702 Q681329 Q12661 Q20 Q5274 Q28 Q29 Q111460 Q50932 Q20489 Q390125 Q581067 Q894049 Q40611 Q161825 Q359324 Q34607 Q223 Q222 Q221 Q229 Q228 Q580447 Q10957559 Q23178 Q968 Q965 Q2152015 Q333389 Q627223 Q2938 Q1210 Q1216 Q503757 Q917 Q916 Q1005 Q573523 Q40497 Q2742 Q1438 Q81740 Q837 Q17669 Q810 Q811 Q813 Q255361 Q819 Q654138 Q81261 Q493437 Q863 Q574429 Q869 Q111543 Q102736 Q269174 Q278221 Q12434 Q20077 Q31872 Q95067 Q95066 Q142 Q53246 Q1948 Q262 Q148 Q157266 Q3319482 Q264620 Q39971 Q73532 Q42626 Q42628 Q499045 Q490167 Q20103 Q10312 Q2009898 Q774 Q42245 Q4431 Q770 Q131633 Q2596432 Q928 Q19306 Q759201 Q424 Q675616 Q854 Q9574 Q2790 Q566435 Q496885 Q42984 Q552822 Q6998 Q155144 Q645814 Q2139159 Q1041 Q216977 Q489929 Q629664 Q1904 Q393594 Q41003 Q347 Q43046 Q81138 Q17 Q15059063 Q42668 Q3940173 Q4066675 Q138823 Q697787 Q47578 Q11337 Q211 Q215 Q1837 Q501626 Q554187 Q23247 Q974 Q971 Q496978 Q23238 Q11119 Q566795 Q631654 Q42192 Q645340 Q9187 Q42926 Q775 Q14870 Q100041 Q1019 Q772 Q1014 Q1016 Q16104 Q243337 Q42441 Q182248 Q20458 Q20517
(c(Q62447)|c(Q22698),P138,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q62447
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q22698
action count
action filter_multi_types
action find_reverse
entity Q1005
relation P138
type Q62447
type Q22698
[ANSWERS]
[[{'concept': 'Q62447'}, {'concept': 'Q22698'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:P138 resource:Q1005 . { { ?l rdf:type ontology:Q62447 } UNION { ?l rdf:type ontology:Q22698 } } } } . FILTER ( ?p = ?n ) . { SELECT DISTINCT ?c ( COUNT ( ?w ) AS ?p ) WHERE { { ?w property:P138 ?c . ?c rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q22698 } UNION { ?c rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q62447 . ?w property:P138 ?c } } GROUP BY ?c } }
Panama Solnhofen Israel Costa Rica Adro Peru Montecorvino Rovella Argentina Wolfskehlen Netherlands Hagen Strausberg Dominican Republic Pedavena Kulmbach Frasso Sabino Castrop-Rauxel Russia Brazil Pas-de-Calais Pontremoli L'Aquila Tortona Arcole Eure Rees Radyr Prince of Orange Pistoia Lucca Olginate Fiesole Jacobsdorf Colombia Calcio, Lombardy Suriname Paraguay Crotone Ecuador Vendée Chorin Umbria Lazio Moncalvo Tuscany Les Halles Marche Arzachena Hohenstein Iceland Belarus Morocco Calabria Hollenstedt Loguivy-de-la-Mer Cernusco Lombardone Abbiategrasso Duchy of Brabant Sondrio Simmering Mallee Farra d'Isonzo Chile Ethiopia Kenya Cortina d'Ampezzo Fehrbellin Heinsen Livigno Gorgonzola Bussero Meerfeld Wernborn Remanzacco Detmold Brivio Mitino Calco Leuna Rovereto Crescenzago Caiazzo Corrèze Pitigliano Berkenbrück Duchy of Luxembourg Tunisia Lierna Veneto Templin Charente Vosges Perinaldo New Caledonia Asti Merate Sögel Auletta Zeeland Kelbra India Cernusco sul Naviglio hamlet Cremona Huangpu District Lecco Brilon Predappio Portugal El Salvador Haiti Iraq Keroland Iran Afghanistan South Korea Val-de-Marne Mirafiori Basedow Cuba Sprockhövel Wetter (Ruhr) Glienicke/Nordbahn Bernkastel-Kues Flensburg Gard Luxembourg Belgium United States of America Lithuania Poland Sweden Switzerland Italy Huangpu District Mapello Cologno Monzese Bormio Nieder-Roden Württemberg Montenegro Kazakhstan French Southern and Antarctic Lands Radeberg North Brabant Deux-Nèthes Ozieri Helgoland Faenza Alpes-Maritimes Jettenbach Tõravere region of France Rauen Urmitz Rwanda Nigeria Namibia Diamante Candelo QT8 Nauru Montmartre Brugherio Bolivia Secinaro Paderno d'Adda Hillesheim Tautenburg Teramo Altona Yukon Usmate Velate Diepholz Giussano Saronno Estonia Yasnaya Polyana Egypt Sanshui District Uruguay Rhône Sailauf Aban Erice Pianoro Sovico Quebec Milazzo Dätgen Schierstein Alberta Nova Scotia Dassow Ceccano Liguria Macherio Trebur Chiavenna Monsummano Terme Cisano Bergamasco Charente-Maritime Canosio Bad Harzburg Ettringen Fiji Venezuela Gessate Anklam Sacrofano Wolfratshausen Levashovo, Saint Petersburg Pero Zimbabwe Währing Maldives Lebanon Seine Bellagio Borbona Vimodrone Sangerhausen Tempio Pausania Duchy of Lorraine Gotha Bitburg Ober-Roden Anjou Sprendlingen Dümmer Nord Norway Balve Hungary Spain Pontevico Helpt Savigliano Linz am Rhein Britz Borodino (village), Mozhaysky District, Moscow Oblast Casteggio Daun Admont Este Greenland Albania Republic of Macedonia Cyprus Andorra Duchy of Styria Moldavia Bisceglie Warburg Burkina Faso Riedelbach Palau Briesen Leverkusen Lombardy Piedmont Oberammergau Bhutan Angola Gambia Flechtingen Carnate Münster Campania Lauta Nepal Serravalle Scrivia Jordan Nicaragua Kyrgyzstan Werfen Laos Rhede, Lower Saxony Rudersberg Arneburg Tajikistan Seeheim-Jugenheim Thailand Provaglio d'Iseo San Marcello Pistoiese Worpswede Berchtesgaden Bad Honnef Werdau Moosburg an der Isar Ambivere Alzano Lombardo France Codroipo Manitoba Algeria People's Republic of China Sternberg Molegbe Garching bei München Gela Ruhpolding Vercurago Robbiate Sinagra, Sicily Pielenhofen Assisi Tavagnasco Oberhöchstadt Guatemala Robecco d'Oglio Bad Köstritz Friesland Hallstatt Euvelgunne Philippines Altamura Auerbach Cambodia Langenzersdorf Sri Lanka Pino Torinese Udine Erpel Isnello Turbigo Mecklenburg-Güstrow Freising Alsace-Lorraine Kröpelin Reichenbach Senegal Coreglia Antelminelli Avola Arbesbach Ontario Agia Paraskevi Palestro Liechtenstein Olgiate Molgora Nocera Inferiore Japan Kellaways Pudost Rogoredo Annino Farnese, Lazio Duchy of Limburg Vittorio Veneto Herdecke Latvia Slovenia Wohldorf-Ohlstedt Wildeshausen Lunden Belgirate Democratic Republic of the Congo Republic of the Congo Roccapalumba Baveno Warstein Schalkenmehren Selent San Donato Milanese Brenk Carmagnola Calolziocorte Gelderland Siegburg Carpi Madagascar Drenthe Liberia Libya Ahrensburg Issum Cassina de' Pecchi Nordwalde Gubbio Treiso
Italy Brazil United States of America
action approx
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type aerodrome
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type park
action count
action filter_multi_types
action find_reverse
entity Gambia
relation named after
type aerodrome
type park
[[{'concept': 'aerodrome'}, {'concept': 'park'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:named_after resource:Gambia . { { ?l rdf:type ontology:aerodrome } UNION { ?l rdf:type ontology:park } } } } . FILTER ( ?p = ?n ) . { SELECT DISTINCT ?c ( COUNT ( ?w ) AS ?p ) WHERE { { ?w property:named_after ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:park } UNION { ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:aerodrome . ?w property:named_after ?c } } GROUP BY ?c } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Are Germany known to have diplomatic connections with those administrative territories ?
(Q183,P530,Q38) (Q183,P530,Q155) (Q183,P530,Q30)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q38'] ['Q183', 'P530', 'Q155'] ['Q183', 'P530', 'Q30']
ASK WHERE { VALUES ( ?k ) { ( resource:Q804 ) ( resource:Q572949 ) ( resource:Q801 ) } . resource:Q183 property:P530 ?k }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Italy'] ['Germany', 'diplomatic relation', 'Brazil'] ['Germany', 'diplomatic relation', 'United States of America']
ASK WHERE { VALUES ( ?k ) { ( resource:Panama ) ( resource:Solnhofen ) ( resource:Israel ) } . resource:Germany property:diplomatic_relation ?k }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q38) (Q183,P530,Q155) (Q183,P530,Q30)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q38'] ['Q183', 'P530', 'Q155'] ['Q183', 'P530', 'Q30']
ASK WHERE { VALUES ( ?k ) { ( resource:Q804 ) ( resource:Q572949 ) ( resource:Q801 ) } . resource:Q183 property:P530 ?k }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Italy'] ['Germany', 'diplomatic relation', 'Brazil'] ['Germany', 'diplomatic relation', 'United States of America']
ASK WHERE { VALUES ( ?k ) { ( resource:Panama ) ( resource:Solnhofen ) ( resource:Israel ) } . resource:Germany property:diplomatic_relation ?k }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q142
P47
Q1048835 Q515
USER
How many political territories and cities are bordered by France ?
(Q142,P47,c(Q1048835)) (Q142,P47,c(Q515))
action count
action union
action filter_type
action find
entity Q142
relation P47
type Q1048835
action filter_type
action find
entity Q142
relation P47
type Q515
['Q142', 'P47', {'concept': 'Q1048835'}] ['Q142', 'P47', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { VALUES ( ?z ) { ( ontology:Q1048835 ) ( ontology:Q515 ) } . ?v rdf:type ?z }
France
action count
action union
action filter_type
action find
entity France
relation shares border with
type political territorial entity
action filter_type
action find
entity France
relation shares border with
type city
['France', 'shares border with', {'concept': 'political territorial entity'}] ['France', 'shares border with', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { VALUES ( ?z ) { ( ontology:political_territorial_entity ) ( ontology:city ) } . ?v rdf:type ?z }
[]
political territorial entity city
SYSTEM
2 political territories and 1 cities
Q13116 Q183 Q235
(Q142,P47,c(Q1048835)) (Q142,P47,c(Q515))
action count
action union
action filter_type
action find
entity Q142
relation P47
type Q1048835
action filter_type
action find
entity Q142
relation P47
type Q515
[ANSWER]
['Q142', 'P47', {'concept': 'Q1048835'}] ['Q142', 'P47', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { VALUES ( ?z ) { ( ontology:Q1048835 ) ( ontology:Q515 ) } . ?v rdf:type ?z }
Benelux Germany Monaco
2 political territories and 1 cities
action count
action union
action filter_type
action find
entity France
relation shares border with
type political territorial entity
action filter_type
action find
entity France
relation shares border with
type city
['France', 'shares border with', {'concept': 'political territorial entity'}] ['France', 'shares border with', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?a ) WHERE { VALUES ( ?z ) { ( ontology:political_territorial_entity ) ( ontology:city ) } . ?v rdf:type ?z }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q15617994 Q15617994
USER
Which administrative territories have diplomatic relationships with max number of administrative territories ?
(c(Q15617994),P530,Q953)
action argmax
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[{'concept': 'Q15617994'}, 'P530', 'Q953']
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?f ) { SELECT DISTINCT ?b ( COUNT ( ?h ) AS ?w ) WHERE { ?b property:P530 ?h . ?b rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q15617994 } GROUP BY ?b } } . { SELECT DISTINCT ?y ( COUNT ( ?j ) AS ?u ) WHERE { ?y property:P530 ?j . ?y rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q15617994 } GROUP BY ?y } . FILTER ( ?u = ?f ) }
action argmax
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Zambia']
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?f ) { SELECT DISTINCT ?b ( COUNT ( ?h ) AS ?w ) WHERE { ?b property:diplomatic_relation ?h . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?b } } . { SELECT DISTINCT ?y ( COUNT ( ?j ) AS ?u ) WHERE { ?y property:diplomatic_relation ?j . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?y } . FILTER ( ?u = ?f ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
(c(Q15617994),P530,Q953)
action argmax
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[ANSWER] have diplomatic relationships with max number of administrative territories
[{'concept': 'Q15617994'}, 'P530', 'Q953']
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?f ) { SELECT DISTINCT ?b ( COUNT ( ?h ) AS ?w ) WHERE { ?b property:P530 ?h . ?b rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q15617994 } GROUP BY ?b } } . { SELECT DISTINCT ?y ( COUNT ( ?j ) AS ?u ) WHERE { ?y property:P530 ?j . ?y rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q15617994 } GROUP BY ?y } . FILTER ( ?u = ?f ) }
Italy
Italy have diplomatic relationships with max number of administrative territories
Italy
action argmax
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Zambia']
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?f ) { SELECT DISTINCT ?b ( COUNT ( ?h ) AS ?w ) WHERE { ?b property:diplomatic_relation ?h . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?b } } . { SELECT DISTINCT ?y ( COUNT ( ?j ) AS ?u ) WHERE { ?y property:diplomatic_relation ?j . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?y } . FILTER ( ?u = ?f ) }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q38 Q1098069
P27
Q502895
USER
Is Claudio Lodati a citizen of that administrative territory ?
(Q1098069,P27,Q38)
action is_in
entity Q38
action find
entity Q1098069
relation P27
['Q1098069', 'P27', 'Q38']
ASK WHERE { resource:Q1098069 property:P27 resource:Q38 }
Italy Claudio Lodati
action is_in
entity Italy
action find
entity Claudio Lodati
relation country of citizenship
['Claudio Lodati', 'country of citizenship', 'Italy']
ASK WHERE { resource:Claudio_Lodati property:country_of_citizenship resource:Italy }
[]
common name
SYSTEM
YES
(Q1098069,P27,Q38)
action is_in
entity Q38
action find
entity Q1098069
relation P27
[ANSWER]
['Q1098069', 'P27', 'Q38']
ASK WHERE { resource:Q1098069 property:P27 resource:Q38 }
Yes
action is_in
entity Italy
action find
entity Claudio Lodati
relation country of citizenship
['Claudio Lodati', 'country of citizenship', 'Italy']
ASK WHERE { resource:Claudio_Lodati property:country_of_citizenship resource:Italy }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q1048835 Q15617994
USER
Which political territories have a diplomatic relationship with min number of administrative territories ?
(c(Q15617994),P530,Q766)
action argmin
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
[{'concept': 'Q15617994'}, 'P530', 'Q766']
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?b ) AS ?a ) { SELECT DISTINCT ?q ( COUNT ( ?v ) AS ?b ) WHERE { ?v rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q1048835 . ?q property:P530 ?v } GROUP BY ?q } } . { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?w ) WHERE { ?t property:P530 ?j . ?t rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q15617994 } GROUP BY ?t } . FILTER ( ?w = ?a ) }
action argmin
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Jamaica']
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?b ) AS ?a ) { SELECT DISTINCT ?q ( COUNT ( ?v ) AS ?b ) WHERE { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:political_territorial_entity . ?q property:diplomatic_relation ?v } GROUP BY ?q } } . { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?w ) WHERE { ?t property:diplomatic_relation ?j . ?t rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?t } . FILTER ( ?w = ?a ) }
[]
political territorial entity designation for an administrative territorial entity
Q685 Q691
SYSTEM
Solomon Islands, Papua New Guinea
Q685 Q691
(c(Q15617994),P530,Q766)
action argmin
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
[ANSWERS] have a diplomatic relationship with min number of administrative territories
[{'concept': 'Q15617994'}, 'P530', 'Q766']
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?b ) AS ?a ) { SELECT DISTINCT ?q ( COUNT ( ?v ) AS ?b ) WHERE { ?v rdf:type ontology:Q15617994 . ?q rdf:type ontology:Q1048835 . ?q property:P530 ?v } GROUP BY ?q } } . { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?w ) WHERE { ?t property:P530 ?j . ?t rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q15617994 } GROUP BY ?t } . FILTER ( ?w = ?a ) }
Solomon Islands Papua New Guinea
Solomon Islands and Papua New Guinea have a diplomatic relationship with min number of administrative territories
Solomon Islands Papua New Guinea
action argmin
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', 'Jamaica']
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( MIN ( ?b ) AS ?a ) { SELECT DISTINCT ?q ( COUNT ( ?v ) AS ?b ) WHERE { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q rdf:type ontology:political_territorial_entity . ?q property:diplomatic_relation ?v } GROUP BY ?q } } . { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?w ) WHERE { ?t property:diplomatic_relation ?j . ?t rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?t } . FILTER ( ?w = ?a ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q142 Q7904317
P17
Q56061
USER
How many administrative territories are present in France and Electorate of Cologne ?
(c(Q56061),P17,Q142) (c(Q56061),P17,Q7904317)
action count
action intersection
action filter_type
action find_reverse
entity Q142
relation P17
type Q56061
action filter_type
action find_reverse
entity Q7904317
relation P17
type Q56061
[{'concept': 'Q56061'}, 'P17', 'Q142'] [{'concept': 'Q56061'}, 'P17', 'Q7904317']
SELECT DISTINCT ( COUNT ( ?q ) AS ?x ) WHERE { ?q property:P17 resource:Q142 . ?q rdf:type ontology:Q56061 . ?q rdf:type ontology:Q56061 . ?q property:P17 resource:Q7904317 }
France Electorate of Cologne
action count
action intersection
action filter_type
action find_reverse
entity France
relation country
type administrative territorial entity
action filter_type
action find_reverse
entity Electorate of Cologne
relation country
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'country', 'France'] [{'concept': 'administrative territorial entity'}, 'country', 'Electorate of Cologne']
SELECT DISTINCT ( COUNT ( ?q ) AS ?x ) WHERE { ?q property:country resource:France . ?q rdf:type ontology:administrative_territorial_entity . ?q rdf:type ontology:administrative_territorial_entity . ?q property:country resource:Electorate_of_Cologne }
[]
administrative territorial entity
SYSTEM
2
Q365 Q586
(c(Q56061),P17,Q142) (c(Q56061),P17,Q7904317)
action count
action intersection
action filter_type
action find_reverse
entity Q142
relation P17
type Q56061
action filter_type
action find_reverse
entity Q7904317
relation P17
type Q56061
[ANSWER]
[{'concept': 'Q56061'}, 'P17', 'Q142'] [{'concept': 'Q56061'}, 'P17', 'Q7904317']
SELECT DISTINCT ( COUNT ( ?q ) AS ?x ) WHERE { ?q property:P17 resource:Q142 . ?q rdf:type ontology:Q56061 . ?q rdf:type ontology:Q56061 . ?q property:P17 resource:Q7904317 }
Cologne Bonn
2
action count
action intersection
action filter_type
action find_reverse
entity France
relation country
type administrative territorial entity
action filter_type
action find_reverse
entity Electorate of Cologne
relation country
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'country', 'France'] [{'concept': 'administrative territorial entity'}, 'country', 'Electorate of Cologne']
SELECT DISTINCT ( COUNT ( ?q ) AS ?x ) WHERE { ?q property:country resource:France . ?q rdf:type ontology:administrative_territorial_entity . ?q rdf:type ontology:administrative_territorial_entity . ?q property:country resource:Electorate_of_Cologne }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q4711940 Q155
P530 P27
Q15617994
USER
Which administrative territories holds diplomatic relationship with Brazil and are not the countries of citizenship of Alberto Augusto ?
AND((Q155,P530,c(Q15617994)), NOT((Q4711940,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q155
relation P530
action find
entity Q4711940
relation P27
type Q15617994
{'AND': [['Q155', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q4711940', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?s WHERE { resource:Q155 property:P530 ?s . MINUS { resource:Q4711940 property:P27 ?s } . ?s rdf:type ontology:Q15617994 }
Alberto Augusto Brazil
action filter_type
action difference
action find
entity Brazil
relation diplomatic relation
action find
entity Alberto Augusto
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Brazil', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Alberto Augusto', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?s WHERE { resource:Brazil property:diplomatic_relation ?s . MINUS { resource:Alberto_Augusto property:country_of_citizenship ?s } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q145 Q30 Q917 Q736 Q801 Q79 Q38 Q916 Q962 Q96
SYSTEM
Some of them are United Kingdom, United States of America, Bhutan, Ecuador, Israel, Egypt, Italy, Angola, Benin, Mexico
Q783 Q801 Q800 Q843 Q1029 Q822 Q241 Q419 Q244 Q668 Q414 Q574 Q142 Q145 Q148 Q96 Q17 Q30 Q36 Q79 Q77 Q38 Q1016 Q739 Q423 Q717 Q983 Q733 Q1011 Q962 Q736 Q298 Q252 Q399 Q403 Q258 Q750 Q212 Q213 Q159 Q43 Q41 Q734 Q790 Q796 Q794 Q917 Q1033 Q29 Q958 Q1049 Q916
AND((Q155,P530,c(Q15617994)), NOT((Q4711940,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q155
relation P530
action find
entity Q4711940
relation P27
type Q15617994
[ANSWERS] hold diplomatic relationship with Brazil and are not the countries of citizenship of Alberto Augusto
{'AND': [['Q155', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q4711940', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?s WHERE { resource:Q155 property:P530 ?s . MINUS { resource:Q4711940 property:P27 ?s } . ?s rdf:type ontology:Q15617994 }
Honduras Israel Costa Rica Pakistan Mozambique Lebanon Cuba Peru Barbados India Argentina East Timor France United Kingdom People's Republic of China Mexico Japan United States of America Poland Egypt Uruguay Italy Libya Colombia North Korea Venezuela Equatorial Guinea Paraguay Cape Verde Benin Ecuador Chile Indonesia Armenia Serbia South Africa Bolivia Ukraine Czech Republic Russia Turkey Greece Guyana Haiti Iraq Iran Bhutan Nigeria Spain South Sudan Sudan Angola
United Kingdom, United States of America, Bhutan, Ecuador, Israel, Egypt, Italy, Angola, Benin and Mexico hold diplomatic relationship with Brazil and are not the countries of citizenship of Alberto Augusto
United Kingdom United States of America Bhutan Ecuador Israel Egypt Italy Angola Benin Mexico
action filter_type
action difference
action find
entity Brazil
relation diplomatic relation
action find
entity Alberto Augusto
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Brazil', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Alberto Augusto', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?s WHERE { resource:Brazil property:diplomatic_relation ?s . MINUS { resource:Alberto_Augusto property:country_of_citizenship ?s } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]