Simple Question (Direct)
Simple Question
Q1450100
P937
Q515
USER
Which city is the work location of Max Heuwieser ?
(Q1450100,P937,c(Q515))
action filter_type
action find
entity Q1450100
relation P937
type Q515
['Q1450100', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?z WHERE { resource:Q1450100 property:P937 ?z . ?z rdf:type ontology:Q515 }
Max Heuwieser
action filter_type
action find
entity Max Heuwieser
relation work location
type city
['Max Heuwieser', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?z WHERE { resource:Max_Heuwieser property:work_location ?z . ?z rdf:type ontology:city }
[]
city
Q2978
SYSTEM
Regensburg
Q2978
(Q1450100,P937,c(Q515))
action filter_type
action find
entity Q1450100
relation P937
type Q515
[ANSWER] is the work location of Max Heuwieser
['Q1450100', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?z WHERE { resource:Q1450100 property:P937 ?z . ?z rdf:type ontology:Q515 }
Regensburg
Regensburg is the work location of Max Heuwieser
Regensburg
action filter_type
action find
entity Max Heuwieser
relation work location
type city
['Max Heuwieser', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?z WHERE { resource:Max_Heuwieser property:work_location ?z . ?z rdf:type ontology:city }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2978
P190
Q20667921
USER
Which french administrative division is sister town of that city ?
(Q2978,P190,c(Q20667921))
action filter_type
action find
entity Q2978
relation P190
type Q20667921
['Q2978', 'P190', {'concept': 'Q20667921'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q20667921 . resource:Q2978 property:P190 ?e }
Regensburg
action filter_type
action find
entity Regensburg
relation sister city
type type of french administrative division
['Regensburg', 'sister city', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:type_of_french_administrative_division . resource:Regensburg property:sister_city ?e }
[]
type of french administrative division
Q42168
SYSTEM
Clermont-Ferrand
Q42168
(Q2978,P190,c(Q20667921))
action filter_type
action find
entity Q2978
relation P190
type Q20667921
[ANSWER] is sister town of that city
['Q2978', 'P190', {'concept': 'Q20667921'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q20667921 . resource:Q2978 property:P190 ?e }
Clermont-Ferrand
Clermont-Ferrand is sister town of that city
Clermont-Ferrand
action filter_type
action find
entity Regensburg
relation sister city
type type of french administrative division
['Regensburg', 'sister city', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:type_of_french_administrative_division . resource:Regensburg property:sister_city ?e }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q42168 Q5974 Q107401
P190
Q515
USER
Is that french administrative division twin city of Padang Sidempuan and Sivas ?
(Q42168,P190,Q5974) (Q42168,P190,Q107401)
action is_in
entity Q42168
action intersection
action find_reverse
entity Q5974
relation P190
action find_reverse
entity Q107401
relation P190
['Q42168', 'P190', 'Q5974'] ['Q42168', 'P190', 'Q107401']
ASK WHERE { resource:Q42168 property:P190 resource:Q5974 . resource:Q42168 property:P190 resource:Q107401 }
Clermont-Ferrand Padang Sidempuan Sivas
action is_in
entity Clermont-Ferrand
action intersection
action find_reverse
entity Padang Sidempuan
relation sister city
action find_reverse
entity Sivas
relation sister city
['Clermont-Ferrand', 'sister city', 'Padang Sidempuan'] ['Clermont-Ferrand', 'sister city', 'Sivas']
ASK WHERE { resource:Clermont-Ferrand property:sister_city resource:Padang_Sidempuan . resource:Clermont-Ferrand property:sister_city resource:Sivas }
[]
city
SYSTEM
NO and YES respectively
(Q42168,P190,Q5974) (Q42168,P190,Q107401)
action is_in
entity Q42168
action intersection
action find_reverse
entity Q5974
relation P190
action find_reverse
entity Q107401
relation P190
[ANSWER]
['Q42168', 'P190', 'Q5974'] ['Q42168', 'P190', 'Q107401']
ASK WHERE { resource:Q42168 property:P190 resource:Q5974 . resource:Q42168 property:P190 resource:Q107401 }
NO and YES respectively
action is_in
entity Clermont-Ferrand
action intersection
action find_reverse
entity Padang Sidempuan
relation sister city
action find_reverse
entity Sivas
relation sister city
['Clermont-Ferrand', 'sister city', 'Padang Sidempuan'] ['Clermont-Ferrand', 'sister city', 'Sivas']
ASK WHERE { resource:Clermont-Ferrand property:sister_city resource:Padang_Sidempuan . resource:Clermont-Ferrand property:sister_city resource:Sivas }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q851155
P609
Q515 Q83620 Q34442
USER
Which cities are the destinations of approximately the same number of thoroughfares or roads as Kasai ?
(c(Q83620)|c(Q34442),P609,c(Q515))
action approx
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action count
action filter_multi_types
action find_reverse
entity Q851155
relation P609
type Q83620
type Q34442
[[{'concept': 'Q83620'}, {'concept': 'Q34442'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { { VALUES ( ?s ) { ( ontology:Q83620 ) ( ontology:Q34442 ) } . ?v rdf:type ?s } . ?v property:P609 resource:Q851155 } } . FILTER ( ?u = ?r ) . { SELECT DISTINCT ?k ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:P609 ?k . ?k rdf:type ontology:Q515 . ?h rdf:type ontology:Q34442 } UNION { ?k rdf:type ontology:Q515 . ?h rdf:type ontology:Q83620 . ?h property:P609 ?k } } GROUP BY ?k } }
Kasai
action approx
action union
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action find_reverse_tuple_counts
relation terminus location
type city
type road
action count
action filter_multi_types
action find_reverse
entity Kasai
relation terminus location
type thoroughfare
type road
[[{'concept': 'thoroughfare'}, {'concept': 'road'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { { VALUES ( ?s ) { ( ontology:thoroughfare ) ( ontology:road ) } . ?v rdf:type ?s } . ?v property:terminus_location resource:Kasai } } . FILTER ( ?u = ?r ) . { SELECT DISTINCT ?k ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:terminus_location ?k . ?k rdf:type ontology:city . ?h rdf:type ontology:road } UNION { ?k rdf:type ontology:city . ?h rdf:type ontology:thoroughfare . ?h property:terminus_location ?k } } GROUP BY ?k } }
[]
city thoroughfare road
Q1899 Q42622 Q16506
SYSTEM
Kyiv, Suzhou, České Budějovice
Q8652 Q349982 Q601254 Q425996 Q756581 Q320950 Q869037 Q16506 Q363479 Q1027604 Q2092257 Q16959 Q68481 Q851155 Q181276 Q249007 Q341777 Q5869 Q16520 Q541071 Q360374 Q6602 Q535534 Q819620 Q193724 Q987487 Q180470 Q210365 Q533157 Q1630623 Q158245 Q2079 Q217698 Q379160 Q18575 Q1000069 Q612646 Q42622 Q71227 Q1641736 Q185684 Q373101 Q426868 Q278877 Q147738 Q502981 Q1008696 Q373023 Q954611 Q1761 Q373687 Q162880 Q682544 Q187136 Q404529 Q954569 Q304848 Q16666 Q34750 Q570768 Q321778 Q513417 Q11506 Q200603 Q946780 Q1899 Q1009095 Q57756 Q360643 Q58401 Q587388
(c(Q83620)|c(Q34442),P609,c(Q515))
action approx
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action count
action filter_multi_types
action find_reverse
entity Q851155
relation P609
type Q83620
type Q34442
[ANSWERS] are the destinations of approximately the same number of thoroughfares or roads as Kasai
[[{'concept': 'Q83620'}, {'concept': 'Q34442'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { { VALUES ( ?s ) { ( ontology:Q83620 ) ( ontology:Q34442 ) } . ?v rdf:type ?s } . ?v property:P609 resource:Q851155 } } . FILTER ( ?u = ?r ) . { SELECT DISTINCT ?k ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:P609 ?k . ?k rdf:type ontology:Q515 . ?h rdf:type ontology:Q34442 } UNION { ?k rdf:type ontology:Q515 . ?h rdf:type ontology:Q83620 . ?h property:P609 ?k } } GROUP BY ?k } }
Miami Hegang Dubí Deyang Františkovy Lázně 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 Hostivice Písek Leipzig Weifang Kunszentmárton Tucson Lovosice 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 Vyškov Daqing Nanjing Fuxin Wuhai Hodonín Vsetín Denpasar Yawatahama Lanžhot Kyiv Otrokovice Lianyungang Suzhou, Anhui Shijiazhuang Mohelnice
Kyiv, Suzhou and České Budějovice are the destinations of approximately the same number of thoroughfares or roads as Kasai
Kyiv Suzhou České Budějovice
action approx
action union
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action find_reverse_tuple_counts
relation terminus location
type city
type road
action count
action filter_multi_types
action find_reverse
entity Kasai
relation terminus location
type thoroughfare
type road
[[{'concept': 'thoroughfare'}, {'concept': 'road'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?r ) WHERE { { VALUES ( ?s ) { ( ontology:thoroughfare ) ( ontology:road ) } . ?v rdf:type ?s } . ?v property:terminus_location resource:Kasai } } . FILTER ( ?u = ?r ) . { SELECT DISTINCT ?k ( COUNT ( ?h ) AS ?u ) WHERE { { ?h property:terminus_location ?k . ?k rdf:type ontology:city . ?h rdf:type ontology:road } UNION { ?k rdf:type ontology:city . ?h rdf:type ontology:thoroughfare . ?h property:terminus_location ?k } } GROUP BY ?k } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q181276
P609
Q515 Q83620 Q34442
USER
And what about Szolnok?
(c(Q83620)|c(Q34442),P609,c(Q515))
action approx
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action count
action filter_multi_types
action find_reverse
entity Q181276
relation P609
type Q83620
type Q34442
[[{'concept': 'Q83620'}, {'concept': 'Q34442'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?h ) ?c WHERE { { ?n property:P609 ?c . ?c rdf:type ontology:Q515 . ?n rdf:type ontology:Q83620 } UNION { ?n property:P609 ?c . ?c rdf:type ontology:Q515 . ?n rdf:type ontology:Q34442 } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?x ) WHERE { ?i property:P609 resource:Q181276 . { VALUES ( ?b ) { ( ontology:Q34442 ) ( ontology:Q83620 ) } . ?i rdf:type ?b } } } . FILTER ( ?h = ?x ) }
Szolnok
action approx
action union
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action find_reverse_tuple_counts
relation terminus location
type city
type road
action count
action filter_multi_types
action find_reverse
entity Szolnok
relation terminus location
type thoroughfare
type road
[[{'concept': 'thoroughfare'}, {'concept': 'road'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?h ) ?c WHERE { { ?n property:terminus_location ?c . ?c rdf:type ontology:city . ?n rdf:type ontology:thoroughfare } UNION { ?n property:terminus_location ?c . ?c rdf:type ontology:city . ?n rdf:type ontology:road } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?x ) WHERE { ?i property:terminus_location resource:Szolnok . { VALUES ( ?b ) { ( ontology:road ) ( ontology:thoroughfare ) } . ?i rdf:type ?b } } } . FILTER ( ?h = ?x ) }
[]
city thoroughfare road
Q1899 Q42622 Q16506
SYSTEM
Kyiv, Suzhou, České Budějovice
Q8652 Q349982 Q601254 Q425996 Q756581 Q320950 Q869037 Q16506 Q363479 Q1027604 Q2092257 Q16959 Q68481 Q851155 Q181276 Q249007 Q341777 Q5869 Q16520 Q541071 Q360374 Q6602 Q535534 Q819620 Q193724 Q987487 Q180470 Q210365 Q533157 Q1630623 Q158245 Q2079 Q217698 Q379160 Q18575 Q1000069 Q612646 Q42622 Q71227 Q1641736 Q185684 Q373101 Q426868 Q278877 Q147738 Q502981 Q1008696 Q373023 Q954611 Q1761 Q373687 Q162880 Q682544 Q187136 Q404529 Q954569 Q304848 Q16666 Q34750 Q570768 Q321778 Q513417 Q11506 Q200603 Q946780 Q1899 Q1009095 Q57756 Q360643 Q58401 Q587388
(c(Q83620)|c(Q34442),P609,c(Q515))
action approx
action union
action find_reverse_tuple_counts
relation P609
type Q515
type Q83620
action find_reverse_tuple_counts
relation P609
type Q515
type Q34442
action count
action filter_multi_types
action find_reverse
entity Q181276
relation P609
type Q83620
type Q34442
[ANSWERS]
[[{'concept': 'Q83620'}, {'concept': 'Q34442'}], 'P609', {'concept': 'Q515'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?h ) ?c WHERE { { ?n property:P609 ?c . ?c rdf:type ontology:Q515 . ?n rdf:type ontology:Q83620 } UNION { ?n property:P609 ?c . ?c rdf:type ontology:Q515 . ?n rdf:type ontology:Q34442 } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?x ) WHERE { ?i property:P609 resource:Q181276 . { VALUES ( ?b ) { ( ontology:Q34442 ) ( ontology:Q83620 ) } . ?i rdf:type ?b } } } . FILTER ( ?h = ?x ) }
Miami Hegang Dubí Deyang Františkovy Lázně 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 Hostivice Písek Leipzig Weifang Kunszentmárton Tucson Lovosice 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 Vyškov Daqing Nanjing Fuxin Wuhai Hodonín Vsetín Denpasar Yawatahama Lanžhot Kyiv Otrokovice Lianyungang Suzhou, Anhui Shijiazhuang Mohelnice
Kyiv Suzhou České Budějovice
action approx
action union
action find_reverse_tuple_counts
relation terminus location
type city
type thoroughfare
action find_reverse_tuple_counts
relation terminus location
type city
type road
action count
action filter_multi_types
action find_reverse
entity Szolnok
relation terminus location
type thoroughfare
type road
[[{'concept': 'thoroughfare'}, {'concept': 'road'}], 'terminus location', {'concept': 'city'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?n ) AS ?h ) ?c WHERE { { ?n property:terminus_location ?c . ?c rdf:type ontology:city . ?n rdf:type ontology:thoroughfare } UNION { ?n property:terminus_location ?c . ?c rdf:type ontology:city . ?n rdf:type ontology:road } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?x ) WHERE { ?i property:terminus_location resource:Szolnok . { VALUES ( ?b ) { ( ontology:road ) ( ontology:thoroughfare ) } . ?i rdf:type ?b } } } . FILTER ( ?h = ?x ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q142 Q42622
P190 P17
Q20667921
USER
Which french administrative divisions are twin town of Suzhou and are present in France ?
AND((c(Q20667921),P190,Q42622), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q42622
relation P190
action find_reverse
entity Q142
relation P17
type Q20667921
{'AND': [[{'concept': 'Q20667921'}, 'P190', 'Q42622'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?a WHERE { ?a property:P190 resource:Q42622 . ?a property:P17 resource:Q142 . ?a rdf:type ontology:Q20667921 }
France Suzhou
action filter_type
action intersection
action find_reverse
entity Suzhou
relation sister city
action find_reverse
entity France
relation country
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'sister city', 'Suzhou'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?a WHERE { ?a property:sister_city resource:Suzhou . ?a property:country resource:France . ?a rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q12193
SYSTEM
Brest
Q12193
AND((c(Q20667921),P190,Q42622), (c(Q20667921),P17,Q142))
action filter_type
action intersection
action find_reverse
entity Q42622
relation P190
action find_reverse
entity Q142
relation P17
type Q20667921
[ANSWER] is twin town of Suzhou and is present in France
{'AND': [[{'concept': 'Q20667921'}, 'P190', 'Q42622'], [{'concept': 'Q20667921'}, 'P17', 'Q142']]}
SELECT DISTINCT ?a WHERE { ?a property:P190 resource:Q42622 . ?a property:P17 resource:Q142 . ?a rdf:type ontology:Q20667921 }
Brest
Brest is twin town of Suzhou and is present in France
Brest
action filter_type
action intersection
action find_reverse
entity Suzhou
relation sister city
action find_reverse
entity France
relation country
type type of french administrative division
{'AND': [[{'concept': 'type of french administrative division'}, 'sister city', 'Suzhou'], [{'concept': 'type of french administrative division'}, 'country', 'France']]}
SELECT DISTINCT ?a WHERE { ?a property:sister_city resource:Suzhou . ?a property:country resource:France . ?a rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q12193 Q42622 Q678884
P190
Q515
USER
Is that french administrative division twin city of Suzhou and Fieni ?
(Q12193,P190,Q42622) (Q12193,P190,Q678884)
action is_in
entity Q12193
action intersection
action find_reverse
entity Q42622
relation P190
action find_reverse
entity Q678884
relation P190
['Q12193', 'P190', 'Q42622'] ['Q12193', 'P190', 'Q678884']
ASK WHERE { resource:Q12193 property:P190 resource:Q42622 . resource:Q12193 property:P190 resource:Q678884 }
Brest Suzhou Fieni
action is_in
entity Brest
action intersection
action find_reverse
entity Suzhou
relation sister city
action find_reverse
entity Fieni
relation sister city
['Brest', 'sister city', 'Suzhou'] ['Brest', 'sister city', 'Fieni']
ASK WHERE { resource:Brest property:sister_city resource:Suzhou . resource:Brest property:sister_city resource:Fieni }
[]
city
SYSTEM
YES and NO respectively
(Q12193,P190,Q42622) (Q12193,P190,Q678884)
action is_in
entity Q12193
action intersection
action find_reverse
entity Q42622
relation P190
action find_reverse
entity Q678884
relation P190
[ANSWER]
['Q12193', 'P190', 'Q42622'] ['Q12193', 'P190', 'Q678884']
ASK WHERE { resource:Q12193 property:P190 resource:Q42622 . resource:Q12193 property:P190 resource:Q678884 }
YES and NO respectively
action is_in
entity Brest
action intersection
action find_reverse
entity Suzhou
relation sister city
action find_reverse
entity Fieni
relation sister city
['Brest', 'sister city', 'Suzhou'] ['Brest', 'sister city', 'Fieni']
ASK WHERE { resource:Brest property:sister_city resource:Suzhou . resource:Brest property:sister_city resource:Fieni }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q42168 Q142
P17
Q15617994
USER
Is Clermont-Ferrand present in France ?
(Q42168,P17,Q142)
action is_in
entity Q142
action find
entity Q42168
relation P17
['Q42168', 'P17', 'Q142']
ASK WHERE { resource:Q42168 property:P17 resource:Q142 }
Clermont-Ferrand France
action is_in
entity France
action find
entity Clermont-Ferrand
relation country
['Clermont-Ferrand', 'country', 'France']
ASK WHERE { resource:Clermont-Ferrand property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q42168,P17,Q142)
action is_in
entity Q142
action find
entity Q42168
relation P17
[ANSWER]
['Q42168', 'P17', 'Q142']
ASK WHERE { resource:Q42168 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Clermont-Ferrand
relation country
['Clermont-Ferrand', 'country', 'France']
ASK WHERE { resource:Clermont-Ferrand property:country resource:France }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q42168
P127
Q811979
USER
Which architectural structure is under posessision of that french administrative division ?
action filter_type
action find_reverse
entity Q42168
relation P127
type Q811979
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q811979 . ?v property:P127 resource:Q42168 }
Clermont-Ferrand
action filter_type
action find_reverse
entity Clermont-Ferrand
relation owned by
type architectural structure
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:architectural_structure . ?v property:owned_by resource:Clermont-Ferrand }
[]
architectural structure
Q15948823
SYSTEM
fontaine de la Pyramide
Q15948823
action filter_type
action find_reverse
entity Q42168
relation P127
type Q811979
[ANSWER] is under posessision of that french administrative division
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q811979 . ?v property:P127 resource:Q42168 }
fontaine de la Pyramide
Fontaine de la Pyramide is under posessision of that french administrative division
fontaine de la Pyramide
action filter_type
action find_reverse
entity Clermont-Ferrand
relation owned by
type architectural structure
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:architectural_structure . ?v property:owned_by resource:Clermont-Ferrand }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q15948823 Q7914693
P800
Q502895
USER
Is Vanessa Middleton accredited with being the author of the notable work that architectural structure ?
(Q7914693,P800,Q15948823)
action is_in
entity Q7914693
action find
entity Q15948823
relation P800
['Q7914693', 'P800', 'Q15948823']
ASK WHERE { resource:Q15948823 property:P800 resource:Q7914693 }
fontaine de la Pyramide Vanessa Middleton
action is_in
entity Vanessa Middleton
action find
entity fontaine de la Pyramide
relation notable work
['Vanessa Middleton', 'notable work', 'fontaine de la Pyramide']
ASK WHERE { resource:fontaine_de_la_Pyramide property:notable_work resource:Vanessa_Middleton }
[]
common name
SYSTEM
NO
(Q7914693,P800,Q15948823)
action is_in
entity Q7914693
action find
entity Q15948823
relation P800
[ANSWER]
['Q7914693', 'P800', 'Q15948823']
ASK WHERE { resource:Q15948823 property:P800 resource:Q7914693 }
No
action is_in
entity Vanessa Middleton
action find
entity fontaine de la Pyramide
relation notable work
['Vanessa Middleton', 'notable work', 'fontaine de la Pyramide']
ASK WHERE { resource:fontaine_de_la_Pyramide property:notable_work resource:Vanessa_Middleton }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q42168 Q321640
P47
Q20667921
USER
Does Lac-des-Rouges-Truites have a shared border with Clermont-Ferrand ?
(Q42168,P47,Q321640)
action is_in
entity Q321640
action find
entity Q42168
relation P47
['Q42168', 'P47', 'Q321640']
ASK WHERE { resource:Q42168 property:P47 resource:Q321640 }
Clermont-Ferrand Lac-des-Rouges-Truites
action is_in
entity Lac-des-Rouges-Truites
action find
entity Clermont-Ferrand
relation shares border with
['Clermont-Ferrand', 'shares border with', 'Lac-des-Rouges-Truites']
ASK WHERE { resource:Clermont-Ferrand property:shares_border_with resource:Lac-des-Rouges-Truites }
[]
type of french administrative division
SYSTEM
NO
(Q42168,P47,Q321640)
action is_in
entity Q321640
action find
entity Q42168
relation P47
[ANSWER]
['Q42168', 'P47', 'Q321640']
ASK WHERE { resource:Q42168 property:P47 resource:Q321640 }
No
action is_in
entity Lac-des-Rouges-Truites
action find
entity Clermont-Ferrand
relation shares border with
['Clermont-Ferrand', 'shares border with', 'Lac-des-Rouges-Truites']
ASK WHERE { resource:Clermont-Ferrand property:shares_border_with resource:Lac-des-Rouges-Truites }
[]