Simple Question (Direct)
Simple Question
Q20876061
P21
Q290
USER
Which sex does Cristina Iniesta i Blasco have ?
(Q20876061,P21,c(Q290))
action filter_type
action find
entity Q20876061
relation P21
type Q290
['Q20876061', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?t WHERE { resource:Q20876061 property:P21 ?t . ?t rdf:type ontology:Q290 }
Cristina Iniesta i Blasco
action filter_type
action find
entity Cristina Iniesta i Blasco
relation gender
type sex
['Cristina Iniesta i Blasco', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?t WHERE { resource:Cristina_Iniesta_i_Blasco property:gender ?t . ?t rdf:type ontology:sex }
[]
sex
Q6581072
SYSTEM
female
Q6581072
(Q20876061,P21,c(Q290))
action filter_type
action find
entity Q20876061
relation P21
type Q290
Cristina Iniesta i Blasco has a [ANSWER]
['Q20876061', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?t WHERE { resource:Q20876061 property:P21 ?t . ?t rdf:type ontology:Q290 }
female
Cristina Iniesta i Blasco has a female
female
action filter_type
action find
entity Cristina Iniesta i Blasco
relation gender
type sex
['Cristina Iniesta i Blasco', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?t WHERE { resource:Cristina_Iniesta_i_Blasco property:gender ?t . ?t rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q20876061
P39
Q12737077
USER
Which occupation was a position occupied by Cristina Iniesta i Blasco ?
(Q20876061,P39,c(Q12737077))
action filter_type
action find
entity Q20876061
relation P39
type Q12737077
['Q20876061', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?a WHERE { resource:Q20876061 property:P39 ?a . ?a rdf:type ontology:Q12737077 }
Cristina Iniesta i Blasco
action filter_type
action find
entity Cristina Iniesta i Blasco
relation position held
type occupation
['Cristina Iniesta i Blasco', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?a WHERE { resource:Cristina_Iniesta_i_Blasco property:position_held ?a . ?a rdf:type ontology:occupation }
[]
occupation
Q18714088
SYSTEM
Member of the Catalan Parliament
Q18714088
(Q20876061,P39,c(Q12737077))
action filter_type
action find
entity Q20876061
relation P39
type Q12737077
[ANSWER] was a position occupied by Cristina Iniesta i Blasco
['Q20876061', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?a WHERE { resource:Q20876061 property:P39 ?a . ?a rdf:type ontology:Q12737077 }
Member of the Catalan Parliament
Member of the Catalan Parliament was a position occupied by Cristina Iniesta i Blasco
Member of the Catalan Parliament
action filter_type
action find
entity Cristina Iniesta i Blasco
relation position held
type occupation
['Cristina Iniesta i Blasco', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?a WHERE { resource:Cristina_Iniesta_i_Blasco property:position_held ?a . ?a rdf:type ontology:occupation }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q11686111
Q12737077
USER
And also tell me about Andrzej Wielowieyski?
(Q11686111,P39,c(Q12737077))
action filter_type
action find
entity Q11686111
relation P39
type Q12737077
['Q11686111', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?b WHERE { resource:Q11686111 property:P39 ?b . ?b rdf:type ontology:Q12737077 }
Andrzej Wielowieyski
action filter_type
action find
entity Andrzej Wielowieyski
relation position held
type occupation
['Andrzej Wielowieyski', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?b WHERE { resource:Andrzej_Wielowieyski property:position_held ?b . ?b rdf:type ontology:occupation }
[]
occupation
Q27169
SYSTEM
member of the European Parliament
Q27169
(Q11686111,P39,c(Q12737077))
action filter_type
action find
entity Q11686111
relation P39
type Q12737077
[ANSWER]
['Q11686111', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?b WHERE { resource:Q11686111 property:P39 ?b . ?b rdf:type ontology:Q12737077 }
member of the European Parliament
member of the European Parliament
action filter_type
action find
entity Andrzej Wielowieyski
relation position held
type occupation
['Andrzej Wielowieyski', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?b WHERE { resource:Andrzej_Wielowieyski property:position_held ?b . ?b rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q27169 Q458
P1001
Q56061
USER
Does European Union come under the jurisdiction of that occupation ?
(Q27169,P1001,Q458)
action is_in
entity Q458
action find
entity Q27169
relation P1001
['Q27169', 'P1001', 'Q458']
ASK WHERE { resource:Q27169 property:P1001 resource:Q458 }
member of the European Parliament European Union
action is_in
entity European Union
action find
entity member of the European Parliament
relation applies to jurisdiction
['member of the European Parliament', 'applies to jurisdiction', 'European Union']
ASK WHERE { resource:member_of_the_European_Parliament property:applies_to_jurisdiction resource:European_Union }
[]
administrative territorial entity
SYSTEM
YES
(Q27169,P1001,Q458)
action is_in
entity Q458
action find
entity Q27169
relation P1001
[ANSWER]
['Q27169', 'P1001', 'Q458']
ASK WHERE { resource:Q27169 property:P1001 resource:Q458 }
Yes
action is_in
entity European Union
action find
entity member of the European Parliament
relation applies to jurisdiction
['member of the European Parliament', 'applies to jurisdiction', 'European Union']
ASK WHERE { resource:member_of_the_European_Parliament property:applies_to_jurisdiction resource:European_Union }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q18714088
P463
Q11204
USER
What was Member of the Catalan Parliament a member of ?
(Q18714088,P463,c(Q11204))
action filter_type
action find
entity Q18714088
relation P463
type Q11204
['Q18714088', 'P463', {'concept': 'Q11204'}]
SELECT DISTINCT ?j WHERE { resource:Q18714088 property:P463 ?j . ?j rdf:type ontology:Q11204 }
Member of the Catalan Parliament
action filter_type
action find
entity Member of the Catalan Parliament
relation member of
type legislature
['Member of the Catalan Parliament', 'member of', {'concept': 'legislature'}]
SELECT DISTINCT ?j WHERE { resource:Member_of_the_Catalan_Parliament property:member_of ?j . ?j rdf:type ontology:legislature }
[]
legislature
Q135630
SYSTEM
Parliament of Catalonia
Q135630
(Q18714088,P463,c(Q11204))
action filter_type
action find
entity Q18714088
relation P463
type Q11204
Member of the Catalan Parliament a member of was the [ANSWER]
['Q18714088', 'P463', {'concept': 'Q11204'}]
SELECT DISTINCT ?j WHERE { resource:Q18714088 property:P463 ?j . ?j rdf:type ontology:Q11204 }
Parliament of Catalonia
Member of the Catalan Parliament a member of was the Parliament of Catalonia
Parliament of Catalonia
action filter_type
action find
entity Member of the Catalan Parliament
relation member of
type legislature
['Member of the Catalan Parliament', 'member of', {'concept': 'legislature'}]
SELECT DISTINCT ?j WHERE { resource:Member_of_the_Catalan_Parliament property:member_of ?j . ?j rdf:type ontology:legislature }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q12099357 Q20876061
P19 P1383
Q56061
USER
Which administrative territories were Cristina Iniesta i Blasco born in or belong to Dagâța ?
OR((Q20876061,P19,c(Q56061)), (Q12099357,P1383,c(Q56061)))
action filter_type
action union
action find
entity Q20876061
relation P19
action find
entity Q12099357
relation P1383
type Q56061
{'OR': [['Q20876061', 'P19', {'concept': 'Q56061'}], ['Q12099357', 'P1383', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Q20876061 property:P19 ?w } UNION { resource:Q12099357 property:P1383 ?w } } . ?w rdf:type ontology:Q56061 }
Dagâța Cristina Iniesta i Blasco
action filter_type
action union
action find
entity Cristina Iniesta i Blasco
relation place of birth
action find
entity Dagâța
relation contains settlement
type administrative territorial entity
{'OR': [['Cristina Iniesta i Blasco', 'place of birth', {'concept': 'administrative territorial entity'}], ['Dagâța', 'contains settlement', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Cristina_Iniesta_i_Blasco property:place_of_birth ?w } UNION { resource:Dagâța property:contains_settlement ?w } } . ?w rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q12146331 Q12160099 Q12083002 Q12143192 Q3791573 Q12085438 Q12081805 Q1492 Q75045 Q12122610
SYSTEM
Piscu Rusului, Tarnița, Boatca, Poienile, Zece Prăjini, Buzdug, Bălușești, Barcelona, Dagâța, Mănăstirea
Q12146331 Q12160099 Q12083002 Q12143192 Q3791573 Q12085438 Q12081805 Q1492 Q75045 Q12122610
OR((Q20876061,P19,c(Q56061)), (Q12099357,P1383,c(Q56061)))
action filter_type
action union
action find
entity Q20876061
relation P19
action find
entity Q12099357
relation P1383
type Q56061
Cristina Iniesta i Blasco were born in belong [ANSWERS]
{'OR': [['Q20876061', 'P19', {'concept': 'Q56061'}], ['Q12099357', 'P1383', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Q20876061 property:P19 ?w } UNION { resource:Q12099357 property:P1383 ?w } } . ?w rdf:type ontology:Q56061 }
Piscu Rusului Tarnița Boatca Poienile Zece Prăjini Buzdug Bălușești Barcelona Dagâța Mănăstirea
Cristina Iniesta i Blasco were born in belong Piscu Rusului, Tarnița, Boatca, Poienile, Zece Prăjini, Buzdug, Bălușești, Barcelona, Dagâța and Mănăstirea
Piscu Rusului Tarnița Boatca Poienile Zece Prăjini Buzdug Bălușești Barcelona Dagâța Mănăstirea
action filter_type
action union
action find
entity Cristina Iniesta i Blasco
relation place of birth
action find
entity Dagâța
relation contains settlement
type administrative territorial entity
{'OR': [['Cristina Iniesta i Blasco', 'place of birth', {'concept': 'administrative territorial entity'}], ['Dagâța', 'contains settlement', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Cristina_Iniesta_i_Blasco property:place_of_birth ?w } UNION { resource:Dagâța property:contains_settlement ?w } } . ?w rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q16219403 Q135630
P27 P1001
Q1048835
USER
Which political territories come under the jurisdiction of Parliament of Catalonia or do Harry Neville belong to ?
OR((Q135630,P1001,c(Q1048835)), (Q16219403,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q135630
relation P1001
action find
entity Q16219403
relation P27
type Q1048835
{'OR': [['Q135630', 'P1001', {'concept': 'Q1048835'}], ['Q16219403', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Q135630 property:P1001 ?o } UNION { resource:Q16219403 property:P27 ?o } } . ?o rdf:type ontology:Q1048835 }
Harry Neville Parliament of Catalonia
action filter_type
action union
action find
entity Parliament of Catalonia
relation applies to jurisdiction
action find
entity Harry Neville
relation country of citizenship
type political territorial entity
{'OR': [['Parliament of Catalonia', 'applies to jurisdiction', {'concept': 'political territorial entity'}], ['Harry Neville', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Parliament_of_Catalonia property:applies_to_jurisdiction ?o } UNION { resource:Harry_Neville property:country_of_citizenship ?o } } . ?o rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q408 Q5705
SYSTEM
Australia, Catalonia
Q408 Q5705
OR((Q135630,P1001,c(Q1048835)), (Q16219403,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q135630
relation P1001
action find
entity Q16219403
relation P27
type Q1048835
[ANSWERS] come under the jurisdiction of Parliament of Catalonia or do Harry Neville belong to
{'OR': [['Q135630', 'P1001', {'concept': 'Q1048835'}], ['Q16219403', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Q135630 property:P1001 ?o } UNION { resource:Q16219403 property:P27 ?o } } . ?o rdf:type ontology:Q1048835 }
Australia Catalonia
Australia and Catalonia come under the jurisdiction of Parliament of Catalonia or do Harry Neville belong to
Australia Catalonia
action filter_type
action union
action find
entity Parliament of Catalonia
relation applies to jurisdiction
action find
entity Harry Neville
relation country of citizenship
type political territorial entity
{'OR': [['Parliament of Catalonia', 'applies to jurisdiction', {'concept': 'political territorial entity'}], ['Harry Neville', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Parliament_of_Catalonia property:applies_to_jurisdiction ?o } UNION { resource:Harry_Neville property:country_of_citizenship ?o } } . ?o rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q685
P530
Q1048835 Q1048835
USER
Which political territories have ambassadorial relations with around the same number of political territories as Solomon Islands ?
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q685
relation P530
type Q1048835
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?w ) AS ?u ) WHERE { ?x property:P530 ?w . ?x rdf:type ontology:Q1048835 . ?w rdf:type ontology:Q1048835 } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?i ) WHERE { resource:Q685 property:P530 ?r . ?r rdf:type ontology:Q1048835 } } . FILTER ( ?u = ?i ) }
Solomon Islands
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Solomon Islands
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?w ) AS ?u ) WHERE { ?x property:diplomatic_relation ?w . ?x rdf:type ontology:political_territorial_entity . ?w rdf:type ontology:political_territorial_entity } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?i ) WHERE { resource:Solomon_Islands property:diplomatic_relation ?r . ?r rdf:type ontology:political_territorial_entity } } . FILTER ( ?u = ?i ) }
[]
political territorial entity political territorial entity
Q35 Q40 Q664
SYSTEM
Denmark, Austria, New Zealand
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q664 Q766
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q685
relation P530
type Q1048835
[ANSWERS] have ambassadorial relations with around the same number of political territories as Solomon Islands
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?w ) AS ?u ) WHERE { ?x property:P530 ?w . ?x rdf:type ontology:Q1048835 . ?w rdf:type ontology:Q1048835 } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?i ) WHERE { resource:Q685 property:P530 ?r . ?r rdf:type ontology:Q1048835 } } . FILTER ( ?u = ?i ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea New Zealand Jamaica
Denmark, Austria and New Zealand have ambassadorial relations with around the same number of political territories as Solomon Islands
Denmark Austria New Zealand
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Solomon Islands
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?w ) AS ?u ) WHERE { ?x property:diplomatic_relation ?w . ?x rdf:type ontology:political_territorial_entity . ?w rdf:type ontology:political_territorial_entity } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?i ) WHERE { resource:Solomon_Islands property:diplomatic_relation ?r . ?r rdf:type ontology:political_territorial_entity } } . FILTER ( ?u = ?i ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q15701783 Q20876061
P19 P937
Q56061
USER
Which administrative territories are the work locations of Cristina Iniesta i Blasco and were Josefa Teixidor i Torres born in ?
AND((Q20876061,P937,c(Q56061)), (Q15701783,P19,c(Q56061)))
action filter_type
action intersection
action find
entity Q20876061
relation P937
action find
entity Q15701783
relation P19
type Q56061
{'AND': [['Q20876061', 'P937', {'concept': 'Q56061'}], ['Q15701783', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q20876061 property:P937 ?c . resource:Q15701783 property:P19 ?c }
Josefa Teixidor i Torres Cristina Iniesta i Blasco
action filter_type
action intersection
action find
entity Cristina Iniesta i Blasco
relation work location
action find
entity Josefa Teixidor i Torres
relation place of birth
type administrative territorial entity
{'AND': [['Cristina Iniesta i Blasco', 'work location', {'concept': 'administrative territorial entity'}], ['Josefa Teixidor i Torres', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Cristina_Iniesta_i_Blasco property:work_location ?c . resource:Josefa_Teixidor_i_Torres property:place_of_birth ?c }
[]
administrative territorial entity
Q1492
SYSTEM
Barcelona
Q1492
AND((Q20876061,P937,c(Q56061)), (Q15701783,P19,c(Q56061)))
action filter_type
action intersection
action find
entity Q20876061
relation P937
action find
entity Q15701783
relation P19
type Q56061
[ANSWER] is the work locations of Cristina Iniesta i Blasco and were Josefa Teixidor i Torres born in
{'AND': [['Q20876061', 'P937', {'concept': 'Q56061'}], ['Q15701783', 'P19', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q20876061 property:P937 ?c . resource:Q15701783 property:P19 ?c }
Barcelona
Barcelona is the work locations of Cristina Iniesta i Blasco and were Josefa Teixidor i Torres born in
Barcelona
action filter_type
action intersection
action find
entity Cristina Iniesta i Blasco
relation work location
action find
entity Josefa Teixidor i Torres
relation place of birth
type administrative territorial entity
{'AND': [['Cristina Iniesta i Blasco', 'work location', {'concept': 'administrative territorial entity'}], ['Josefa Teixidor i Torres', 'place of birth', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Cristina_Iniesta_i_Blasco property:work_location ?c . resource:Josefa_Teixidor_i_Torres property:place_of_birth ?c }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q16
P17
Q1048835 Q41176 Q56061
USER
How many political territories are less number of buildings and administrative territories present in than Canada ?
(c(Q41176)|c(Q56061),P17,c(Q1048835))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q41176
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q16
relation P17
type Q41176
type Q56061
[[{'concept': 'Q41176'}, {'concept': 'Q56061'}], 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?j ) AS ?y ) WHERE { VALUES ( ?g ) { ( ontology:Q56061 ) ( ontology:Q41176 ) } . ?j rdf:type ?g } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?u ) WHERE { ?o property:P17 resource:Q16 . { { ?o rdf:type ontology:Q41176 } UNION { ?o rdf:type ontology:Q56061 } } } } . FILTER ( ?y < ?u ) }
Canada
action count
action less
action union
action find_reverse_tuple_counts
relation country
type political territorial entity
type building
action find_reverse_tuple_counts
relation country
type political territorial entity
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Canada
relation country
type building
type administrative territorial entity
[[{'concept': 'building'}, {'concept': 'administrative territorial entity'}], 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?j ) AS ?y ) WHERE { VALUES ( ?g ) { ( ontology:administrative_territorial_entity ) ( ontology:building ) } . ?j rdf:type ?g } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?u ) WHERE { ?o property:country resource:Canada . { { ?o rdf:type ontology:building } UNION { ?o rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?y < ?u ) }
[]
political territorial entity building administrative territorial entity
SYSTEM
63
Q193714 Q1000 Q195972 Q21590062 Q746558 Q838261 Q183 Q785 Q193619 Q769 Q685 Q699964 Q763 Q13767 Q34617 Q22880 Q9676 Q641138 Q664 Q693551 Q13353 Q766 Q848383 Q5705 Q13726 Q953068 Q5785 Q35 Q38610 Q3405693 Q1054923 Q13862 Q79965 Q223793 Q319376 Q13869 Q407199 Q18221 Q778 Q2002138 Q3899 Q35672 Q25228 Q408 Q1747689 Q781 Q691 Q757 Q9648 Q231 Q234 Q2991382 Q40 Q168651 Q399702 Q35086 Q23635 Q208279 Q192184 Q1615455 Q31747 Q25305 Q129286
(c(Q41176)|c(Q56061),P17,c(Q1048835))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q41176
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q16
relation P17
type Q41176
type Q56061
[ANSWER]
[[{'concept': 'Q41176'}, {'concept': 'Q56061'}], 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?j ) AS ?y ) WHERE { VALUES ( ?g ) { ( ontology:Q56061 ) ( ontology:Q41176 ) } . ?j rdf:type ?g } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?u ) WHERE { ?o property:P17 resource:Q16 . { { ?o rdf:type ontology:Q41176 } UNION { ?o rdf:type ontology:Q56061 } } } } . FILTER ( ?y < ?u ) }
Mandatory Palestine Gabon Kingdom of Kartli Antarctic Treaty area Emirate of Bukhara Federal Republic of Yugoslavia Germany Jersey Union of South Africa Grenada Solomon Islands Archduchy of Austria Saint Kitts and Nevis Camarines Sur Saint Pierre and Miquelon Electoral Palatinate Isle of Man Duchy of Cleves New Zealand Landgraviate of Hesse-Darmstadt Montserrat Jamaica Duchy of Rome Catalonia Albay South-West Africa Cayman Islands Denmark Dominion of Newfoundland Sark British Hong Kong Negros Occidental Golden Horde Kingdom of Etruria Hanau-Münzenberg Palawan Palestinian territories Turks and Caicos Islands The Bahamas Equador, Rio Grande do Norte Kalimantan Timur Pitcairn Islands Anguilla Australia Ancient Rome Antigua and Barbuda Papua New Guinea Saint Vincent and the Grenadines Falkland Islands Walloon Region Flemish Region County of Provence Austria Landgraviate of Hesse-Kassel Agüimes, Las Palmas South Georgia and the South Sandwich Islands Bermuda Highland Saint Helena, Ascension and Tristan da Cunha Duchy of Mirandola Irish Free State British Virgin Islands British Raj
63
action count
action less
action union
action find_reverse_tuple_counts
relation country
type political territorial entity
type building
action find_reverse_tuple_counts
relation country
type political territorial entity
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Canada
relation country
type building
type administrative territorial entity
[[{'concept': 'building'}, {'concept': 'administrative territorial entity'}], 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?j ) AS ?y ) WHERE { VALUES ( ?g ) { ( ontology:administrative_territorial_entity ) ( ontology:building ) } . ?j rdf:type ?g } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?u ) WHERE { ?o property:country resource:Canada . { { ?o rdf:type ontology:building } UNION { ?o rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?y < ?u ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q848383
P17
Q1048835 Q41176 Q56061
USER
And also tell me about Duchy of Rome?
(c(Q41176)|c(Q56061),P17,c(Q1048835))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q41176
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q848383
relation P17
type Q41176
type Q56061
[[{'concept': 'Q41176'}, {'concept': 'Q56061'}], 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?x ) ?m WHERE { { ?p property:P17 ?m . ?m rdf:type ontology:Q1048835 . ?p rdf:type ontology:Q56061 } UNION { ?p property:P17 ?m . ?m rdf:type ontology:Q1048835 . ?p rdf:type ontology:Q41176 } } GROUP BY ?m } . FILTER ( ?x < ?j ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a property:P17 resource:Q848383 . { { ?a rdf:type ontology:Q41176 } UNION { ?a rdf:type ontology:Q56061 } } } } }
Duchy of Rome
action count
action less
action union
action find_reverse_tuple_counts
relation country
type political territorial entity
type building
action find_reverse_tuple_counts
relation country
type political territorial entity
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Duchy of Rome
relation country
type building
type administrative territorial entity
[[{'concept': 'building'}, {'concept': 'administrative territorial entity'}], 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?x ) ?m WHERE { { ?p property:country ?m . ?m rdf:type ontology:political_territorial_entity . ?p rdf:type ontology:administrative_territorial_entity } UNION { ?p property:country ?m . ?m rdf:type ontology:political_territorial_entity . ?p rdf:type ontology:building } } GROUP BY ?m } . FILTER ( ?x < ?j ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a property:country resource:Duchy_of_Rome . { { ?a rdf:type ontology:building } UNION { ?a rdf:type ontology:administrative_territorial_entity } } } } }
[]
political territorial entity building administrative territorial entity
SYSTEM
23
Q21590062 Q746558 Q13767 Q641138 Q13353 Q5705 Q13726 Q953068 Q38610 Q3405693 Q1054923 Q13862 Q319376 Q13869 Q3899 Q35672 Q25228 Q231 Q234 Q2991382 Q168651 Q399702 Q35086
(c(Q41176)|c(Q56061),P17,c(Q1048835))
action count
action less
action union
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q41176
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q848383
relation P17
type Q41176
type Q56061
[ANSWER]
[[{'concept': 'Q41176'}, {'concept': 'Q56061'}], 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?x ) ?m WHERE { { ?p property:P17 ?m . ?m rdf:type ontology:Q1048835 . ?p rdf:type ontology:Q56061 } UNION { ?p property:P17 ?m . ?m rdf:type ontology:Q1048835 . ?p rdf:type ontology:Q41176 } } GROUP BY ?m } . FILTER ( ?x < ?j ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a property:P17 resource:Q848383 . { { ?a rdf:type ontology:Q41176 } UNION { ?a rdf:type ontology:Q56061 } } } } }
Antarctic Treaty area Emirate of Bukhara Camarines Sur Duchy of Cleves Montserrat Catalonia Albay South-West Africa Dominion of Newfoundland Sark British Hong Kong Negros Occidental Hanau-Münzenberg Palawan Kalimantan Timur Pitcairn Islands Anguilla Walloon Region Flemish Region County of Provence Landgraviate of Hesse-Kassel Agüimes, Las Palmas South Georgia and the South Sandwich Islands
23
action count
action less
action union
action find_reverse_tuple_counts
relation country
type political territorial entity
type building
action find_reverse_tuple_counts
relation country
type political territorial entity
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Duchy of Rome
relation country
type building
type administrative territorial entity
[[{'concept': 'building'}, {'concept': 'administrative territorial entity'}], 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?x ) ?m WHERE { { ?p property:country ?m . ?m rdf:type ontology:political_territorial_entity . ?p rdf:type ontology:administrative_territorial_entity } UNION { ?p property:country ?m . ?m rdf:type ontology:political_territorial_entity . ?p rdf:type ontology:building } } GROUP BY ?m } . FILTER ( ?x < ?j ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a property:country resource:Duchy_of_Rome . { { ?a rdf:type ontology:building } UNION { ?a rdf:type ontology:administrative_territorial_entity } } } } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q7296500 Q408
P530 P17
Q15617994
USER
Which administrative territories have diplomatic relations with Australia and are Ravenscar railway station a part of ?
AND((Q408,P530,c(Q15617994)), (Q7296500,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q408
relation P530
action find
entity Q7296500
relation P17
type Q15617994
{'AND': [['Q408', 'P530', {'concept': 'Q15617994'}], ['Q7296500', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?x WHERE { resource:Q7296500 property:P17 ?x . resource:Q408 property:P530 ?x . ?x rdf:type ontology:Q15617994 }
Ravenscar railway station Australia
action filter_type
action intersection
action find
entity Australia
relation diplomatic relation
action find
entity Ravenscar railway station
relation country
type designation for an administrative territorial entity
{'AND': [['Australia', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Ravenscar railway station', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?x WHERE { resource:Ravenscar_railway_station property:country ?x . resource:Australia property:diplomatic_relation ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q145
SYSTEM
United Kingdom
Q145
AND((Q408,P530,c(Q15617994)), (Q7296500,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q408
relation P530
action find
entity Q7296500
relation P17
type Q15617994
[ANSWER] have diplomatic relations with Australia and are Ravenscar railway station a part of
{'AND': [['Q408', 'P530', {'concept': 'Q15617994'}], ['Q7296500', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?x WHERE { resource:Q7296500 property:P17 ?x . resource:Q408 property:P530 ?x . ?x rdf:type ontology:Q15617994 }
United Kingdom
United Kingdom have diplomatic relations with Australia and are Ravenscar railway station a part of
United Kingdom
action filter_type
action intersection
action find
entity Australia
relation diplomatic relation
action find
entity Ravenscar railway station
relation country
type designation for an administrative territorial entity
{'AND': [['Australia', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Ravenscar railway station', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?x WHERE { resource:Ravenscar_railway_station property:country ?x . resource:Australia property:diplomatic_relation ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]