Simple Question (Direct)
Simple Question
Q1681933
P27
Q15617994
USER
Which administrative territory does Jan Karlsson belong to ?
(Q1681933,P27,c(Q15617994))
action filter_type
action find
entity Q1681933
relation P27
type Q15617994
['Q1681933', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { resource:Q1681933 property:P27 ?y . ?y rdf:type ontology:Q15617994 }
Jan Karlsson
action filter_type
action find
entity Jan Karlsson
relation country of citizenship
type designation for an administrative territorial entity
['Jan Karlsson', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { resource:Jan_Karlsson property:country_of_citizenship ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q34
SYSTEM
Sweden
Q34
(Q1681933,P27,c(Q15617994))
action filter_type
action find
entity Q1681933
relation P27
type Q15617994
Jan Karlsson belongs to [ANSWER]
['Q1681933', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { resource:Q1681933 property:P27 ?y . ?y rdf:type ontology:Q15617994 }
Sweden
Jan Karlsson belongs to Sweden
Sweden
action filter_type
action find
entity Jan Karlsson
relation country of citizenship
type designation for an administrative territorial entity
['Jan Karlsson', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { resource:Jan_Karlsson property:country_of_citizenship ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1681933
P106
Q12737077
USER
What is the job of that person ?
(Q34,P106,c(Q12737077))
action filter_type
action find
entity Q1681933
relation P106
type Q12737077
['Q34', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q12737077 . resource:Q1681933 property:P106 ?s }
Jan Karlsson
action filter_type
action find
entity Jan Karlsson
relation occupation
type occupation
['Sweden', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:occupation . resource:Jan_Karlsson property:occupation ?s }
[]
occupation
Q937857
SYSTEM
association football player
Q937857
(Q34,P106,c(Q12737077))
action filter_type
action find
entity Q1681933
relation P106
type Q12737077
The job of that person is an [ANSWER]
['Q34', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q12737077 . resource:Q1681933 property:P106 ?s }
association football player
The job of that person is an association football player
association football player
action filter_type
action find
entity Jan Karlsson
relation occupation
type occupation
['Sweden', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:occupation . resource:Jan_Karlsson property:occupation ?s }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q34
P937
Q502895 Q43229
USER
How many people or organizations have Sweden as their work location ?
(c(Q502895),P937,Q34) (c(Q43229),P937,Q34)
action count
action union
action filter_type
action find_reverse
entity Q34
relation P937
type Q502895
action filter_type
action find_reverse
entity Q34
relation P937
type Q43229
[{'concept': 'Q502895'}, 'P937', 'Q34'] [{'concept': 'Q43229'}, 'P937', 'Q34']
SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { { ?d property:P937 resource:Q34 . ?d rdf:type ontology:Q502895 } UNION { ?d property:P937 resource:Q34 . ?d rdf:type ontology:Q43229 } }
Sweden
action count
action union
action filter_type
action find_reverse
entity Sweden
relation work location
type common name
action filter_type
action find_reverse
entity Sweden
relation work location
type organization
[{'concept': 'common name'}, 'work location', 'Sweden'] [{'concept': 'organization'}, 'work location', 'Sweden']
SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { { ?d property:work_location resource:Sweden . ?d rdf:type ontology:common_name } UNION { ?d property:work_location resource:Sweden . ?d rdf:type ontology:organization } }
[]
common name organization
SYSTEM
3
Q39658 Q3218964 Q10511139
(c(Q502895),P937,Q34) (c(Q43229),P937,Q34)
action count
action union
action filter_type
action find_reverse
entity Q34
relation P937
type Q502895
action filter_type
action find_reverse
entity Q34
relation P937
type Q43229
[ANSWER]
[{'concept': 'Q502895'}, 'P937', 'Q34'] [{'concept': 'Q43229'}, 'P937', 'Q34']
SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { { ?d property:P937 resource:Q34 . ?d rdf:type ontology:Q502895 } UNION { ?d property:P937 resource:Q34 . ?d rdf:type ontology:Q43229 } }
Carl Peter Thunberg Laurens de Geer The French Theater of Gustav III
3
action count
action union
action filter_type
action find_reverse
entity Sweden
relation work location
type common name
action filter_type
action find_reverse
entity Sweden
relation work location
type organization
[{'concept': 'common name'}, 'work location', 'Sweden'] [{'concept': 'organization'}, 'work location', 'Sweden']
SELECT DISTINCT ( COUNT ( ?d ) AS ?f ) WHERE { { ?d property:work_location resource:Sweden . ?d rdf:type ontology:common_name } UNION { ?d property:work_location resource:Sweden . ?d rdf:type ontology:organization } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q34
P206
Q1267889 Q15324
USER
How many waterways and bodies of water are located next to Sweden ?
(Q34,P206,c(Q1267889)) (Q34,P206,c(Q15324))
action count
action union
action filter_type
action find
entity Q34
relation P206
type Q1267889
action filter_type
action find
entity Q34
relation P206
type Q15324
['Q34', 'P206', {'concept': 'Q1267889'}] ['Q34', 'P206', {'concept': 'Q15324'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { VALUES ( ?l ) { ( ontology:Q1267889 ) ( ontology:Q15324 ) } . ?k rdf:type ?l }
Sweden
action count
action union
action filter_type
action find
entity Sweden
relation located next to body of water
type waterway
action filter_type
action find
entity Sweden
relation located next to body of water
type body of water
['Sweden', 'located next to body of water', {'concept': 'waterway'}] ['Sweden', 'located next to body of water', {'concept': 'body of water'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { VALUES ( ?l ) { ( ontology:waterway ) ( ontology:body_of_water ) } . ?k rdf:type ?l }
[]
waterway body of water
SYSTEM
1 waterways and 1 bodies of water
Q131716 Q545
(Q34,P206,c(Q1267889)) (Q34,P206,c(Q15324))
action count
action union
action filter_type
action find
entity Q34
relation P206
type Q1267889
action filter_type
action find
entity Q34
relation P206
type Q15324
[ANSWER]
['Q34', 'P206', {'concept': 'Q1267889'}] ['Q34', 'P206', {'concept': 'Q15324'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { VALUES ( ?l ) { ( ontology:Q1267889 ) ( ontology:Q15324 ) } . ?k rdf:type ?l }
Kattegat Baltic Sea
1 waterways and 1 bodies of water
action count
action union
action filter_type
action find
entity Sweden
relation located next to body of water
type waterway
action filter_type
action find
entity Sweden
relation located next to body of water
type body of water
['Sweden', 'located next to body of water', {'concept': 'waterway'}] ['Sweden', 'located next to body of water', {'concept': 'body of water'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?e ) WHERE { VALUES ( ?l ) { ( ontology:waterway ) ( ontology:body_of_water ) } . ?k rdf:type ?l }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q34
P36
Q56061
USER
Which administrative territory is known as the capital of that administrative territory ?
action filter_type
action find
entity Q34
relation P36
type Q56061
SELECT DISTINCT ?s WHERE { resource:Q34 property:P36 ?s . ?s rdf:type ontology:Q56061 }
Sweden
action filter_type
action find
entity Sweden
relation capital
type administrative territorial entity
SELECT DISTINCT ?s WHERE { resource:Sweden property:capital ?s . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1754
SYSTEM
Stockholm
Q1754
action filter_type
action find
entity Q34
relation P36
type Q56061
[ANSWER] is known as the capital of that administrative territory
SELECT DISTINCT ?s WHERE { resource:Q34 property:P36 ?s . ?s rdf:type ontology:Q56061 }
Stockholm
Stockholm is known as the capital of that administrative territory
Stockholm
action filter_type
action find
entity Sweden
relation capital
type administrative territorial entity
SELECT DISTINCT ?s WHERE { resource:Sweden property:capital ?s . ?s rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q1754 Q7328216
P19
Q502895
USER
Was Richard Owen born at that administrative territory ?
(Q7328216,P19,Q1754)
action is_in
entity Q7328216
action find
entity Q1754
relation P19
['Q7328216', 'P19', 'Q1754']
ASK WHERE { resource:Q1754 property:P19 resource:Q7328216 }
Stockholm Richard Owen
action is_in
entity Richard Owen
action find
entity Stockholm
relation place of birth
['Richard Owen', 'place of birth', 'Stockholm']
ASK WHERE { resource:Stockholm property:place_of_birth resource:Richard_Owen }
[]
common name
SYSTEM
NO
(Q7328216,P19,Q1754)
action is_in
entity Q7328216
action find
entity Q1754
relation P19
[ANSWER]
['Q7328216', 'P19', 'Q1754']
ASK WHERE { resource:Q1754 property:P19 resource:Q7328216 }
No
action is_in
entity Richard Owen
action find
entity Stockholm
relation place of birth
['Richard Owen', 'place of birth', 'Stockholm']
ASK WHERE { resource:Stockholm property:place_of_birth resource:Richard_Owen }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P532
Q56061 Q2235308
USER
How many ship types have their base port as exactly 1 administrative territory ?
(c(Q2235308),P532,c(Q56061))
action count
action equal
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 1
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?p ) WHERE { ?z property:P532 ?i . ?z rdf:type ontology:Q2235308 . ?i rdf:type ontology:Q56061 } GROUP BY ?z } . FILTER ( ?p = 1 ) }
action count
action equal
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
value 1
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?p ) WHERE { ?z property:port_of_registry ?i . ?z rdf:type ontology:ship_type . ?i rdf:type ontology:administrative_territorial_entity } GROUP BY ?z } . FILTER ( ?p = 1 ) }
[]
administrative territorial entity ship type
SYSTEM
65
Q2992316 Q2301456 Q983141 Q133606 Q26988086 Q168474 Q300311 Q20489530 Q5338632 Q7499755 Q2124429 Q1293488 Q1017179 Q7120838 Q7393546 Q25173 Q14493958 Q18128240 Q664284 Q26988094 Q21196329 Q10659251 Q477173 Q130373 Q19608222 Q1026780 Q22342351 Q15662618 Q16854668 Q1325547 Q761593 Q26883829 Q2124449 Q778649 Q3952367 Q11705702 Q24039469 Q751584 Q6930211 Q16629249 Q497065 Q3053251 Q1439419 Q23579589 Q4686475 Q26987769 Q11891639 Q321007 Q6720006 Q741803 Q338340 Q7120888 Q215692 Q917188 Q18213370 Q1129910 Q2714360 Q16852551 Q1514126 Q18711004 Q1339472 Q3558075 Q192381 Q493616 Q35462
(c(Q2235308),P532,c(Q56061))
action count
action equal
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 1
[ANSWER]
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?p ) WHERE { ?z property:P532 ?i . ?z rdf:type ontology:Q2235308 . ?i rdf:type ontology:Q56061 } GROUP BY ?z } . FILTER ( ?p = 1 ) }
HSC Condor Rapide MS Viking XPRS MY Sam Simon MS Star Meteora MV Arctic Sunrise A MS Harmony of the Seas Edith Mærsk Shoalway RMS Samaria MV Esperanza SS Burutu PS Empress Queen SS Empire Airman RMS Titanic Mærsk Mc-Kinney Møller MS Quantum of the Seas Pioneering Spirit Emma Victory SS Argentina S/S Drottningholm Emma Mærsk Admiral Makarov HSC Condor Liberation SS California Modern Express Djurgården 8 Mein Schiff 4 MT Mastera CMA CGM Marco Polo VOS Sympathy RMS St Helena Eclipse MS Norman Atlantic MV Ascension HSC Highspeed 5 MS Express Samina msy Wind Song Varnek (ship, 1974-2010) MV Baltic Ace Empire Sandy Vitus Bering MV Christinaki Adventure British Explorer SS Coccolita RMS Olympic MV Royal Daffodil RMS Mauretania MV Boudicca SS Prince of Wales HMHS Britannic MS Brilliance of the Seas Anthem of the Seas SS Potsdam MS Empress MS Epsilon MS Marco Polo MV Hoegh Osaka RMS Empress of Ireland Vieux Crabe MS Oasis of the Seas Royal Clipper RMS Aquitania
65
action count
action equal
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
value 1
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?p ) WHERE { ?z property:port_of_registry ?i . ?z rdf:type ontology:ship_type . ?i rdf:type ontology:administrative_territorial_entity } GROUP BY ?z } . FILTER ( ?p = 1 ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q34
P710
Q1190554
USER
Which events have Sweden as their participant ?
(c(Q1190554),P710,Q34)
action filter_type
action find_reverse
entity Q34
relation P710
type Q1190554
[{'concept': 'Q1190554'}, 'P710', 'Q34']
SELECT DISTINCT ?x WHERE { ?x property:P710 resource:Q34 . ?x rdf:type ontology:Q1190554 }
Sweden
action filter_type
action find_reverse
entity Sweden
relation participant
type event
[{'concept': 'event'}, 'participant', 'Sweden']
SELECT DISTINCT ?x WHERE { ?x property:participant resource:Sweden . ?x rdf:type ontology:event }
[]
event
Q705409 Q541566 Q1606958
SYSTEM
Battle of Helsingborg, Battle of Kolding, Battle of Bogesund
Q3500708 Q705409 Q546505 Q46003 Q138025 Q736268 Q367025 Q155726 Q663359 Q682482 Q541566 Q1606958
(c(Q1190554),P710,Q34)
action filter_type
action find_reverse
entity Q34
relation P710
type Q1190554
[ANSWERS] have Sweden as their participant
[{'concept': 'Q1190554'}, 'P710', 'Q34']
SELECT DISTINCT ?x WHERE { ?x property:P710 resource:Q34 . ?x rdf:type ontology:Q1190554 }
Battle of Stäket Battle of Helsingborg Battle of Stegeborg Battle of Rajovka Siege of Veprik Finnish War Battle of Lena Battle of Narva Battle of Holowczyn Russo-Swedish War Battle of Kolding Battle of Bogesund
Battle of Helsingborg, Battle of Kolding and Battle of Bogesund have Sweden as their participant
Battle of Helsingborg Battle of Kolding Battle of Bogesund
action filter_type
action find_reverse
entity Sweden
relation participant
type event
[{'concept': 'event'}, 'participant', 'Sweden']
SELECT DISTINCT ?x WHERE { ?x property:participant resource:Sweden . ?x rdf:type ontology:event }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q34
P30
Q2221906
USER
Which geographic location is that administrative territory a part of ?
(Q705409,P30,c(Q2221906)) (Q541566,P30,c(Q2221906)) (Q1606958,P30,c(Q2221906))
action filter_type
action find
entity Q34
relation P30
type Q2221906
['Q705409', 'P30', {'concept': 'Q2221906'}] ['Q541566', 'P30', {'concept': 'Q2221906'}] ['Q1606958', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?p WHERE { resource:Q34 property:P30 ?p . ?p rdf:type ontology:Q2221906 }
Sweden
action filter_type
action find
entity Sweden
relation continent
type geographic location
['Battle of Helsingborg', 'continent', {'concept': 'geographic location'}] ['Battle of Kolding', 'continent', {'concept': 'geographic location'}] ['Battle of Bogesund', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?p WHERE { resource:Sweden property:continent ?p . ?p rdf:type ontology:geographic_location }
[]
geographic location
Q46
SYSTEM
Europe
Q46
(Q705409,P30,c(Q2221906)) (Q541566,P30,c(Q2221906)) (Q1606958,P30,c(Q2221906))
action filter_type
action find
entity Q34
relation P30
type Q2221906
[ANSWER] is that administrative territory a part of
['Q705409', 'P30', {'concept': 'Q2221906'}] ['Q541566', 'P30', {'concept': 'Q2221906'}] ['Q1606958', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?p WHERE { resource:Q34 property:P30 ?p . ?p rdf:type ontology:Q2221906 }
Europe
Europe is that administrative territory a part of
Europe
action filter_type
action find
entity Sweden
relation continent
type geographic location
['Battle of Helsingborg', 'continent', {'concept': 'geographic location'}] ['Battle of Kolding', 'continent', {'concept': 'geographic location'}] ['Battle of Bogesund', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?p WHERE { resource:Sweden property:continent ?p . ?p rdf:type ontology:geographic_location }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Indirect
P610
Q14524493 Q2221906
USER
Which geographic locations are around the same number of terrains the highest peak of as that geographic location ?
(c(Q2221906),P610,c(Q14524493))
action approx
action find_tuple_counts
relation P610
type Q2221906
type Q14524493
action count
action filter_type
action find
entity Q46
relation P610
type Q2221906
[{'concept': 'Q2221906'}, 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?u = ?e ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { ?n rdf:type ontology:Q2221906 . resource:Q46 property:P610 ?n } } . { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?u ) WHERE { ?x property:P610 ?a . ?x rdf:type ontology:Q2221906 . ?a rdf:type ontology:Q14524493 } GROUP BY ?x } }
action approx
action find_tuple_counts
relation highest point
type geographic location
type terrain
action count
action filter_type
action find
entity Europe
relation highest point
type geographic location
[{'concept': 'geographic location'}, 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?u = ?e ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { ?n rdf:type ontology:geographic_location . resource:Europe property:highest_point ?n } } . { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?u ) WHERE { ?x property:highest_point ?a . ?x rdf:type ontology:geographic_location . ?a rdf:type ontology:terrain } GROUP BY ?x } }
[]
terrain geographic location
Q51 Q46 Q49
SYSTEM
Antarctica, Europe, North America
Q5063897 Q15266363 Q6721952 Q2721679 Q5328630 Q7581425 Q51 Q5598693 Q6729888 Q4921364 Q27479 Q7205132 Q6875911 Q5929184 Q6649061 Q46 Q6858288 Q5127364 Q49 Q315496 Q4920954 Q7968217
(c(Q2221906),P610,c(Q14524493))
action approx
action find_tuple_counts
relation P610
type Q2221906
type Q14524493
action count
action filter_type
action find
entity Q46
relation P610
type Q2221906
[ANSWERS] are around the same number of terrains the highest peak of as that geographic location
[{'concept': 'Q2221906'}, 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?u = ?e ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { ?n rdf:type ontology:Q2221906 . resource:Q46 property:P610 ?n } } . { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?u ) WHERE { ?x property:P610 ?a . ?x rdf:type ontology:Q2221906 . ?a rdf:type ontology:Q14524493 } GROUP BY ?x } }
Cerbat Mountains Pilot Range (New Hampshire) MacIntyre Mountains Warner Mountains East Humboldt Range Spruce Mountain Antarctica Great Balsam Mountains Magdalena Mountains Black Mountains Northern Europe Plott Balsams Misquah Hills Hueco Mountains Little Belt Mountains Europe Mill Creek Mountain Clark Range North America Upper Harz Black Hills Wapack Range
Antarctica, Europe and North America are around the same number of terrains the highest peak of as that geographic location
Antarctica Europe North America
action approx
action find_tuple_counts
relation highest point
type geographic location
type terrain
action count
action filter_type
action find
entity Europe
relation highest point
type geographic location
[{'concept': 'geographic location'}, 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?u = ?e ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { ?n rdf:type ontology:geographic_location . resource:Europe property:highest_point ?n } } . { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?u ) WHERE { ?x property:highest_point ?a . ?x rdf:type ontology:geographic_location . ?a rdf:type ontology:terrain } GROUP BY ?x } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q7759428 Q46
P138 P180
Q15619164
USER
Which abstract beings are namesakes of Europe and are expressed in The Rape of Europa ?
AND((Q46,P138,c(Q15619164)), (Q7759428,P180,c(Q15619164)))
action filter_type
action intersection
action find
entity Q46
relation P138
action find
entity Q7759428
relation P180
type Q15619164
{'AND': [['Q46', 'P138', {'concept': 'Q15619164'}], ['Q7759428', 'P180', {'concept': 'Q15619164'}]]}
SELECT DISTINCT ?w WHERE { resource:Q46 property:P138 ?w . resource:Q7759428 property:P180 ?w . ?w rdf:type ontology:Q15619164 }
The Rape of Europa Europe
action filter_type
action intersection
action find
entity Europe
relation named after
action find
entity The Rape of Europa
relation depicts
type abstract being
{'AND': [['Europe', 'named after', {'concept': 'abstract being'}], ['The Rape of Europa', 'depicts', {'concept': 'abstract being'}]]}
SELECT DISTINCT ?w WHERE { resource:Europe property:named_after ?w . resource:The_Rape_of_Europa property:depicts ?w . ?w rdf:type ontology:abstract_being }
[]
abstract being
Q165170
SYSTEM
Europa
Q165170
AND((Q46,P138,c(Q15619164)), (Q7759428,P180,c(Q15619164)))
action filter_type
action intersection
action find
entity Q46
relation P138
action find
entity Q7759428
relation P180
type Q15619164
[ANSWER] is namesakes of Europe and is expressed in The Rape of [ANSWER]
{'AND': [['Q46', 'P138', {'concept': 'Q15619164'}], ['Q7759428', 'P180', {'concept': 'Q15619164'}]]}
SELECT DISTINCT ?w WHERE { resource:Q46 property:P138 ?w . resource:Q7759428 property:P180 ?w . ?w rdf:type ontology:Q15619164 }
Europa
Europa is namesakes of Europe and is expressed in The Rape of Europa
Europa
action filter_type
action intersection
action find
entity Europe
relation named after
action find
entity The Rape of Europa
relation depicts
type abstract being
{'AND': [['Europe', 'named after', {'concept': 'abstract being'}], ['The Rape of Europa', 'depicts', {'concept': 'abstract being'}]]}
SELECT DISTINCT ?w WHERE { resource:Europe property:named_after ?w . resource:The_Rape_of_Europa property:depicts ?w . ?w rdf:type ontology:abstract_being }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q165170 Q746583
P180
Q2342494
USER
Does Histories demonstrate that abstract being ?
(Q746583,P180,Q165170)
action is_in
entity Q165170
action find
entity Q746583
relation P180
['Q746583', 'P180', 'Q165170']
ASK WHERE { resource:Q746583 property:P180 resource:Q165170 }
Europa Histories
action is_in
entity Europa
action find
entity Histories
relation depicts
['Histories', 'depicts', 'Europa']
ASK WHERE { resource:Histories property:depicts resource:Europa }
[]
collectable
SYSTEM
YES
(Q746583,P180,Q165170)
action is_in
entity Q165170
action find
entity Q746583
relation P180
[ANSWER]
['Q746583', 'P180', 'Q165170']
ASK WHERE { resource:Q746583 property:P180 resource:Q165170 }
Yes
action is_in
entity Europa
action find
entity Histories
relation depicts
['Histories', 'depicts', 'Europa']
ASK WHERE { resource:Histories property:depicts resource:Europa }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q49 Q130018
P610
Q14524493
USER
Is Denali the zenith of North America ?
(Q49,P610,Q130018)
action is_in
entity Q130018
action find
entity Q49
relation P610
['Q49', 'P610', 'Q130018']
ASK WHERE { resource:Q49 property:P610 resource:Q130018 }
North America Denali
action is_in
entity Denali
action find
entity North America
relation highest point
['North America', 'highest point', 'Denali']
ASK WHERE { resource:North_America property:highest_point resource:Denali }
[]
terrain
SYSTEM
YES
(Q49,P610,Q130018)
action is_in
entity Q130018
action find
entity Q49
relation P610
[ANSWER]
['Q49', 'P610', 'Q130018']
ASK WHERE { resource:Q49 property:P610 resource:Q130018 }
Yes
action is_in
entity Denali
action find
entity North America
relation highest point
['North America', 'highest point', 'Denali']
ASK WHERE { resource:North_America property:highest_point resource:Denali }
[]