Simple Question (Direct)
Simple Question
Q1971589
P516
Q2235308
USER
What powers USS Charlotte ?
(Q1971589,P516,c(Q2235308))
action filter_type
action find
entity Q1971589
relation P516
type Q2235308
['Q1971589', 'P516', {'concept': 'Q2235308'}]
SELECT DISTINCT ?w WHERE { resource:Q1971589 property:P516 ?w . ?w rdf:type ontology:Q2235308 }
USS Charlotte
action filter_type
action find
entity USS Charlotte
relation powerplant
type ship type
['USS Charlotte', 'powerplant', {'concept': 'ship type'}]
SELECT DISTINCT ?w WHERE { resource:USS_Charlotte property:powerplant ?w . ?w rdf:type ontology:ship_type }
[]
ship type
Q1142489
SYSTEM
nuclear marine propulsion
Q1142489
(Q1971589,P516,c(Q2235308))
action filter_type
action find
entity Q1971589
relation P516
type Q2235308
[ANSWER] powers USS Charlotte
['Q1971589', 'P516', {'concept': 'Q2235308'}]
SELECT DISTINCT ?w WHERE { resource:Q1971589 property:P516 ?w . ?w rdf:type ontology:Q2235308 }
nuclear marine propulsion
Nuclear marine propulsion powers USS Charlotte
nuclear marine propulsion
action filter_type
action find
entity USS Charlotte
relation powerplant
type ship type
['USS Charlotte', 'powerplant', {'concept': 'ship type'}]
SELECT DISTINCT ?w WHERE { resource:USS_Charlotte property:powerplant ?w . ?w rdf:type ontology:ship_type }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q7873721 Q1971589
P137
Q781132
USER
Which military branches operates USS Charlotte and USS Saco ?
AND((Q1971589,P137,c(Q781132)), (Q7873721,P137,c(Q781132)))
action filter_type
action intersection
action find
entity Q1971589
relation P137
action find
entity Q7873721
relation P137
type Q781132
{'AND': [['Q1971589', 'P137', {'concept': 'Q781132'}], ['Q7873721', 'P137', {'concept': 'Q781132'}]]}
SELECT DISTINCT ?w WHERE { resource:Q1971589 property:P137 ?w . resource:Q7873721 property:P137 ?w . ?w rdf:type ontology:Q781132 }
USS Saco USS Charlotte
action filter_type
action intersection
action find
entity USS Charlotte
relation operator
action find
entity USS Saco
relation operator
type military branch
{'AND': [['USS Charlotte', 'operator', {'concept': 'military branch'}], ['USS Saco', 'operator', {'concept': 'military branch'}]]}
SELECT DISTINCT ?w WHERE { resource:USS_Charlotte property:operator ?w . resource:USS_Saco property:operator ?w . ?w rdf:type ontology:military_branch }
[]
military branch
Q11220
SYSTEM
United States Navy
Q11220
AND((Q1971589,P137,c(Q781132)), (Q7873721,P137,c(Q781132)))
action filter_type
action intersection
action find
entity Q1971589
relation P137
action find
entity Q7873721
relation P137
type Q781132
[ANSWER] operates USS Charlotte and USS Saco
{'AND': [['Q1971589', 'P137', {'concept': 'Q781132'}], ['Q7873721', 'P137', {'concept': 'Q781132'}]]}
SELECT DISTINCT ?w WHERE { resource:Q1971589 property:P137 ?w . resource:Q7873721 property:P137 ?w . ?w rdf:type ontology:Q781132 }
United States Navy
United States Navy operates USS Charlotte and USS Saco
United States Navy
action filter_type
action intersection
action find
entity USS Charlotte
relation operator
action find
entity USS Saco
relation operator
type military branch
{'AND': [['USS Charlotte', 'operator', {'concept': 'military branch'}], ['USS Saco', 'operator', {'concept': 'military branch'}]]}
SELECT DISTINCT ?w WHERE { resource:USS_Charlotte property:operator ?w . resource:USS_Saco property:operator ?w . ?w rdf:type ontology:military_branch }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q11220 Q5239601
P241
Q502895
USER
Does David Scotus have that one as the related army branch ?
(Q5239601,P241,Q11220)
action is_in
entity Q5239601
action find
entity Q11220
relation P241
['Q5239601', 'P241', 'Q11220']
ASK WHERE { resource:Q11220 property:P241 resource:Q5239601 }
United States Navy David Scotus
action is_in
entity David Scotus
action find
entity United States Navy
relation military branch
['David Scotus', 'military branch', 'United States Navy']
ASK WHERE { resource:United_States_Navy property:military_branch resource:David_Scotus }
[]
common name
SYSTEM
NO
(Q5239601,P241,Q11220)
action is_in
entity Q5239601
action find
entity Q11220
relation P241
[ANSWER]
['Q5239601', 'P241', 'Q11220']
ASK WHERE { resource:Q11220 property:P241 resource:Q5239601 }
No
action is_in
entity David Scotus
action find
entity United States Navy
relation military branch
['David Scotus', 'military branch', 'United States Navy']
ASK WHERE { resource:United_States_Navy property:military_branch resource:David_Scotus }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q1971589 Q7257522 Q1508818
P176
Q43229
USER
Was USS Charlotte produced by Huntington Ingalls Industries and International Diabetes Federation ?
(Q1971589,P176,Q7257522) (Q1971589,P176,Q1508818)
action is_in
entity Q1971589
action intersection
action find_reverse
entity Q7257522
relation P176
action find_reverse
entity Q1508818
relation P176
['Q1971589', 'P176', 'Q7257522'] ['Q1971589', 'P176', 'Q1508818']
ASK WHERE { resource:Q1971589 property:P176 resource:Q7257522 . resource:Q1971589 property:P176 resource:Q1508818 }
USS Charlotte Huntington Ingalls Industries International Diabetes Federation
action is_in
entity USS Charlotte
action intersection
action find_reverse
entity Huntington Ingalls Industries
relation manufacturer
action find_reverse
entity International Diabetes Federation
relation manufacturer
['USS Charlotte', 'manufacturer', 'Huntington Ingalls Industries'] ['USS Charlotte', 'manufacturer', 'International Diabetes Federation']
ASK WHERE { resource:USS_Charlotte property:manufacturer resource:Huntington_Ingalls_Industries . resource:USS_Charlotte property:manufacturer resource:International_Diabetes_Federation }
[]
organization
SYSTEM
YES and NO respectively
(Q1971589,P176,Q7257522) (Q1971589,P176,Q1508818)
action is_in
entity Q1971589
action intersection
action find_reverse
entity Q7257522
relation P176
action find_reverse
entity Q1508818
relation P176
[ANSWER]
['Q1971589', 'P176', 'Q7257522'] ['Q1971589', 'P176', 'Q1508818']
ASK WHERE { resource:Q1971589 property:P176 resource:Q7257522 . resource:Q1971589 property:P176 resource:Q1508818 }
YES and NO respectively
action is_in
entity USS Charlotte
action intersection
action find_reverse
entity Huntington Ingalls Industries
relation manufacturer
action find_reverse
entity International Diabetes Federation
relation manufacturer
['USS Charlotte', 'manufacturer', 'Huntington Ingalls Industries'] ['USS Charlotte', 'manufacturer', 'International Diabetes Federation']
ASK WHERE { resource:USS_Charlotte property:manufacturer resource:Huntington_Ingalls_Industries . resource:USS_Charlotte property:manufacturer resource:International_Diabetes_Federation }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1971589
P504
Q23397
USER
What is the name of the home port of USS Charlotte ?
(Q1971589,P504,c(Q23397))
action filter_type
action find
entity Q1971589
relation P504
type Q23397
['Q1971589', 'P504', {'concept': 'Q23397'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q23397 . resource:Q1971589 property:P504 ?q }
USS Charlotte
action filter_type
action find
entity USS Charlotte
relation home port
type lake
['USS Charlotte', 'home port', {'concept': 'lake'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:lake . resource:USS_Charlotte property:home_port ?q }
[]
lake
Q127091
SYSTEM
Pearl Harbor
Q127091
(Q1971589,P504,c(Q23397))
action filter_type
action find
entity Q1971589
relation P504
type Q23397
The name of the home port of USS Charlotte is named [ANSWER]
['Q1971589', 'P504', {'concept': 'Q23397'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q23397 . resource:Q1971589 property:P504 ?q }
Pearl Harbor
The name of the home port of USS Charlotte is named Pearl Harbor
Pearl Harbor
action filter_type
action find
entity USS Charlotte
relation home port
type lake
['USS Charlotte', 'home port', {'concept': 'lake'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:lake . resource:USS_Charlotte property:home_port ?q }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q6138545
Q23397
USER
And how about USS Haddock?
(Q6138545,P504,c(Q23397))
action filter_type
action find
entity Q6138545
relation P504
type Q23397
['Q6138545', 'P504', {'concept': 'Q23397'}]
SELECT DISTINCT ?e WHERE { resource:Q6138545 property:P504 ?e . ?e rdf:type ontology:Q23397 }
USS Haddock
action filter_type
action find
entity USS Haddock
relation home port
type lake
['USS Haddock', 'home port', {'concept': 'lake'}]
SELECT DISTINCT ?e WHERE { resource:USS_Haddock property:home_port ?e . ?e rdf:type ontology:lake }
[]
lake
Q127091
SYSTEM
Pearl Harbor
Q127091
(Q6138545,P504,c(Q23397))
action filter_type
action find
entity Q6138545
relation P504
type Q23397
[ANSWER]
['Q6138545', 'P504', {'concept': 'Q23397'}]
SELECT DISTINCT ?e WHERE { resource:Q6138545 property:P504 ?e . ?e rdf:type ontology:Q23397 }
Pearl Harbor
Pearl Harbor
action filter_type
action find
entity USS Haddock
relation home port
type lake
['USS Haddock', 'home port', {'concept': 'lake'}]
SELECT DISTINCT ?e WHERE { resource:USS_Haddock property:home_port ?e . ?e rdf:type ontology:lake }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q513869
P520
Q153556
USER
What are the weapons used by Oscar-class submarine ?
(Q513869,P520,c(Q153556))
action filter_type
action find
entity Q513869
relation P520
type Q153556
['Q513869', 'P520', {'concept': 'Q153556'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q153556 . resource:Q513869 property:P520 ?e }
Oscar-class submarine
action filter_type
action find
entity Oscar-class submarine
relation armament
type ranged weapon
['Oscar-class submarine', 'armament', {'concept': 'ranged weapon'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:ranged_weapon . resource:Oscar-class_submarine property:armament ?e }
[]
ranged weapon
Q457919 Q1132506
SYSTEM
Type 65 torpedo, Type 53
Q457919 Q1132506
(Q513869,P520,c(Q153556))
action filter_type
action find
entity Q513869
relation P520
type Q153556
The weapons used by Oscar-class submarine are [ANSWERS]
['Q513869', 'P520', {'concept': 'Q153556'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q153556 . resource:Q513869 property:P520 ?e }
Type 65 torpedo Type 53
The weapons used by Oscar-class submarine are Type 65 torpedo and Type 53
Type 65 torpedo Type 53
action filter_type
action find
entity Oscar-class submarine
relation armament
type ranged weapon
['Oscar-class submarine', 'armament', {'concept': 'ranged weapon'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:ranged_weapon . resource:Oscar-class_submarine property:armament ?e }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q513869
P138
Q8063
USER
Which rock is the etymology of that classification scheme ?
(Q457919,P138,c(Q8063)) (Q1132506,P138,c(Q8063))
action filter_type
action find
entity Q513869
relation P138
type Q8063
['Q457919', 'P138', {'concept': 'Q8063'}] ['Q1132506', 'P138', {'concept': 'Q8063'}]
SELECT DISTINCT ?h WHERE { resource:Q513869 property:P138 ?h . ?h rdf:type ontology:Q8063 }
Oscar-class submarine
action filter_type
action find
entity Oscar-class submarine
relation named after
type rock
['Type 65 torpedo', 'named after', {'concept': 'rock'}] ['Type 53', 'named after', {'concept': 'rock'}]
SELECT DISTINCT ?h WHERE { resource:Oscar-class_submarine property:named_after ?h . ?h rdf:type ontology:rock }
[]
rock
Q41177
SYSTEM
granite
Q41177
(Q457919,P138,c(Q8063)) (Q1132506,P138,c(Q8063))
action filter_type
action find
entity Q513869
relation P138
type Q8063
[ANSWER] is the etymology of that classification scheme
['Q457919', 'P138', {'concept': 'Q8063'}] ['Q1132506', 'P138', {'concept': 'Q8063'}]
SELECT DISTINCT ?h WHERE { resource:Q513869 property:P138 ?h . ?h rdf:type ontology:Q8063 }
granite
Granite is the etymology of that classification scheme
granite
action filter_type
action find
entity Oscar-class submarine
relation named after
type rock
['Type 65 torpedo', 'named after', {'concept': 'rock'}] ['Type 53', 'named after', {'concept': 'rock'}]
SELECT DISTINCT ?h WHERE { resource:Oscar-class_submarine property:named_after ?h . ?h rdf:type ontology:rock }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q543593
P520
Q15142889 Q17444171 Q2235308
USER
How many ship types have approximately the same number of weapon families or models as an instrument for fighting as SMS Dresden ?
(c(Q2235308),P520,c(Q15142889)|c(Q17444171))
action count
action approx
action union
action find_tuple_counts
relation P520
type Q2235308
type Q15142889
action find_tuple_counts
relation P520
type Q2235308
type Q17444171
action count
action filter_multi_types
action find
entity Q543593
relation P520
type Q15142889
type Q17444171
[{'concept': 'Q2235308'}, 'P520', [{'concept': 'Q15142889'}, {'concept': 'Q17444171'}]]
SELECT DISTINCT ( COUNT ( ?g ) AS ?h ) WHERE { FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { resource:Q543593 property:P520 ?x . { VALUES ( ?z ) { ( ontology:Q15142889 ) ( ontology:Q17444171 ) } . ?x rdf:type ?z } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) ?g WHERE { { ?j rdf:type ontology:Q15142889 . ?g rdf:type ontology:Q2235308 . ?g property:P520 ?j } UNION { ?g property:P520 ?j . ?j rdf:type ontology:Q17444171 . ?g rdf:type ontology:Q2235308 } } GROUP BY ?g } }
SMS Dresden
action count
action approx
action union
action find_tuple_counts
relation armament
type ship type
type weapon family
action find_tuple_counts
relation armament
type ship type
type model
action count
action filter_multi_types
action find
entity SMS Dresden
relation armament
type weapon family
type model
[{'concept': 'ship type'}, 'armament', [{'concept': 'weapon family'}, {'concept': 'model'}]]
SELECT DISTINCT ( COUNT ( ?g ) AS ?h ) WHERE { FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { resource:SMS_Dresden property:armament ?x . { VALUES ( ?z ) { ( ontology:weapon_family ) ( ontology:model ) } . ?x rdf:type ?z } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) ?g WHERE { { ?j rdf:type ontology:weapon_family . ?g rdf:type ontology:ship_type . ?g property:armament ?j } UNION { ?g property:armament ?j . ?j rdf:type ontology:model . ?g rdf:type ontology:ship_type } } GROUP BY ?g } }
[]
weapon family model ship type
SYSTEM
458
Q10406832 Q10543422 Q15106468 Q10548373 Q2302386 Q1935618 Q1971557 Q10513131 Q1483548 Q632460 Q10515146 Q1711338 Q10515142 Q10515141 Q4993491 Q10515149 Q10513162 Q1053842 Q5632310 Q1422734 Q368419 Q1806597 Q14876137 Q1422739 Q980570 Q49644 Q10513142 Q7867460 Q1470212 Q5632896 Q2164060 Q521029 Q598581 Q7869921 Q1788034 Q2301794 Q2099267 Q2712823 Q11707025 Q10515269 Q10515264 Q6019761 Q10515262 Q10515263 Q10515261 Q1433093 Q5971123 Q10515037 Q10515034 Q968667 Q10515032 Q10513085 Q10418071 Q10513087 Q14875868 Q7873660 Q14876166 Q10513243 Q5634430 Q10513246 Q10513244 Q478298 Q2469792 Q1715770 Q10515085 Q10515088 Q5631250 Q2302353 Q52905 Q268042 Q52901 Q5970896 Q1356916 Q32771 Q7867085 Q6138545 Q1786716 Q2301237 Q280710 Q1862142 Q632503 Q1999797 Q821843 Q5636029 Q5636027 Q5636024 Q2003791 Q761869 Q616488 Q2003799 Q10513105 Q10513104 Q10513107 Q924151 Q10513102 Q10513109 Q10513108 Q1790239 Q10515198 Q10515211 Q10515194 Q10515197 Q10515190 Q453570 Q10515144 Q472986 Q7870497 Q1734868 Q1755178 Q7868733 Q10515103 Q10515102 Q10515107 Q5964938 Q749868 Q4352800 Q2003808 Q7870122 Q6141356 Q747983 Q6144695 Q6141293 Q14876127 Q14876126 Q10513208 Q10513207 Q1788001 Q14876128 Q10513200 Q10515153 Q13417754 Q1718601 Q1337120 Q6719343 Q2029200 Q1754034 Q1260634 Q902746 Q1781111 Q5227796 Q10515073 Q10515071 Q10515077 Q1063228 Q10515075 Q5968178 Q2302375 Q2003758 Q301073 Q3264869 Q1094682 Q923779 Q5399416 Q3006912 Q1971589 Q499055 Q748913 Q5231481 Q13360784 Q543593 Q1272420 Q4347031 Q10513152 Q10513150 Q11288203 Q2000932 Q13230044 Q498760 Q587557 Q6132017 Q1459982 Q10513270 Q928457 Q10515253 Q10515159 Q10515251 Q10515255 Q6138608 Q10515259 Q10515258 Q10515155 Q10515157 Q10515022 Q10515286 Q10515027 Q10515028 Q4052028 Q2000900 Q974939 Q762384 Q2976013 Q1230074 Q14876176 Q10513273 Q2470102 Q10513279 Q1029271 Q6138306 Q1784063 Q10513189 Q1201247 Q10526917 Q2091881 Q2091889 Q1140782 Q670415 Q371294 Q10515220 Q1810041 Q10514997 Q685632 Q7873770 Q600125 Q5229866 Q5634350 Q10515160 Q10515163 Q1467248 Q10515166 Q1566425 Q1687136 Q4352643 Q3211336 Q52897 Q2006011 Q165916 Q10515116 Q976846 Q10515113 Q10515118 Q10515119 Q535556 Q10690966 Q10513233 Q10513232 Q10513231 Q10513230 Q10513237 Q10513239 Q4405311 Q6144946 Q10515175 Q11712993 Q206562 Q2005518 Q10515200 Q10515201 Q10515203 Q7869705 Q10515018 Q1344146 Q4384713 Q10515013 Q962041 Q10515014 Q18011162 Q1789356 Q4992389 Q7872657 Q5634552 Q975988 Q6144738 Q8196093 Q10515064 Q616899 Q10515061 Q10515062 Q298395 Q2471518 Q7874656 Q922727 Q503453 Q1778502 Q1787992 Q1783702 Q4352822 Q1815806 Q15104547 Q508531 Q2001742 Q1596193 Q11323769 Q10513166 Q7874158 Q10517501 Q699713 Q10515231 Q1249407 Q10515233 Q10515237 Q1545471 Q2166261 Q5232273 Q631148 Q1061474 Q567967 Q7867378 Q604857 Q10515245 Q10515243 Q10515055 Q10515054 Q10515057 Q10515051 Q10515053 Q358966 Q7874470 Q7871815 Q1761221 Q14876153 Q1578014 Q7874906 Q631540 Q1474340 Q2061875 Q21979631 Q10723800 Q1472052 Q5971096 Q10513197 Q6138564 Q6138562 Q10513191 Q10495781 Q2001200 Q10513296 Q6138393 Q5633432 Q10514984 Q1631200 Q1601564 Q5226794 Q10513121 Q1628755 Q10513124 Q15117029 Q2471257 Q10515173 Q10515171 Q10515176 Q1573507 Q7869984 Q710732 Q667833 Q820203 Q639642 Q1725498 Q1371659 Q10513290 Q993944 Q694531 Q43464 Q1674076 Q1760185 Q10513221 Q7276440 Q10513229 Q6138349 Q7874949 Q1240203 Q3742738 Q10515279 Q10515274 Q10515277 Q11348852 Q844743 Q5473685 Q4352906 Q10513093 Q10513092 Q391061 Q10513097 Q10513095 Q10513098 Q1453075 Q205637 Q10513251 Q4352699 Q2093829 Q10513252 Q10513255 Q4352756 Q1973096 Q10515093 Q1437413 Q510214 Q2117332 Q847672 Q1356922 Q5636040 Q4346742 Q1287639 Q632457 Q1739268 Q688771 Q2005990 Q174818 Q204342 Q5636039 Q5636031 Q5636034 Q1559709 Q2454760 Q3381131 Q1444474 Q10513079 Q10513171 Q10513174 Q1359363 Q217132 Q10515223 Q10515189 Q10515188 Q6719921 Q10515224 Q7869683 Q7869682 Q10515187 Q748373 Q1783713 Q919768 Q7875454 Q10513091 Q10515139 Q4352812 Q10515132 Q10515133 Q10515046 Q7408497 Q570993 Q4442824 Q10513219 Q463161 Q4352711 Q7871781 Q6144928 Q2402934 Q6138496 Q647787 Q1621675 Q935791 Q7874855 Q1683284 Q1379656 Q4354884 Q4354888 Q1052123 Q2117295 Q1816732 Q1971094 Q13230646 Q2001217 Q819167 Q639502 Q663075 Q10513281 Q5971155 Q1380250
(c(Q2235308),P520,c(Q15142889)|c(Q17444171))
action count
action approx
action union
action find_tuple_counts
relation P520
type Q2235308
type Q15142889
action find_tuple_counts
relation P520
type Q2235308
type Q17444171
action count
action filter_multi_types
action find
entity Q543593
relation P520
type Q15142889
type Q17444171
[ANSWER]
[{'concept': 'Q2235308'}, 'P520', [{'concept': 'Q15142889'}, {'concept': 'Q17444171'}]]
SELECT DISTINCT ( COUNT ( ?g ) AS ?h ) WHERE { FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { resource:Q543593 property:P520 ?x . { VALUES ( ?z ) { ( ontology:Q15142889 ) ( ontology:Q17444171 ) } . ?x rdf:type ?z } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) ?g WHERE { { ?j rdf:type ontology:Q15142889 . ?g rdf:type ontology:Q2235308 . ?g property:P520 ?j } UNION { ?g property:P520 ?j . ?j rdf:type ontology:Q17444171 . ?g rdf:type ontology:Q2235308 } } GROUP BY ?g } }
Altair class training ship Kaparen-class patrol boat Cigogne Koster-class mine countermeasures vessel USS Pasadena USS Pennsylvania USS La Jolla HMS Bredskär USS Wasp USS Sam Houston HMS Spårö USS Lewis and Clark HMS Sprängskär HMS Sprängaren HMS Näcken HMS Starkodder HMS Djärv Tarawa-class amphibious assault ship HMS Enterprise USS Michigan USS Seahorse USS Philadelphia HMS Altaskär USS Ohio USS Cheyenne France HMS Capella USS Aspro USS Honolulu HMS Iron Duke HMS Vanguard Kirov-class battlecruiser USS Dallas USS Gurnard Kresta I-class cruiser USS George Washington Plejad-class torpedo boat USS Tautog HMS Forester (1911) HMS Wasa HMS Västerås Indian HMS Västervik HMS Vållö HMS Västergötland Landsort-class mine countermeasures vessel USS Sturgeon HMS Najad HMS Munter USS Maryland HMS Munin HMS Altair Arkö-class minesweeper HMS Altair Patrol craft type 60 USS SC-18 HMS Flaggskär HMS Hugin HMS St Albans HMS Huvudskär HMS Hurtig USS Samuel B. Roberts USS John C. Calhoun USS Wyoming HMS Rapp HMS Regulus HMS Alaric USS Memphis HMS Drottning Victoria Ukrainian submarine Zaporizhzhia HMS Sverige USS Ray USS Baton Rouge HNLMS Walrus USS Agamenticus USS Haddock USS Alaska USS Bainbridge HMS Invincible USS Boston USS John Marshall USS Tucson USS Francis Scott Key HMS Gotland HMS Carlskrona Ejdern-class sonobuoy vessel USS Albuquerque Grisha class corvette USS Leahy USS Newport News HMS Arkösund HMS Arkö HMS Astrea USS Maine HMS Arholma HMS Astrea HMS Aspö Kanin-class destroyer HMS Tjörn HMS Umeå HMS Tirfing HMS Tjurkö HMS Tapperheten HMS Bulwark HMS Spårö USS Bremerton USS James Madison Kashin-class destroyer USS Florida USS Daniel Boone HMS Sjöbjörnen HMS Sirius HMS Sjöhunden USS Spadefish USS Scranton HMS Småland USS Columbus USS Henry L. Stimson USS Henry Clay USS Columbia USS L. Mendel Rivers USS Benjamin Franklin HMS Väderskär HMS Torskär HMS Gråskär HMS Grundsund USS West Virginia HMS Örskär HMS Gillöga HMS Stolt HMS Galten USS Buffalo USS Narwhal MV Cape Ducato HMS Göta Lejon K-222 USS Helena Bravo-class submarine USS Birmingham USS Bergall HMS Plejad HMS Piteå HMS Pollux Sovremennyy-class destroyer HMS Polaris USS Batfish USS Toledo USS Santa Fe Spica-class torpedo boat Tre Kronor-class cruiser HMS Claes Uggla Nanuchka class corvette HMS Mode USS Drum USS Charlotte USS Pintado USS Harry S. Truman USS Sea Devil HMS Sjöhästen SMS Dresden USS Asheville HMS Tre Kronor HMS Dalarö HMS Castor USS Will Rogers USS Ramage HMS Mysing USS Guitarro USS Abraham Lincoln USS Theodore Roosevelt USS Kentucky HMS Jägaren Kiev-class aircraft carrier HMS Virgo HMS Sturkö HMS Vinö HMS Vitaskär USS Woodrow Wilson HMS Väktaren HMS Väktaren HMS Stockholm HMS Strömstad HMS Mjölner HMS Östergötland HMS Modig HMS Mode German submarine U-361 USS Key West Kortenaer-class frigate Visby class corvette Sverige-class coastal defence ship Kresta II-class cruiser HMS Häradskär HMS Kalmar USS Mariano G. Vallejo HMS Kaparen USS Greeneville USS Nathan Hale USS Cincinnati HMS Furusund HMS Ocean (L12) Hugin-class patrol boat USS Finback USS Sand Lance HMS Illustrious Soviet command ship SSV-33 USS Providence HMS Uttern Steregushchy class corvette HMS M20 USS Olympia USS Sam Rayburn USS Silversides USS James K. Polk HMS Sjöormen HMS Sturkö HMS Styrbjörn USS Parche HMS Styrsö USS Rhode Island USS Houston HMS Helsingborg Äran-class coastal defence ship HMS Gustav V USS Annapolis USS Montpelier HMS Skaftö USS Grayling HMS Sjölejonet HMS Skanör HMS Skifteskär BAP Almirante Grau Tapper-class patrol craft HMS Hasslö HMS Hamnskär HMS Hanö HMS Halland HMS Hisingen HMS Hojskär HMS Psilander USS Casimir Pulaski HMS Svensksund HMS Cayman Kotlin-class destroyer USS Baltimore HMS Tordön HMS Trygg HMS Tärnö USS George Washington Carver HMS Malmö HMS Fylgia USS Patrick Henry HMS Magne Halland-class destroyer HMS Magne KNS Mamba USS Omaha HMS Visborg USS Pargo HMS Sylvia USS Puffer USS Billfish HMS Älvsborg HMS Orädd USS City of Corpus Christi HMS Ornö HMS Orust Östergötland-class destroyer USS Von Steuben USS Tecumseh Type 22 frigate USS Kamehameha USS Nebraska USS Tennessee USS Salt Lake City HMS Tirfing Stenka class patrol boat Aigrette USS Nevada Sverdlov-class cruiser USS Glenard P. Lipscomb USS Nathanael Greene HMS Dristig USS Simon Bolivar Hanö-class minesweeper Parchim class corvette HMS Varberg USS Miami HMS Vargen HMS Vega Type 42 destroyer USS Los Angeles USS Bluefish Bora-class guided missile hovercraft Invincible-class aircraft carrier USS Chicago USS Archerfish USS Boise HMS Viksten HMS Vidar HMS Nynäshamn HMS Norsten HMS Nämdö HMS Norrköping HMS Norrtälje Kuznetsov-class aircraft carrier USS Sunfish USS Milwaukee USS Alabama HMS Äggskär USS California USS Tunny USS Thomas Jefferson USS Ethan Allen BAP Almirante Guise Project 03160 Raptor Ystad-class missile boat USS Springfield USS William H. Bates HMS Getorskär USS John Adams USS Alexander Hamilton HMS Fårösund Gåssten class minesweeper USS Jefferson City HMS Landsort USS Cavalla HMS Montrose HMS Luleå Kara-class cruiser USS Atlanta USS Hawkbill HMS Blackan USS Mississippi HMS Blidö Émeraude USS Stonewall Jackson HMS Svea HMS Svartlöga HMS Sveparen USS Minneapolis–Saint Paul USS Hammerhead HMS Glowworm USS Daniel Webster USS Andrew Jackson HMS Endurance USS Louisiana Pauk class corvette HMS Koster USS San Juan Koni-class frigate HNLMS De Zeven Provinciën USS Augusta USS Portsmouth HMS Gåssten RFA Cardigan Bay HMS Halmstad USS Lapon USS Ulysses S. Grant HMS Smyge HMS Trossö MHS Öregrund HMS Ystad HMS Ärlig USS Lewis B. Puller USS Robert E. Lee HMS Göteborg HMS Sundsvall HMS Arcturus HMS Antares Kirov-class cruiser HMS Argo HMS Arcturus HMS Argo USS Hampton Krivak-class frigate HMS Hälsingland HMS Visby USS Tullibee HMS Händig HMS Iggö HMS Härnösand USS Henry M. Jackson HMS Rödlöga USS Jacksonville USS Alexandria Stockholm class corvette HMS Ark Royal Japanese destroyer Murasame HMS Älvsnabben USS Lafayette USS Groton USS Thomas A. Edison Norrköping-class missile boat Tarantul class corvette USS Albany USS Hyman G. Rickover USS Enterprise HMS Uppland HMS Halland HMS Orion Göteborg-class corvette Russian submarine Yury Dolgorukiy HNoMS Svenner HMS Queen Elizabeth HMS Aldebaran HMS Dämman HMS Ekeskär Slava class cruiser USS George H.W. Bush HMS Utö HMS Tapper HMS Sökaren HMS Protector HMS Vale USS George C. Marshall USS George Bancroft HMS Södermanland USS Topeka USS Phoenix USS New York City USS Whale HMS Antares HMS Springaren HMS Äran HMS Snapphanen HMS Spejaren HMS Nordkaparen USS America USS James Monroe HMS Spica HMS Gävle USS Nimitz HMS Sundsvall USS Michael Monsoor USS Flying Fish HMS Bermuda USS Queenfish Osa class missile boats Sarancha class missile boat USS San Francisco USS Trepang USS Georgia USS Indianapolis HMS Nyköping HMS Karlstad Udaloy-class destroyer USS Hartford De Zeven Provinciën-class cruiser USS Oklahoma City HMS Rigel USS Pittsburgh Riga-class frigate USS Abraham Lincoln USS Richard B. Russell HMS Karlsö USS Pogy USS Louisville
458
action count
action approx
action union
action find_tuple_counts
relation armament
type ship type
type weapon family
action find_tuple_counts
relation armament
type ship type
type model
action count
action filter_multi_types
action find
entity SMS Dresden
relation armament
type weapon family
type model
[{'concept': 'ship type'}, 'armament', [{'concept': 'weapon family'}, {'concept': 'model'}]]
SELECT DISTINCT ( COUNT ( ?g ) AS ?h ) WHERE { FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) WHERE { resource:SMS_Dresden property:armament ?x . { VALUES ( ?z ) { ( ontology:weapon_family ) ( ontology:model ) } . ?x rdf:type ?z } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?u ) ?g WHERE { { ?j rdf:type ontology:weapon_family . ?g rdf:type ontology:ship_type . ?g property:armament ?j } UNION { ?g property:armament ?j . ?j rdf:type ontology:model . ?g rdf:type ontology:ship_type } } GROUP BY ?g } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1734868
P520
Q15142889 Q17444171 Q2235308
USER
And also tell me about Kashin-class destroyer?
(c(Q2235308),P520,c(Q15142889)|c(Q17444171))
action count
action approx
action union
action find_tuple_counts
relation P520
type Q2235308
type Q15142889
action find_tuple_counts
relation P520
type Q2235308
type Q17444171
action count
action filter_multi_types
action find
entity Q1734868
relation P520
type Q15142889
type Q17444171
[{'concept': 'Q2235308'}, 'P520', [{'concept': 'Q15142889'}, {'concept': 'Q17444171'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?k WHERE { { ?k property:P520 ?j . ?k rdf:type ontology:Q2235308 . ?j rdf:type ontology:Q15142889 } UNION { ?j rdf:type ontology:Q17444171 . ?k rdf:type ontology:Q2235308 . ?k property:P520 ?j } } GROUP BY ?k } . FILTER ( ?n = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { resource:Q1734868 property:P520 ?t . { ?t rdf:type ?m . VALUES ( ?m ) { ( ontology:Q15142889 ) ( ontology:Q17444171 ) } } } } }
Kashin-class destroyer
action count
action approx
action union
action find_tuple_counts
relation armament
type ship type
type weapon family
action find_tuple_counts
relation armament
type ship type
type model
action count
action filter_multi_types
action find
entity Kashin-class destroyer
relation armament
type weapon family
type model
[{'concept': 'ship type'}, 'armament', [{'concept': 'weapon family'}, {'concept': 'model'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?k WHERE { { ?k property:armament ?j . ?k rdf:type ontology:ship_type . ?j rdf:type ontology:weapon_family } UNION { ?j rdf:type ontology:model . ?k rdf:type ontology:ship_type . ?k property:armament ?j } } GROUP BY ?k } . FILTER ( ?n = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { resource:Kashin-class_destroyer property:armament ?t . { ?t rdf:type ?m . VALUES ( ?m ) { ( ontology:weapon_family ) ( ontology:model ) } } } } }
[]
weapon family model ship type
SYSTEM
458
Q10406832 Q10543422 Q15106468 Q10548373 Q2302386 Q1935618 Q1971557 Q10513131 Q1483548 Q632460 Q10515146 Q1711338 Q10515142 Q10515141 Q4993491 Q10515149 Q10513162 Q1053842 Q5632310 Q1422734 Q368419 Q1806597 Q14876137 Q1422739 Q980570 Q49644 Q10513142 Q7867460 Q1470212 Q5632896 Q2164060 Q521029 Q598581 Q7869921 Q1788034 Q2301794 Q2099267 Q2712823 Q11707025 Q10515269 Q10515264 Q6019761 Q10515262 Q10515263 Q10515261 Q1433093 Q5971123 Q10515037 Q10515034 Q968667 Q10515032 Q10513085 Q10418071 Q10513087 Q14875868 Q7873660 Q14876166 Q10513243 Q5634430 Q10513246 Q10513244 Q478298 Q2469792 Q1715770 Q10515085 Q10515088 Q5631250 Q2302353 Q52905 Q268042 Q52901 Q5970896 Q1356916 Q32771 Q7867085 Q6138545 Q1786716 Q2301237 Q280710 Q1862142 Q632503 Q1999797 Q821843 Q5636029 Q5636027 Q5636024 Q2003791 Q761869 Q616488 Q2003799 Q10513105 Q10513104 Q10513107 Q924151 Q10513102 Q10513109 Q10513108 Q1790239 Q10515198 Q10515211 Q10515194 Q10515197 Q10515190 Q453570 Q10515144 Q472986 Q7870497 Q1734868 Q1755178 Q7868733 Q10515103 Q10515102 Q10515107 Q5964938 Q749868 Q4352800 Q2003808 Q7870122 Q6141356 Q747983 Q6144695 Q6141293 Q14876127 Q14876126 Q10513208 Q10513207 Q1788001 Q14876128 Q10513200 Q10515153 Q13417754 Q1718601 Q1337120 Q6719343 Q2029200 Q1754034 Q1260634 Q902746 Q1781111 Q5227796 Q10515073 Q10515071 Q10515077 Q1063228 Q10515075 Q5968178 Q2302375 Q2003758 Q301073 Q3264869 Q1094682 Q923779 Q5399416 Q3006912 Q1971589 Q499055 Q748913 Q5231481 Q13360784 Q543593 Q1272420 Q4347031 Q10513152 Q10513150 Q11288203 Q2000932 Q13230044 Q498760 Q587557 Q6132017 Q1459982 Q10513270 Q928457 Q10515253 Q10515159 Q10515251 Q10515255 Q6138608 Q10515259 Q10515258 Q10515155 Q10515157 Q10515022 Q10515286 Q10515027 Q10515028 Q4052028 Q2000900 Q974939 Q762384 Q2976013 Q1230074 Q14876176 Q10513273 Q2470102 Q10513279 Q1029271 Q6138306 Q1784063 Q10513189 Q1201247 Q10526917 Q2091881 Q2091889 Q1140782 Q670415 Q371294 Q10515220 Q1810041 Q10514997 Q685632 Q7873770 Q600125 Q5229866 Q5634350 Q10515160 Q10515163 Q1467248 Q10515166 Q1566425 Q1687136 Q4352643 Q3211336 Q52897 Q2006011 Q165916 Q10515116 Q976846 Q10515113 Q10515118 Q10515119 Q535556 Q10690966 Q10513233 Q10513232 Q10513231 Q10513230 Q10513237 Q10513239 Q4405311 Q6144946 Q10515175 Q11712993 Q206562 Q2005518 Q10515200 Q10515201 Q10515203 Q7869705 Q10515018 Q1344146 Q4384713 Q10515013 Q962041 Q10515014 Q18011162 Q1789356 Q4992389 Q7872657 Q5634552 Q975988 Q6144738 Q8196093 Q10515064 Q616899 Q10515061 Q10515062 Q298395 Q2471518 Q7874656 Q922727 Q503453 Q1778502 Q1787992 Q1783702 Q4352822 Q1815806 Q15104547 Q508531 Q2001742 Q1596193 Q11323769 Q10513166 Q7874158 Q10517501 Q699713 Q10515231 Q1249407 Q10515233 Q10515237 Q1545471 Q2166261 Q5232273 Q631148 Q1061474 Q567967 Q7867378 Q604857 Q10515245 Q10515243 Q10515055 Q10515054 Q10515057 Q10515051 Q10515053 Q358966 Q7874470 Q7871815 Q1761221 Q14876153 Q1578014 Q7874906 Q631540 Q1474340 Q2061875 Q21979631 Q10723800 Q1472052 Q5971096 Q10513197 Q6138564 Q6138562 Q10513191 Q10495781 Q2001200 Q10513296 Q6138393 Q5633432 Q10514984 Q1631200 Q1601564 Q5226794 Q10513121 Q1628755 Q10513124 Q15117029 Q2471257 Q10515173 Q10515171 Q10515176 Q1573507 Q7869984 Q710732 Q667833 Q820203 Q639642 Q1725498 Q1371659 Q10513290 Q993944 Q694531 Q43464 Q1674076 Q1760185 Q10513221 Q7276440 Q10513229 Q6138349 Q7874949 Q1240203 Q3742738 Q10515279 Q10515274 Q10515277 Q11348852 Q844743 Q5473685 Q4352906 Q10513093 Q10513092 Q391061 Q10513097 Q10513095 Q10513098 Q1453075 Q205637 Q10513251 Q4352699 Q2093829 Q10513252 Q10513255 Q4352756 Q1973096 Q10515093 Q1437413 Q510214 Q2117332 Q847672 Q1356922 Q5636040 Q4346742 Q1287639 Q632457 Q1739268 Q688771 Q2005990 Q174818 Q204342 Q5636039 Q5636031 Q5636034 Q1559709 Q2454760 Q3381131 Q1444474 Q10513079 Q10513171 Q10513174 Q1359363 Q217132 Q10515223 Q10515189 Q10515188 Q6719921 Q10515224 Q7869683 Q7869682 Q10515187 Q748373 Q1783713 Q919768 Q7875454 Q10513091 Q10515139 Q4352812 Q10515132 Q10515133 Q10515046 Q7408497 Q570993 Q4442824 Q10513219 Q463161 Q4352711 Q7871781 Q6144928 Q2402934 Q6138496 Q647787 Q1621675 Q935791 Q7874855 Q1683284 Q1379656 Q4354884 Q4354888 Q1052123 Q2117295 Q1816732 Q1971094 Q13230646 Q2001217 Q819167 Q639502 Q663075 Q10513281 Q5971155 Q1380250
(c(Q2235308),P520,c(Q15142889)|c(Q17444171))
action count
action approx
action union
action find_tuple_counts
relation P520
type Q2235308
type Q15142889
action find_tuple_counts
relation P520
type Q2235308
type Q17444171
action count
action filter_multi_types
action find
entity Q1734868
relation P520
type Q15142889
type Q17444171
[ANSWER]
[{'concept': 'Q2235308'}, 'P520', [{'concept': 'Q15142889'}, {'concept': 'Q17444171'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?k WHERE { { ?k property:P520 ?j . ?k rdf:type ontology:Q2235308 . ?j rdf:type ontology:Q15142889 } UNION { ?j rdf:type ontology:Q17444171 . ?k rdf:type ontology:Q2235308 . ?k property:P520 ?j } } GROUP BY ?k } . FILTER ( ?n = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { resource:Q1734868 property:P520 ?t . { ?t rdf:type ?m . VALUES ( ?m ) { ( ontology:Q15142889 ) ( ontology:Q17444171 ) } } } } }
Altair class training ship Kaparen-class patrol boat Cigogne Koster-class mine countermeasures vessel USS Pasadena USS Pennsylvania USS La Jolla HMS Bredskär USS Wasp USS Sam Houston HMS Spårö USS Lewis and Clark HMS Sprängskär HMS Sprängaren HMS Näcken HMS Starkodder HMS Djärv Tarawa-class amphibious assault ship HMS Enterprise USS Michigan USS Seahorse USS Philadelphia HMS Altaskär USS Ohio USS Cheyenne France HMS Capella USS Aspro USS Honolulu HMS Iron Duke HMS Vanguard Kirov-class battlecruiser USS Dallas USS Gurnard Kresta I-class cruiser USS George Washington Plejad-class torpedo boat USS Tautog HMS Forester (1911) HMS Wasa HMS Västerås Indian HMS Västervik HMS Vållö HMS Västergötland Landsort-class mine countermeasures vessel USS Sturgeon HMS Najad HMS Munter USS Maryland HMS Munin HMS Altair Arkö-class minesweeper HMS Altair Patrol craft type 60 USS SC-18 HMS Flaggskär HMS Hugin HMS St Albans HMS Huvudskär HMS Hurtig USS Samuel B. Roberts USS John C. Calhoun USS Wyoming HMS Rapp HMS Regulus HMS Alaric USS Memphis HMS Drottning Victoria Ukrainian submarine Zaporizhzhia HMS Sverige USS Ray USS Baton Rouge HNLMS Walrus USS Agamenticus USS Haddock USS Alaska USS Bainbridge HMS Invincible USS Boston USS John Marshall USS Tucson USS Francis Scott Key HMS Gotland HMS Carlskrona Ejdern-class sonobuoy vessel USS Albuquerque Grisha class corvette USS Leahy USS Newport News HMS Arkösund HMS Arkö HMS Astrea USS Maine HMS Arholma HMS Astrea HMS Aspö Kanin-class destroyer HMS Tjörn HMS Umeå HMS Tirfing HMS Tjurkö HMS Tapperheten HMS Bulwark HMS Spårö USS Bremerton USS James Madison Kashin-class destroyer USS Florida USS Daniel Boone HMS Sjöbjörnen HMS Sirius HMS Sjöhunden USS Spadefish USS Scranton HMS Småland USS Columbus USS Henry L. Stimson USS Henry Clay USS Columbia USS L. Mendel Rivers USS Benjamin Franklin HMS Väderskär HMS Torskär HMS Gråskär HMS Grundsund USS West Virginia HMS Örskär HMS Gillöga HMS Stolt HMS Galten USS Buffalo USS Narwhal MV Cape Ducato HMS Göta Lejon K-222 USS Helena Bravo-class submarine USS Birmingham USS Bergall HMS Plejad HMS Piteå HMS Pollux Sovremennyy-class destroyer HMS Polaris USS Batfish USS Toledo USS Santa Fe Spica-class torpedo boat Tre Kronor-class cruiser HMS Claes Uggla Nanuchka class corvette HMS Mode USS Drum USS Charlotte USS Pintado USS Harry S. Truman USS Sea Devil HMS Sjöhästen SMS Dresden USS Asheville HMS Tre Kronor HMS Dalarö HMS Castor USS Will Rogers USS Ramage HMS Mysing USS Guitarro USS Abraham Lincoln USS Theodore Roosevelt USS Kentucky HMS Jägaren Kiev-class aircraft carrier HMS Virgo HMS Sturkö HMS Vinö HMS Vitaskär USS Woodrow Wilson HMS Väktaren HMS Väktaren HMS Stockholm HMS Strömstad HMS Mjölner HMS Östergötland HMS Modig HMS Mode German submarine U-361 USS Key West Kortenaer-class frigate Visby class corvette Sverige-class coastal defence ship Kresta II-class cruiser HMS Häradskär HMS Kalmar USS Mariano G. Vallejo HMS Kaparen USS Greeneville USS Nathan Hale USS Cincinnati HMS Furusund HMS Ocean (L12) Hugin-class patrol boat USS Finback USS Sand Lance HMS Illustrious Soviet command ship SSV-33 USS Providence HMS Uttern Steregushchy class corvette HMS M20 USS Olympia USS Sam Rayburn USS Silversides USS James K. Polk HMS Sjöormen HMS Sturkö HMS Styrbjörn USS Parche HMS Styrsö USS Rhode Island USS Houston HMS Helsingborg Äran-class coastal defence ship HMS Gustav V USS Annapolis USS Montpelier HMS Skaftö USS Grayling HMS Sjölejonet HMS Skanör HMS Skifteskär BAP Almirante Grau Tapper-class patrol craft HMS Hasslö HMS Hamnskär HMS Hanö HMS Halland HMS Hisingen HMS Hojskär HMS Psilander USS Casimir Pulaski HMS Svensksund HMS Cayman Kotlin-class destroyer USS Baltimore HMS Tordön HMS Trygg HMS Tärnö USS George Washington Carver HMS Malmö HMS Fylgia USS Patrick Henry HMS Magne Halland-class destroyer HMS Magne KNS Mamba USS Omaha HMS Visborg USS Pargo HMS Sylvia USS Puffer USS Billfish HMS Älvsborg HMS Orädd USS City of Corpus Christi HMS Ornö HMS Orust Östergötland-class destroyer USS Von Steuben USS Tecumseh Type 22 frigate USS Kamehameha USS Nebraska USS Tennessee USS Salt Lake City HMS Tirfing Stenka class patrol boat Aigrette USS Nevada Sverdlov-class cruiser USS Glenard P. Lipscomb USS Nathanael Greene HMS Dristig USS Simon Bolivar Hanö-class minesweeper Parchim class corvette HMS Varberg USS Miami HMS Vargen HMS Vega Type 42 destroyer USS Los Angeles USS Bluefish Bora-class guided missile hovercraft Invincible-class aircraft carrier USS Chicago USS Archerfish USS Boise HMS Viksten HMS Vidar HMS Nynäshamn HMS Norsten HMS Nämdö HMS Norrköping HMS Norrtälje Kuznetsov-class aircraft carrier USS Sunfish USS Milwaukee USS Alabama HMS Äggskär USS California USS Tunny USS Thomas Jefferson USS Ethan Allen BAP Almirante Guise Project 03160 Raptor Ystad-class missile boat USS Springfield USS William H. Bates HMS Getorskär USS John Adams USS Alexander Hamilton HMS Fårösund Gåssten class minesweeper USS Jefferson City HMS Landsort USS Cavalla HMS Montrose HMS Luleå Kara-class cruiser USS Atlanta USS Hawkbill HMS Blackan USS Mississippi HMS Blidö Émeraude USS Stonewall Jackson HMS Svea HMS Svartlöga HMS Sveparen USS Minneapolis–Saint Paul USS Hammerhead HMS Glowworm USS Daniel Webster USS Andrew Jackson HMS Endurance USS Louisiana Pauk class corvette HMS Koster USS San Juan Koni-class frigate HNLMS De Zeven Provinciën USS Augusta USS Portsmouth HMS Gåssten RFA Cardigan Bay HMS Halmstad USS Lapon USS Ulysses S. Grant HMS Smyge HMS Trossö MHS Öregrund HMS Ystad HMS Ärlig USS Lewis B. Puller USS Robert E. Lee HMS Göteborg HMS Sundsvall HMS Arcturus HMS Antares Kirov-class cruiser HMS Argo HMS Arcturus HMS Argo USS Hampton Krivak-class frigate HMS Hälsingland HMS Visby USS Tullibee HMS Händig HMS Iggö HMS Härnösand USS Henry M. Jackson HMS Rödlöga USS Jacksonville USS Alexandria Stockholm class corvette HMS Ark Royal Japanese destroyer Murasame HMS Älvsnabben USS Lafayette USS Groton USS Thomas A. Edison Norrköping-class missile boat Tarantul class corvette USS Albany USS Hyman G. Rickover USS Enterprise HMS Uppland HMS Halland HMS Orion Göteborg-class corvette Russian submarine Yury Dolgorukiy HNoMS Svenner HMS Queen Elizabeth HMS Aldebaran HMS Dämman HMS Ekeskär Slava class cruiser USS George H.W. Bush HMS Utö HMS Tapper HMS Sökaren HMS Protector HMS Vale USS George C. Marshall USS George Bancroft HMS Södermanland USS Topeka USS Phoenix USS New York City USS Whale HMS Antares HMS Springaren HMS Äran HMS Snapphanen HMS Spejaren HMS Nordkaparen USS America USS James Monroe HMS Spica HMS Gävle USS Nimitz HMS Sundsvall USS Michael Monsoor USS Flying Fish HMS Bermuda USS Queenfish Osa class missile boats Sarancha class missile boat USS San Francisco USS Trepang USS Georgia USS Indianapolis HMS Nyköping HMS Karlstad Udaloy-class destroyer USS Hartford De Zeven Provinciën-class cruiser USS Oklahoma City HMS Rigel USS Pittsburgh Riga-class frigate USS Abraham Lincoln USS Richard B. Russell HMS Karlsö USS Pogy USS Louisville
458
action count
action approx
action union
action find_tuple_counts
relation armament
type ship type
type weapon family
action find_tuple_counts
relation armament
type ship type
type model
action count
action filter_multi_types
action find
entity Kashin-class destroyer
relation armament
type weapon family
type model
[{'concept': 'ship type'}, 'armament', [{'concept': 'weapon family'}, {'concept': 'model'}]]
SELECT DISTINCT ( COUNT ( ?k ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?k WHERE { { ?k property:armament ?j . ?k rdf:type ontology:ship_type . ?j rdf:type ontology:weapon_family } UNION { ?j rdf:type ontology:model . ?k rdf:type ontology:ship_type . ?k property:armament ?j } } GROUP BY ?k } . FILTER ( ?n = ?i ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?i ) WHERE { resource:Kashin-class_destroyer property:armament ?t . { ?t rdf:type ?m . VALUES ( ?m ) { ( ontology:weapon_family ) ( ontology:model ) } } } } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1025383 Q127091
P706
Q271669
USER
Which landforms are Pearl Harbor or Víkarbyrgi located on ?
OR((Q127091,P706,c(Q271669)), (Q1025383,P706,c(Q271669)))
action filter_type
action union
action find
entity Q127091
relation P706
action find
entity Q1025383
relation P706
type Q271669
{'OR': [['Q127091', 'P706', {'concept': 'Q271669'}], ['Q1025383', 'P706', {'concept': 'Q271669'}]]}
SELECT DISTINCT ?y WHERE { { VALUES ( ?p ) { ( resource:Q127091 ) ( resource:Q1025383 ) } . ?p property:P706 ?y } . ?y rdf:type ontology:Q271669 }
Víkarbyrgi Pearl Harbor
action filter_type
action union
action find
entity Pearl Harbor
relation located on terrain feature
action find
entity Víkarbyrgi
relation located on terrain feature
type landform
{'OR': [['Pearl Harbor', 'located on terrain feature', {'concept': 'landform'}], ['Víkarbyrgi', 'located on terrain feature', {'concept': 'landform'}]]}
SELECT DISTINCT ?y WHERE { { VALUES ( ?p ) { ( resource:Pearl_Harbor ) ( resource:Víkarbyrgi ) } . ?p property:located_on_terrain_feature ?y } . ?y rdf:type ontology:landform }
[]
landform
Q131347 Q210309
SYSTEM
Oahu, Suðuroy
Q131347 Q210309
OR((Q127091,P706,c(Q271669)), (Q1025383,P706,c(Q271669)))
action filter_type
action union
action find
entity Q127091
relation P706
action find
entity Q1025383
relation P706
type Q271669
Pearl Harbor or Víkarbyrgi are located in [ANSWERS]
{'OR': [['Q127091', 'P706', {'concept': 'Q271669'}], ['Q1025383', 'P706', {'concept': 'Q271669'}]]}
SELECT DISTINCT ?y WHERE { { VALUES ( ?p ) { ( resource:Q127091 ) ( resource:Q1025383 ) } . ?p property:P706 ?y } . ?y rdf:type ontology:Q271669 }
Oahu Suðuroy
Pearl Harbor or Víkarbyrgi are located in Oahu and Suðuroy
Oahu Suðuroy
action filter_type
action union
action find
entity Pearl Harbor
relation located on terrain feature
action find
entity Víkarbyrgi
relation located on terrain feature
type landform
{'OR': [['Pearl Harbor', 'located on terrain feature', {'concept': 'landform'}], ['Víkarbyrgi', 'located on terrain feature', {'concept': 'landform'}]]}
SELECT DISTINCT ?y WHERE { { VALUES ( ?p ) { ( resource:Pearl_Harbor ) ( resource:Víkarbyrgi ) } . ?p property:located_on_terrain_feature ?y } . ?y rdf:type ontology:landform }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P2695
Q271669 Q7946 Q3977918
USER
How many landforms are known for containing atleast 3 minerals and mineral supergroupss naturally ?
(c(Q7946)|c(Q3977918),P2695,c(Q271669))
action count
action atleast
action union
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q7946
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q3977918
value 3
[[{'concept': 'Q7946'}, {'concept': 'Q3977918'}], 'P2695', {'concept': 'Q271669'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?l ) ?u WHERE { { ?e property:P2695 ?u . ?u rdf:type ontology:Q271669 . ?e rdf:type ontology:Q3977918 } UNION { ?e property:P2695 ?u . ?u rdf:type ontology:Q271669 . ?e rdf:type ontology:Q7946 } } GROUP BY ?u } . FILTER ( ?l >= 3 ) }
action count
action atleast
action union
action find_reverse_tuple_counts
relation type locality
type landform
type mineral
action find_reverse_tuple_counts
relation type locality
type landform
type mineral supergroups
value 3
[[{'concept': 'mineral'}, {'concept': 'mineral supergroups'}], 'type locality', {'concept': 'landform'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?l ) ?u WHERE { { ?e property:type_locality ?u . ?u rdf:type ontology:landform . ?e rdf:type ontology:mineral_supergroups } UNION { ?e property:type_locality ?u . ?u rdf:type ontology:landform . ?e rdf:type ontology:mineral } } GROUP BY ?u } . FILTER ( ?l >= 3 ) }
[]
landform mineral mineral supergroups
SYSTEM
5
Q27473681 Q23790598 Q26710874 Q7826822 Q23790564
(c(Q7946)|c(Q3977918),P2695,c(Q271669))
action count
action atleast
action union
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q7946
action find_reverse_tuple_counts
relation P2695
type Q271669
type Q3977918
value 3
[ANSWER]
[[{'concept': 'Q7946'}, {'concept': 'Q3977918'}], 'P2695', {'concept': 'Q271669'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?l ) ?u WHERE { { ?e property:P2695 ?u . ?u rdf:type ontology:Q271669 . ?e rdf:type ontology:Q3977918 } UNION { ?e property:P2695 ?u . ?u rdf:type ontology:Q271669 . ?e rdf:type ontology:Q7946 } } GROUP BY ?u } . FILTER ( ?l >= 3 ) }
Pereval marble quarry Aris quarries Francon quarry Torr Works Poudrette quarry
5
action count
action atleast
action union
action find_reverse_tuple_counts
relation type locality
type landform
type mineral
action find_reverse_tuple_counts
relation type locality
type landform
type mineral supergroups
value 3
[[{'concept': 'mineral'}, {'concept': 'mineral supergroups'}], 'type locality', {'concept': 'landform'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?l ) ?u WHERE { { ?e property:type_locality ?u . ?u rdf:type ontology:landform . ?e rdf:type ontology:mineral_supergroups } UNION { ?e property:type_locality ?u . ?u rdf:type ontology:landform . ?e rdf:type ontology:mineral } } GROUP BY ?u } . FILTER ( ?l >= 3 ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q131347
P276
Q1190554
USER
Which event has its location as Oahu ?
(c(Q1190554),P276,Q131347)
action filter_type
action find_reverse
entity Q131347
relation P276
type Q1190554
[{'concept': 'Q1190554'}, 'P276', 'Q131347']
SELECT DISTINCT ?w WHERE { ?w property:P276 resource:Q131347 . ?w rdf:type ontology:Q1190554 }
Oahu
action filter_type
action find_reverse
entity Oahu
relation location
type event
[{'concept': 'event'}, 'location', 'Oahu']
SELECT DISTINCT ?w WHERE { ?w property:location resource:Oahu . ?w rdf:type ontology:event }
[]
event
Q4871927
SYSTEM
Battle of Nuʻuanu
Q4871927
(c(Q1190554),P276,Q131347)
action filter_type
action find_reverse
entity Q131347
relation P276
type Q1190554
U [ANSWER] has its location as Oahu
[{'concept': 'Q1190554'}, 'P276', 'Q131347']
SELECT DISTINCT ?w WHERE { ?w property:P276 resource:Q131347 . ?w rdf:type ontology:Q1190554 }
Battle of Nuʻuanu
U Battle of Nuʻuanu has its location as Oahu
Battle of Nuʻuanu
action filter_type
action find_reverse
entity Oahu
relation location
type event
[{'concept': 'event'}, 'location', 'Oahu']
SELECT DISTINCT ?w WHERE { ?w property:location resource:Oahu . ?w rdf:type ontology:event }
[]