Simple Question (Direct)
Simple Question
Q19574021
P20
Q56061
USER
Where did the demise of Walter Blümel occur ?
(Q19574021,P20,c(Q56061))
action filter_type
action find
entity Q19574021
relation P20
type Q56061
['Q19574021', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?b WHERE { resource:Q19574021 property:P20 ?b . ?b rdf:type ontology:Q56061 }
Walter Blümel
action filter_type
action find
entity Walter Blümel
relation place of death
type administrative territorial entity
['Walter Blümel', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Walter_Blümel property:place_of_death ?b . ?b rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q7010
SYSTEM
Leonberg
Q7010
(Q19574021,P20,c(Q56061))
action filter_type
action find
entity Q19574021
relation P20
type Q56061
The demise of Walter Blümel occurred in [ANSWER]
['Q19574021', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?b WHERE { resource:Q19574021 property:P20 ?b . ?b rdf:type ontology:Q56061 }
Leonberg
The demise of Walter Blümel occurred in Leonberg
Leonberg
action filter_type
action find
entity Walter Blümel
relation place of death
type administrative territorial entity
['Walter Blümel', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { resource:Walter_Blümel property:place_of_death ?b . ?b rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q19574021
P937
Q56061
USER
What is the location where Walter Blümel worked ?
(Q19574021,P937,c(Q56061))
action filter_type
action find
entity Q19574021
relation P937
type Q56061
['Q19574021', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?w WHERE { resource:Q19574021 property:P937 ?w . ?w rdf:type ontology:Q56061 }
Walter Blümel
action filter_type
action find
entity Walter Blümel
relation work location
type administrative territorial entity
['Walter Blümel', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Walter_Blümel property:work_location ?w . ?w rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q7010
SYSTEM
Leonberg
Q7010
(Q19574021,P937,c(Q56061))
action filter_type
action find
entity Q19574021
relation P937
type Q56061
The location Walter Blümel worked is in [ANSWER]
['Q19574021', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?w WHERE { resource:Q19574021 property:P937 ?w . ?w rdf:type ontology:Q56061 }
Leonberg
The location Walter Blümel worked is in Leonberg
Leonberg
action filter_type
action find
entity Walter Blümel
relation work location
type administrative territorial entity
['Walter Blümel', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Walter_Blümel property:work_location ?w . ?w rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q7010 Q7397978
P19
Q502895
USER
Does Sadjad Pourghanad have place of birth as that administrative territory ?
(Q7397978,P19,Q7010)
action is_in
entity Q7397978
action find
entity Q7010
relation P19
['Q7397978', 'P19', 'Q7010']
ASK WHERE { resource:Q7010 property:P19 resource:Q7397978 }
Leonberg Sadjad Pourghanad
action is_in
entity Sadjad Pourghanad
action find
entity Leonberg
relation place of birth
['Sadjad Pourghanad', 'place of birth', 'Leonberg']
ASK WHERE { resource:Leonberg property:place_of_birth resource:Sadjad_Pourghanad }
[]
common name
SYSTEM
NO
(Q7397978,P19,Q7010)
action is_in
entity Q7397978
action find
entity Q7010
relation P19
[ANSWER]
['Q7397978', 'P19', 'Q7010']
ASK WHERE { resource:Q7010 property:P19 resource:Q7397978 }
No
action is_in
entity Sadjad Pourghanad
action find
entity Leonberg
relation place of birth
['Sadjad Pourghanad', 'place of birth', 'Leonberg']
ASK WHERE { resource:Leonberg property:place_of_birth resource:Sadjad_Pourghanad }
[]
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 atleast 3 administrative territories ?
(c(Q2235308),P532,c(Q56061))
action count
action atleast
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 3
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?p ) AS ?j ) WHERE { ?o property:P532 ?p . ?o rdf:type ontology:Q2235308 . ?p rdf:type ontology:Q56061 } GROUP BY ?o } . FILTER ( ?j >= 3 ) }
action count
action atleast
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
value 3
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?p ) AS ?j ) WHERE { ?o property:port_of_registry ?p . ?o rdf:type ontology:ship_type . ?p rdf:type ontology:administrative_territorial_entity } GROUP BY ?o } . FILTER ( ?j >= 3 ) }
[]
administrative territorial entity ship type
SYSTEM
1
Q11707059
(c(Q2235308),P532,c(Q56061))
action count
action atleast
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 3
[ANSWER]
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?p ) AS ?j ) WHERE { ?o property:P532 ?p . ?o rdf:type ontology:Q2235308 . ?p rdf:type ontology:Q56061 } GROUP BY ?o } . FILTER ( ?j >= 3 ) }
MS Arrow
1
action count
action atleast
action find_tuple_counts
relation port of registry
type ship type
type administrative territorial entity
value 3
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) WHERE { { SELECT DISTINCT ?o ( COUNT ( ?p ) AS ?j ) WHERE { ?o property:port_of_registry ?p . ?o rdf:type ontology:ship_type . ?p rdf:type ontology:administrative_territorial_entity } GROUP BY ?o } . FILTER ( ?j >= 3 ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P532
Q56061 Q2235308
USER
Which ship types have around 1 administrative territory as their base harbour ?
(c(Q2235308),P532,c(Q56061))
action approx
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 1
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?k ) WHERE { ?q property:P532 ?y . ?q rdf:type ontology:Q2235308 . ?y rdf:type ontology:Q56061 } GROUP BY ?q } . FILTER ( ?k = 1 ) }
action approx
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 ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?k ) WHERE { ?q property:port_of_registry ?y . ?q rdf:type ontology:ship_type . ?y rdf:type ontology:administrative_territorial_entity } GROUP BY ?q } . FILTER ( ?k = 1 ) }
[]
administrative territorial entity ship type
Q35462 Q192381 Q983141
SYSTEM
RMS Aquitania, MS Oasis of the Seas, MY Sam Simon
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 approx
action find_tuple_counts
relation P532
type Q2235308
type Q56061
value 1
[ANSWERS] have around 1 administrative territory as their base harbour
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?k ) WHERE { ?q property:P532 ?y . ?q rdf:type ontology:Q2235308 . ?y rdf:type ontology:Q56061 } GROUP BY ?q } . FILTER ( ?k = 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
RMS Aquitania, MS Oasis of the Seas and MY Sam Simon have around 1 administrative territory as their base harbour
RMS Aquitania MS Oasis of the Seas MY Sam Simon
action approx
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 ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?k ) WHERE { ?q property:port_of_registry ?y . ?q rdf:type ontology:ship_type . ?y rdf:type ontology:administrative_territorial_entity } GROUP BY ?q } . FILTER ( ?k = 1 ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q10515149
P361
Q852446 Q781132 Q2235308
USER
How many ship types are a component of approximately the same number of US administrative territories and military branches as HMS Starkodder ?
(c(Q2235308),P361,c(Q852446)|c(Q781132))
action count
action approx
action union
action find_tuple_counts
relation P361
type Q2235308
type Q852446
action find_tuple_counts
relation P361
type Q2235308
type Q781132
action count
action filter_multi_types
action find
entity Q10515149
relation P361
type Q852446
type Q781132
[{'concept': 'Q2235308'}, 'P361', [{'concept': 'Q852446'}, {'concept': 'Q781132'}]]
SELECT DISTINCT ( COUNT ( ?s ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) ?s WHERE { { ?s property:P361 ?q . ?s rdf:type ontology:Q2235308 . ?q rdf:type ontology:Q852446 } UNION { ?q rdf:type ontology:Q781132 . ?s rdf:type ontology:Q2235308 . ?s property:P361 ?q } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?c ) WHERE { resource:Q10515149 property:P361 ?z . { ?z rdf:type ?b . VALUES ( ?b ) { ( ontology:Q852446 ) ( ontology:Q781132 ) } } } } . FILTER ( ?t = ?c ) }
HMS Starkodder
action count
action approx
action union
action find_tuple_counts
relation part of
type ship type
type administrative territorial entity of the United States
action find_tuple_counts
relation part of
type ship type
type military branch
action count
action filter_multi_types
action find
entity HMS Starkodder
relation part of
type administrative territorial entity of the United States
type military branch
[{'concept': 'ship type'}, 'part of', [{'concept': 'administrative territorial entity of the United States'}, {'concept': 'military branch'}]]
SELECT DISTINCT ( COUNT ( ?s ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) ?s WHERE { { ?s property:part_of ?q . ?s rdf:type ontology:ship_type . ?q rdf:type ontology:administrative_territorial_entity_of_the_United_States } UNION { ?q rdf:type ontology:military_branch . ?s rdf:type ontology:ship_type . ?s property:part_of ?q } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?c ) WHERE { resource:HMS_Starkodder property:part_of ?z . { ?z rdf:type ?b . VALUES ( ?b ) { ( ontology:administrative_territorial_entity_of_the_United_States ) ( ontology:military_branch ) } } } } . FILTER ( ?t = ?c ) }
[]
administrative territorial entity of the United States military branch ship type
SYSTEM
85
Q1548116 Q1548297 Q5014271 Q666573 Q11195149 Q22093778 Q899710 Q4283250 Q10515200 Q10515071 Q10515018 Q568690 Q10515014 Q10515149 Q983141 Q2190094 Q627265 Q571254 Q3108402 Q18127069 Q10513229 Q321512 Q23000801 Q4239456 Q5014319 Q4206096 Q5473685 Q141667 Q527214 Q4583713 Q18396307 Q10513252 Q549323 Q11880097 Q666604 Q1044197 Q4206088 Q10515032 Q11230681 Q2017178 Q10513243 Q3052778 Q962470 Q4382971 Q10515259 Q10515028 Q4052028 Q4424465 Q2454760 Q3461623 Q4057871 Q10513273 Q177597 Q15853630 Q10513279 Q4251532 Q633215 Q2402934 Q3177009 Q15022033 Q4057864 Q15662618 Q715894 Q2878119 Q571295 Q512615 Q10515132 Q10515133 Q1591548 Q10515194 Q10513219 Q4352711 Q17510793 Q1746393 Q549368 Q10515163 Q10514984 Q19573932 Q625427 Q2203656 Q10515155 Q757178 Q3275455 Q10513220 Q3508854
(c(Q2235308),P361,c(Q852446)|c(Q781132))
action count
action approx
action union
action find_tuple_counts
relation P361
type Q2235308
type Q852446
action find_tuple_counts
relation P361
type Q2235308
type Q781132
action count
action filter_multi_types
action find
entity Q10515149
relation P361
type Q852446
type Q781132
[ANSWER]
[{'concept': 'Q2235308'}, 'P361', [{'concept': 'Q852446'}, {'concept': 'Q781132'}]]
SELECT DISTINCT ( COUNT ( ?s ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) ?s WHERE { { ?s property:P361 ?q . ?s rdf:type ontology:Q2235308 . ?q rdf:type ontology:Q852446 } UNION { ?q rdf:type ontology:Q781132 . ?s rdf:type ontology:Q2235308 . ?s property:P361 ?q } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?c ) WHERE { resource:Q10515149 property:P361 ?z . { ?z rdf:type ?b . VALUES ( ?b ) { ( ontology:Q852446 ) ( ontology:Q781132 ) } } } } . FILTER ( ?t = ?c ) }
HMS Dido bucentaur CSS Chattahoochee German submarine U-38 C-class destroyer Soviet submarine K-3 Victoria Marshal Shaposhnikov HMS Tordön HMS Piteå HMS Malmö German submarine U-42 HMS Magne HMS Starkodder MY Sam Simon German submarine U-660 Rainbow Warrior I German submarine U-43 HMS Gladan Soviet submarine L-22 HMS Halmstad Alster Nadezhda Krasny Kavkaz CSS Muscogee Soviet submarine K-21 HMS Göteborg HMS Terror Köln-class frigate merchant raider Russian frigate Admiral Grigorovich HMS Händig German submarine U-44 M-class destroyer German submarine U-37 USS Ranger Soviet submarine K-1 HMS Munin L-class destroyer Oker HMS Hugin Petr Velikiy HMS Falken Russian submarine Pskov HMS Väktaren HMS Mode German submarine U-361 Smetlivyy Russian submarine Yury Dolgorukiy Sailing Ship Columbia Admiral Panteleyev HMS Kalmar naval ship Wannsee HMS Kaparen Soviet submarine L-4 German submarine U-39 HMS Bermuda Odyssey transatlantic liner RFS Admiral Levchenko Djurgården 8 Japanese destroyer Yukikaze Alassalmi Ferry German submarine U-41 HMS Erebus HMS Snapphanen HMS Spejaren Havhingsten fra Glendalough HMS Tirfing HMS Gävle HMS Sundsvall Soviet submarine L-21 lifeboat German submarine U-40 HMS Styrbjörn HMS Luleå D-class destroyer Soviet submarine L-3 HMS Formidable HMS Stockholm HMS Belfast Japanese cruiser Tatsuta HMS Gålö Sea Launch Commander
85
action count
action approx
action union
action find_tuple_counts
relation part of
type ship type
type administrative territorial entity of the United States
action find_tuple_counts
relation part of
type ship type
type military branch
action count
action filter_multi_types
action find
entity HMS Starkodder
relation part of
type administrative territorial entity of the United States
type military branch
[{'concept': 'ship type'}, 'part of', [{'concept': 'administrative territorial entity of the United States'}, {'concept': 'military branch'}]]
SELECT DISTINCT ( COUNT ( ?s ) AS ?l ) WHERE { { SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) ?s WHERE { { ?s property:part_of ?q . ?s rdf:type ontology:ship_type . ?q rdf:type ontology:administrative_territorial_entity_of_the_United_States } UNION { ?q rdf:type ontology:military_branch . ?s rdf:type ontology:ship_type . ?s property:part_of ?q } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?c ) WHERE { resource:HMS_Starkodder property:part_of ?z . { ?z rdf:type ?b . VALUES ( ?b ) { ( ontology:administrative_territorial_entity_of_the_United_States ) ( ontology:military_branch ) } } } } . FILTER ( ?t = ?c ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q983141
P138
Q502895
USER
How many people are the etymology of MY Sam Simon ?
(Q983141,P138,c(Q502895))
action count
action filter_type
action find
entity Q983141
relation P138
type Q502895
['Q983141', 'P138', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ontology:Q502895 . resource:Q983141 property:P138 ?c }
MY Sam Simon
action count
action filter_type
action find
entity MY Sam Simon
relation named after
type common name
['MY Sam Simon', 'named after', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ontology:common_name . resource:MY_Sam_Simon property:named_after ?c }
[]
common name
SYSTEM
1
Q365090
(Q983141,P138,c(Q502895))
action count
action filter_type
action find
entity Q983141
relation P138
type Q502895
[ANSWER]
['Q983141', 'P138', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ontology:Q502895 . resource:Q983141 property:P138 ?c }
Sam Simon
1
action count
action filter_type
action find
entity MY Sam Simon
relation named after
type common name
['MY Sam Simon', 'named after', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { ?c rdf:type ontology:common_name . resource:MY_Sam_Simon property:named_after ?c }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q607485
Q502895
USER
And how about Mösting?
(Q607485,P138,c(Q502895))
action count
action filter_type
action find
entity Q607485
relation P138
type Q502895
['Q607485', 'P138', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?k ) WHERE { ?u rdf:type ontology:Q502895 . resource:Q607485 property:P138 ?u }
Mösting
action count
action filter_type
action find
entity Mösting
relation named after
type common name
['Mösting', 'named after', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?k ) WHERE { ?u rdf:type ontology:common_name . resource:Mösting property:named_after ?u }
[]
common name
SYSTEM
1
(Q607485,P138,c(Q502895))
action count
action filter_type
action find
entity Q607485
relation P138
type Q502895
[ANSWER]
['Q607485', 'P138', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?k ) WHERE { ?u rdf:type ontology:Q502895 . resource:Q607485 property:P138 ?u }
1
action count
action filter_type
action find
entity Mösting
relation named after
type common name
['Mösting', 'named after', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?k ) WHERE { ?u rdf:type ontology:common_name . resource:Mösting property:named_after ?u }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P532
Q56061 Q2235308
USER
Which administrative territories serves as the port of registry of atleast 6 ship types ?
(c(Q2235308),P532,c(Q56061))
action atleast
action find_reverse_tuple_counts
relation P532
type Q56061
type Q2235308
value 6
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:P532 ?d . ?d rdf:type ontology:Q56061 . ?g rdf:type ontology:Q2235308 } GROUP BY ?d } . FILTER ( ?u >= 6 ) }
action atleast
action find_reverse_tuple_counts
relation port of registry
type administrative territorial entity
type ship type
value 6
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:port_of_registry ?d . ?d rdf:type ontology:administrative_territorial_entity . ?g rdf:type ontology:ship_type } GROUP BY ?d } . FILTER ( ?u >= 6 ) }
[]
administrative territorial entity ship type
Q24826 Q2467
SYSTEM
Liverpool, Nassau
Q24826 Q2467
(c(Q2235308),P532,c(Q56061))
action atleast
action find_reverse_tuple_counts
relation P532
type Q56061
type Q2235308
value 6
[ANSWERS] serve as the port of registry of atleast 6 ship types
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q56061'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:P532 ?d . ?d rdf:type ontology:Q56061 . ?g rdf:type ontology:Q2235308 } GROUP BY ?d } . FILTER ( ?u >= 6 ) }
Liverpool Nassau
Liverpool and Nassau serve as the port of registry of atleast 6 ship types
Liverpool Nassau
action atleast
action find_reverse_tuple_counts
relation port of registry
type administrative territorial entity
type ship type
value 6
[{'concept': 'ship type'}, 'port of registry', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?u ) WHERE { ?g property:port_of_registry ?d . ?d rdf:type ontology:administrative_territorial_entity . ?g rdf:type ontology:ship_type } GROUP BY ?d } . FILTER ( ?u >= 6 ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q7874939 Q10515149
P137
Q781132
USER
Which military branches operate HMS Starkodder or USS Tyler ?
OR((Q10515149,P137,c(Q781132)), (Q7874939,P137,c(Q781132)))
action filter_type
action union
action find
entity Q10515149
relation P137
action find
entity Q7874939
relation P137
type Q781132
{'OR': [['Q10515149', 'P137', {'concept': 'Q781132'}], ['Q7874939', 'P137', {'concept': 'Q781132'}]]}
SELECT DISTINCT ?i WHERE { { ?n property:P137 ?i . VALUES ( ?n ) { ( resource:Q10515149 ) ( resource:Q7874939 ) } } . ?i rdf:type ontology:Q781132 }
USS Tyler HMS Starkodder
action filter_type
action union
action find
entity HMS Starkodder
relation operator
action find
entity USS Tyler
relation operator
type military branch
{'OR': [['HMS Starkodder', 'operator', {'concept': 'military branch'}], ['USS Tyler', 'operator', {'concept': 'military branch'}]]}
SELECT DISTINCT ?i WHERE { { ?n property:operator ?i . VALUES ( ?n ) { ( resource:HMS_Starkodder ) ( resource:USS_Tyler ) } } . ?i rdf:type ontology:military_branch }
[]
military branch
Q11220 Q1141396
SYSTEM
United States Navy, Swedish Navy
Q11220 Q1141396
OR((Q10515149,P137,c(Q781132)), (Q7874939,P137,c(Q781132)))
action filter_type
action union
action find
entity Q10515149
relation P137
action find
entity Q7874939
relation P137
type Q781132
[ANSWERS] operate HMS Starkodder or USS Tyler
{'OR': [['Q10515149', 'P137', {'concept': 'Q781132'}], ['Q7874939', 'P137', {'concept': 'Q781132'}]]}
SELECT DISTINCT ?i WHERE { { ?n property:P137 ?i . VALUES ( ?n ) { ( resource:Q10515149 ) ( resource:Q7874939 ) } } . ?i rdf:type ontology:Q781132 }
United States Navy Swedish Navy
United States Navy and Swedish Navy operate HMS Starkodder or USS Tyler
United States Navy Swedish Navy
action filter_type
action union
action find
entity HMS Starkodder
relation operator
action find
entity USS Tyler
relation operator
type military branch
{'OR': [['HMS Starkodder', 'operator', {'concept': 'military branch'}], ['USS Tyler', 'operator', {'concept': 'military branch'}]]}
SELECT DISTINCT ?i WHERE { { ?n property:operator ?i . VALUES ( ?n ) { ( resource:HMS_Starkodder ) ( resource:USS_Tyler ) } } . ?i rdf:type ontology:military_branch }
[]