Simple Question (Direct)
Simple Question
Q2831680
P106
Q12737077
USER
What is the profession of Albert du Bois ?
(Q2831680,P106,c(Q12737077))
action filter_type
action find
entity Q2831680
relation P106
type Q12737077
['Q2831680', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?z WHERE { resource:Q2831680 property:P106 ?z . ?z rdf:type ontology:Q12737077 }
Albert du Bois
action filter_type
action find
entity Albert du Bois
relation occupation
type occupation
['Albert du Bois', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?z WHERE { resource:Albert_du_Bois property:occupation ?z . ?z rdf:type ontology:occupation }
[]
occupation
Q193391
SYSTEM
diplomat
Q193391
(Q2831680,P106,c(Q12737077))
action filter_type
action find
entity Q2831680
relation P106
type Q12737077
The profession of Albert du Bois is a [ANSWER]
['Q2831680', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?z WHERE { resource:Q2831680 property:P106 ?z . ?z rdf:type ontology:Q12737077 }
diplomat
The profession of Albert du Bois is a diplomat
diplomat
action filter_type
action find
entity Albert du Bois
relation occupation
type occupation
['Albert du Bois', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?z WHERE { resource:Albert_du_Bois property:occupation ?z . ?z rdf:type ontology:occupation }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2831680
P20
Q515
USER
Which city is the place of death of that person ?
(Q193391,P20,c(Q515))
action filter_type
action find
entity Q2831680
relation P20
type Q515
['Q193391', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?q WHERE { resource:Q2831680 property:P20 ?q . ?q rdf:type ontology:Q515 }
Albert du Bois
action filter_type
action find
entity Albert du Bois
relation place of death
type city
['diplomat', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?q WHERE { resource:Albert_du_Bois property:place_of_death ?q . ?q rdf:type ontology:city }
[]
city
Q9005
SYSTEM
Brussels
Q9005
(Q193391,P20,c(Q515))
action filter_type
action find
entity Q2831680
relation P20
type Q515
[ANSWER] is the place of death of that person
['Q193391', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?q WHERE { resource:Q2831680 property:P20 ?q . ?q rdf:type ontology:Q515 }
Brussels
Brussels is the place of death of that person
Brussels
action filter_type
action find
entity Albert du Bois
relation place of death
type city
['diplomat', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?q WHERE { resource:Albert_du_Bois property:place_of_death ?q . ?q rdf:type ontology:city }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q3167750 Q2831680
P19 P20
Q515
USER
Which cities did Albert du Bois die and are the birthplace of Jean-Marie Mersch ?
AND((Q2831680,P20,c(Q515)), (Q3167750,P19,c(Q515)))
action filter_type
action intersection
action find
entity Q2831680
relation P20
action find
entity Q3167750
relation P19
type Q515
{'AND': [['Q2831680', 'P20', {'concept': 'Q515'}], ['Q3167750', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?j WHERE { resource:Q2831680 property:P20 ?j . resource:Q3167750 property:P19 ?j . ?j rdf:type ontology:Q515 }
Jean-Marie Mersch Albert du Bois
action filter_type
action intersection
action find
entity Albert du Bois
relation place of death
action find
entity Jean-Marie Mersch
relation place of birth
type city
{'AND': [['Albert du Bois', 'place of death', {'concept': 'city'}], ['Jean-Marie Mersch', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?j WHERE { resource:Albert_du_Bois property:place_of_death ?j . resource:Jean-Marie_Mersch property:place_of_birth ?j . ?j rdf:type ontology:city }
[]
city
Q9005
SYSTEM
Brussels
Q9005
AND((Q2831680,P20,c(Q515)), (Q3167750,P19,c(Q515)))
action filter_type
action intersection
action find
entity Q2831680
relation P20
action find
entity Q3167750
relation P19
type Q515
Albert du Bois died in [ANSWER] and are the birthplace of Jean-Marie Mersch
{'AND': [['Q2831680', 'P20', {'concept': 'Q515'}], ['Q3167750', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?j WHERE { resource:Q2831680 property:P20 ?j . resource:Q3167750 property:P19 ?j . ?j rdf:type ontology:Q515 }
Brussels
Albert du Bois died in Brussels and are the birthplace of Jean-Marie Mersch
Brussels
action filter_type
action intersection
action find
entity Albert du Bois
relation place of death
action find
entity Jean-Marie Mersch
relation place of birth
type city
{'AND': [['Albert du Bois', 'place of death', {'concept': 'city'}], ['Jean-Marie Mersch', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?j WHERE { resource:Albert_du_Bois property:place_of_death ?j . resource:Jean-Marie_Mersch property:place_of_birth ?j . ?j rdf:type ontology:city }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q23768
P609
Q515 Q34442 Q83620
USER
Which cities are the terminus locations of less number of roads or thoroughfares than Las Vegas ?
(c(Q34442)|c(Q83620),P609,c(Q515))
action less
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action count
action filter_multi_types
action find_reverse
entity Q23768
relation P609
type Q34442
type Q83620
[[{'concept': 'Q34442'}, {'concept': 'Q83620'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:P609 ?j . ?j rdf:type ontology:Q515 . ?k rdf:type ontology:Q34442 } UNION { ?k property:P609 ?j . ?j rdf:type ontology:Q515 . ?k rdf:type ontology:Q83620 } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?u ) WHERE { ?r property:P609 resource:Q23768 . { VALUES ( ?n ) { ( ontology:Q34442 ) ( ontology:Q83620 ) } . ?r rdf:type ?n } } } . FILTER ( ?p < ?u ) }
Las Vegas
action less
action union
action find_reverse_tuple_counts
relation terminus location
type city
type road
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action count
action filter_multi_types
action find_reverse
entity Las Vegas
relation terminus location
type road
type thoroughfare
[[{'concept': 'road'}, {'concept': 'thoroughfare'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:terminus_location ?j . ?j rdf:type ontology:city . ?k rdf:type ontology:road } UNION { ?k property:terminus_location ?j . ?j rdf:type ontology:city . ?k rdf:type ontology:thoroughfare } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?u ) WHERE { ?r property:terminus_location resource:Las_Vegas . { VALUES ( ?n ) { ( ontology:road ) ( ontology:thoroughfare ) } . ?r rdf:type ?n } } } . FILTER ( ?p < ?u ) }
[]
city road thoroughfare
Q1899 Q1731 Q42622
SYSTEM
Kyiv, Dresden, Suzhou
Q8652 Q349982 Q601254 Q425996 Q756581 Q182852 Q320950 Q869037 Q16506 Q363479 Q1027604 Q2092257 Q16959 Q68481 Q851155 Q181276 Q249007 Q341777 Q5869 Q16520 Q541071 Q360374 Q6602 Q535534 Q819620 Q193724 Q987487 Q180470 Q210365 Q533157 Q58560 Q1630623 Q158245 Q2079 Q217698 Q379160 Q18575 Q11736 Q1000069 Q211243 Q612646 Q42622 Q71227 Q1641736 Q185684 Q75110 Q373101 Q426868 Q278877 Q147738 Q502981 Q1008696 Q373023 Q954611 Q1761 Q373687 Q162880 Q682544 Q187136 Q404529 Q183584 Q954569 Q304848 Q16666 Q34750 Q570768 Q321778 Q513417 Q11506 Q200603 Q946780 Q1899 Q1009095 Q57756 Q1731 Q360643 Q58401 Q587388
(c(Q34442)|c(Q83620),P609,c(Q515))
action less
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action count
action filter_multi_types
action find_reverse
entity Q23768
relation P609
type Q34442
type Q83620
[ANSWERS] are the terminus locations of less number of roads or thoroughfares than Las Vegas
[[{'concept': 'Q34442'}, {'concept': 'Q83620'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:P609 ?j . ?j rdf:type ontology:Q515 . ?k rdf:type ontology:Q34442 } UNION { ?k property:P609 ?j . ?j rdf:type ontology:Q515 . ?k rdf:type ontology:Q83620 } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?u ) WHERE { ?r property:P609 resource:Q23768 . { VALUES ( ?n ) { ( ontology:Q34442 ) ( ontology:Q83620 ) } . ?r rdf:type ?n } } } . FILTER ( ?p < ?u ) }
Miami Hegang Dubí Deyang Františkovy Lázně Kunming Trutnov Takasago České Budějovice Shangrao Uherský Ostroh Rožmitál pod Třemšínem Ürümqi Fuzhou Kasai Szolnok Wuwei Čáslav Lhasa Busan Hulín Anqing Strasbourg Hohhot Seiyo Slavkov u Brna Ostrov Huangshan City Beihai Tianshui Qinhuangdao Hostivice Písek Leipzig Weifang Kunszentmárton Tucson Tianjin Lovosice Yinchuan Veselí nad Lužnicí Suzhou Shiyan Pohořelice Hefei Dandong Rizhao Leshan Český Těšín Saint Helier Miyako Rožnov pod Radhoštěm Weihai Jeseník Dublin Binzhou Dezhou Mikulov Luoyang Xuchang Lanzhou Vyškov Daqing Nanjing Fuxin Wuhai Hodonín Vsetín Denpasar Yawatahama Lanžhot Kyiv Otrokovice Lianyungang Dresden Suzhou, Anhui Shijiazhuang Mohelnice
Kyiv, Dresden and Suzhou are the terminus locations of less number of roads or thoroughfares than Las Vegas
Kyiv Dresden Suzhou
action less
action union
action find_reverse_tuple_counts
relation terminus location
type city
type road
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action count
action filter_multi_types
action find_reverse
entity Las Vegas
relation terminus location
type road
type thoroughfare
[[{'concept': 'road'}, {'concept': 'thoroughfare'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?j WHERE { { SELECT DISTINCT ?j ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:terminus_location ?j . ?j rdf:type ontology:city . ?k rdf:type ontology:road } UNION { ?k property:terminus_location ?j . ?j rdf:type ontology:city . ?k rdf:type ontology:thoroughfare } } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?u ) WHERE { ?r property:terminus_location resource:Las_Vegas . { VALUES ( ?n ) { ( ontology:road ) ( ontology:thoroughfare ) } . ?r rdf:type ?n } } } . FILTER ( ?p < ?u ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q75110
P609
Q515 Q34442 Q83620
USER
And how about Dandong?
(c(Q34442)|c(Q83620),P609,c(Q515))
action less
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action count
action filter_multi_types
action find_reverse
entity Q75110
relation P609
type Q34442
type Q83620
[[{'concept': 'Q34442'}, {'concept': 'Q83620'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?h ) WHERE { { ?r property:P609 ?u . ?u rdf:type ontology:Q515 . ?r rdf:type ontology:Q34442 } UNION { ?u rdf:type ontology:Q515 . ?r rdf:type ontology:Q83620 . ?r property:P609 ?u } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { ?t property:P609 resource:Q75110 . { { ?t rdf:type ontology:Q34442 } UNION { ?t rdf:type ontology:Q83620 } } } } . FILTER ( ?h < ?i ) }
Dandong
action less
action union
action find_reverse_tuple_counts
relation terminus location
type city
type road
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action count
action filter_multi_types
action find_reverse
entity Dandong
relation terminus location
type road
type thoroughfare
[[{'concept': 'road'}, {'concept': 'thoroughfare'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?h ) WHERE { { ?r property:terminus_location ?u . ?u rdf:type ontology:city . ?r rdf:type ontology:road } UNION { ?u rdf:type ontology:city . ?r rdf:type ontology:thoroughfare . ?r property:terminus_location ?u } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { ?t property:terminus_location resource:Dandong . { { ?t rdf:type ontology:road } UNION { ?t rdf:type ontology:thoroughfare } } } } . FILTER ( ?h < ?i ) }
[]
city road thoroughfare
Q1899 Q1731 Q42622
SYSTEM
Kyiv, Dresden, Suzhou
Q8652 Q349982 Q601254 Q425996 Q756581 Q182852 Q320950 Q869037 Q16506 Q363479 Q1027604 Q2092257 Q16959 Q68481 Q851155 Q181276 Q249007 Q341777 Q5869 Q16520 Q541071 Q360374 Q6602 Q535534 Q819620 Q193724 Q987487 Q180470 Q210365 Q533157 Q58560 Q1630623 Q158245 Q2079 Q217698 Q379160 Q18575 Q1000069 Q211243 Q612646 Q42622 Q71227 Q1641736 Q185684 Q373101 Q426868 Q278877 Q147738 Q502981 Q1008696 Q373023 Q954611 Q1761 Q373687 Q162880 Q682544 Q187136 Q404529 Q183584 Q954569 Q304848 Q16666 Q34750 Q570768 Q321778 Q513417 Q11506 Q200603 Q946780 Q1899 Q1009095 Q57756 Q1731 Q360643 Q58401 Q587388
(c(Q34442)|c(Q83620),P609,c(Q515))
action less
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action count
action filter_multi_types
action find_reverse
entity Q75110
relation P609
type Q34442
type Q83620
[ANSWERS]
[[{'concept': 'Q34442'}, {'concept': 'Q83620'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?h ) WHERE { { ?r property:P609 ?u . ?u rdf:type ontology:Q515 . ?r rdf:type ontology:Q34442 } UNION { ?u rdf:type ontology:Q515 . ?r rdf:type ontology:Q83620 . ?r property:P609 ?u } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { ?t property:P609 resource:Q75110 . { { ?t rdf:type ontology:Q34442 } UNION { ?t rdf:type ontology:Q83620 } } } } . FILTER ( ?h < ?i ) }
Miami Hegang Dubí Deyang Františkovy Lázně Kunming Trutnov Takasago České Budějovice Shangrao Uherský Ostroh Rožmitál pod Třemšínem Ürümqi Fuzhou Kasai Szolnok Wuwei Čáslav Lhasa Busan Hulín Anqing Strasbourg Hohhot Seiyo Slavkov u Brna Ostrov Huangshan City Beihai Tianshui Qinhuangdao Hostivice Písek Leipzig Weifang Kunszentmárton Tucson Lovosice Yinchuan Veselí nad Lužnicí Suzhou Shiyan Pohořelice Hefei Rizhao Leshan Český Těšín Saint Helier Miyako Rožnov pod Radhoštěm Weihai Jeseník Dublin Binzhou Dezhou Mikulov Luoyang Xuchang Lanzhou Vyškov Daqing Nanjing Fuxin Wuhai Hodonín Vsetín Denpasar Yawatahama Lanžhot Kyiv Otrokovice Lianyungang Dresden Suzhou, Anhui Shijiazhuang Mohelnice
Kyiv Dresden Suzhou
action less
action union
action find_reverse_tuple_counts
relation terminus location
type city
type road
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action count
action filter_multi_types
action find_reverse
entity Dandong
relation terminus location
type road
type thoroughfare
[[{'concept': 'road'}, {'concept': 'thoroughfare'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?r ) AS ?h ) WHERE { { ?r property:terminus_location ?u . ?u rdf:type ontology:city . ?r rdf:type ontology:road } UNION { ?u rdf:type ontology:city . ?r rdf:type ontology:thoroughfare . ?r property:terminus_location ?u } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { ?t property:terminus_location resource:Dandong . { { ?t rdf:type ontology:road } UNION { ?t rdf:type ontology:thoroughfare } } } } . FILTER ( ?h < ?i ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P1376
Q15617994 Q515
USER
Which administrative territories have max number of cities have their first city ?
(c(Q515),P1376,Q12564)
action argmax
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
[{'concept': 'Q515'}, 'P1376', 'Q12564']
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:P1376 ?v . ?v rdf:type ontology:Q15617994 . ?o rdf:type ontology:Q515 } GROUP BY ?v } . FILTER ( ?a = ?c ) . { SELECT DISTINCT ( MAX ( ?i ) AS ?c ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:P1376 ?q . ?q rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q515 } GROUP BY ?q } } }
action argmax
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
[{'concept': 'city'}, 'capital of', 'Loir-et-Cher']
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:capital_of ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?o rdf:type ontology:city } GROUP BY ?v } . FILTER ( ?a = ?c ) . { SELECT DISTINCT ( MAX ( ?i ) AS ?c ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:capital_of ?q . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:city } GROUP BY ?q } } }
[]
designation for an administrative territorial entity city
Q252
SYSTEM
Indonesia
Q252
(c(Q515),P1376,Q12564)
action argmax
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
[ANSWER] have max number of cities have their first city
[{'concept': 'Q515'}, 'P1376', 'Q12564']
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:P1376 ?v . ?v rdf:type ontology:Q15617994 . ?o rdf:type ontology:Q515 } GROUP BY ?v } . FILTER ( ?a = ?c ) . { SELECT DISTINCT ( MAX ( ?i ) AS ?c ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:P1376 ?q . ?q rdf:type ontology:Q15617994 . ?w rdf:type ontology:Q515 } GROUP BY ?q } } }
Indonesia
Indonesia have max number of cities have their first city
Indonesia
action argmax
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
[{'concept': 'city'}, 'capital of', 'Loir-et-Cher']
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ?v ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:capital_of ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?o rdf:type ontology:city } GROUP BY ?v } . FILTER ( ?a = ?c ) . { SELECT DISTINCT ( MAX ( ?i ) AS ?c ) { SELECT DISTINCT ?q ( COUNT ( ?w ) AS ?i ) WHERE { ?w property:capital_of ?q . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . ?w rdf:type ontology:city } GROUP BY ?q } } }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q252 Q167592
P27
Q502895
USER
Is Meta Antenen a citizen of that administrative territory ?
(Q167592,P27,Q252)
action is_in
entity Q167592
action find
entity Q252
relation P27
['Q167592', 'P27', 'Q252']
ASK WHERE { resource:Q252 property:P27 resource:Q167592 }
Indonesia Meta Antenen
action is_in
entity Meta Antenen
action find
entity Indonesia
relation country of citizenship
['Meta Antenen', 'country of citizenship', 'Indonesia']
ASK WHERE { resource:Indonesia property:country_of_citizenship resource:Meta_Antenen }
[]
common name
SYSTEM
NO
(Q167592,P27,Q252)
action is_in
entity Q167592
action find
entity Q252
relation P27
[ANSWER]
['Q167592', 'P27', 'Q252']
ASK WHERE { resource:Q252 property:P27 resource:Q167592 }
No
action is_in
entity Meta Antenen
action find
entity Indonesia
relation country of citizenship
['Meta Antenen', 'country of citizenship', 'Indonesia']
ASK WHERE { resource:Indonesia property:country_of_citizenship resource:Meta_Antenen }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q9005 Q956 Q5016275
P190
Q56061
USER
Is Brussels partner town of Beijing and Cadbury Heath ?
(Q9005,P190,Q956) (Q9005,P190,Q5016275)
action is_in
entity Q9005
action intersection
action find_reverse
entity Q956
relation P190
action find_reverse
entity Q5016275
relation P190
['Q9005', 'P190', 'Q956'] ['Q9005', 'P190', 'Q5016275']
ASK WHERE { resource:Q9005 property:P190 resource:Q956 . resource:Q9005 property:P190 resource:Q5016275 }
Brussels Beijing Cadbury Heath
action is_in
entity Brussels
action intersection
action find_reverse
entity Beijing
relation sister city
action find_reverse
entity Cadbury Heath
relation sister city
['Brussels', 'sister city', 'Beijing'] ['Brussels', 'sister city', 'Cadbury Heath']
ASK WHERE { resource:Brussels property:sister_city resource:Beijing . resource:Brussels property:sister_city resource:Cadbury_Heath }
[]
administrative territorial entity
SYSTEM
YES and NO respectively
(Q9005,P190,Q956) (Q9005,P190,Q5016275)
action is_in
entity Q9005
action intersection
action find_reverse
entity Q956
relation P190
action find_reverse
entity Q5016275
relation P190
[ANSWER]
['Q9005', 'P190', 'Q956'] ['Q9005', 'P190', 'Q5016275']
ASK WHERE { resource:Q9005 property:P190 resource:Q956 . resource:Q9005 property:P190 resource:Q5016275 }
YES and NO respectively
action is_in
entity Brussels
action intersection
action find_reverse
entity Beijing
relation sister city
action find_reverse
entity Cadbury Heath
relation sister city
['Brussels', 'sister city', 'Beijing'] ['Brussels', 'sister city', 'Cadbury Heath']
ASK WHERE { resource:Brussels property:sister_city resource:Beijing . resource:Brussels property:sister_city resource:Cadbury_Heath }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q2837 Q956
P190
Q13220204
USER
Which administrative country subdivisions are twin towns of Beijing or Kaluga ?
OR((Q956,P190,c(Q13220204)), (Q2837,P190,c(Q13220204)))
action filter_type
action union
action find
entity Q956
relation P190
action find
entity Q2837
relation P190
type Q13220204
{'OR': [['Q956', 'P190', {'concept': 'Q13220204'}], ['Q2837', 'P190', {'concept': 'Q13220204'}]]}
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q13220204 . { ?q property:P190 ?e . VALUES ( ?q ) { ( resource:Q956 ) ( resource:Q2837 ) } } }
Kaluga Beijing
action filter_type
action union
action find
entity Beijing
relation sister city
action find
entity Kaluga
relation sister city
type second-level administrative country subdivision
{'OR': [['Beijing', 'sister city', {'concept': 'second-level administrative country subdivision'}], ['Kaluga', 'sister city', {'concept': 'second-level administrative country subdivision'}]]}
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:second-level_administrative_country_subdivision . { ?q property:sister_city ?e . VALUES ( ?q ) { ( resource:Beijing ) ( resource:Kaluga ) } } }
[]
second-level administrative country subdivision
Q9899 Q69621
SYSTEM
Amsterdam, Binningen
Q9899 Q69621
OR((Q956,P190,c(Q13220204)), (Q2837,P190,c(Q13220204)))
action filter_type
action union
action find
entity Q956
relation P190
action find
entity Q2837
relation P190
type Q13220204
[ANSWERS] are twin towns of Beijing or Kaluga
{'OR': [['Q956', 'P190', {'concept': 'Q13220204'}], ['Q2837', 'P190', {'concept': 'Q13220204'}]]}
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q13220204 . { ?q property:P190 ?e . VALUES ( ?q ) { ( resource:Q956 ) ( resource:Q2837 ) } } }
Amsterdam Binningen
Amsterdam and Binningen are twin towns of Beijing or Kaluga
Amsterdam Binningen
action filter_type
action union
action find
entity Beijing
relation sister city
action find
entity Kaluga
relation sister city
type second-level administrative country subdivision
{'OR': [['Beijing', 'sister city', {'concept': 'second-level administrative country subdivision'}], ['Kaluga', 'sister city', {'concept': 'second-level administrative country subdivision'}]]}
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:second-level_administrative_country_subdivision . { ?q property:sister_city ?e . VALUES ( ?q ) { ( resource:Beijing ) ( resource:Kaluga ) } } }
[]