Simple Question (Direct)
Simple Question
Q280710
P859
Q502895
USER
Who backs HMS Invincible ?
(Q280710,P859,c(Q502895))
action filter_type
action find
entity Q280710
relation P859
type Q502895
['Q280710', 'P859', {'concept': 'Q502895'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q502895 . resource:Q280710 property:P859 ?j }
HMS Invincible
action filter_type
action find
entity HMS Invincible
relation sponsor
type common name
['HMS Invincible', 'sponsor', {'concept': 'common name'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:common_name . resource:HMS_Invincible property:sponsor ?j }
[]
common name
Q9682
SYSTEM
Elizabeth II
Q9682
(Q280710,P859,c(Q502895))
action filter_type
action find
entity Q280710
relation P859
type Q502895
[ANSWER] backs HMS Invincible
['Q280710', 'P859', {'concept': 'Q502895'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:Q502895 . resource:Q280710 property:P859 ?j }
Elizabeth II
Elizabeth II backs HMS Invincible
Elizabeth II
action filter_type
action find
entity HMS Invincible
relation sponsor
type common name
['HMS Invincible', 'sponsor', {'concept': 'common name'}]
SELECT DISTINCT ?j WHERE { ?j rdf:type ontology:common_name . resource:HMS_Invincible property:sponsor ?j }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q280710
P793
Q2245405
USER
What are a significant events associated with HMS Invincible ?
(Q280710,P793,c(Q2245405))
action filter_type
action find
entity Q280710
relation P793
type Q2245405
['Q280710', 'P793', {'concept': 'Q2245405'}]
SELECT DISTINCT ?r WHERE { resource:Q280710 property:P793 ?r . ?r rdf:type ontology:Q2245405 }
HMS Invincible
action filter_type
action find
entity HMS Invincible
relation significant event
type key event
['HMS Invincible', 'significant event', {'concept': 'key event'}]
SELECT DISTINCT ?r WHERE { resource:HMS_Invincible property:significant_event ?r . ?r rdf:type ontology:key_event }
[]
key event
Q14713606 Q14592615 Q14475832
SYSTEM
ship launch, keel laying, ship commissioning
Q14475832 Q7497952 Q14713606 Q14592615
(Q280710,P793,c(Q2245405))
action filter_type
action find
entity Q280710
relation P793
type Q2245405
A significant events associated with HMS Invincible are [ANSWERS]
['Q280710', 'P793', {'concept': 'Q2245405'}]
SELECT DISTINCT ?r WHERE { resource:Q280710 property:P793 ?r . ?r rdf:type ontology:Q2245405 }
ship commissioning ship decommissioning ship launch keel laying
A significant events associated with HMS Invincible are ship launch, keel laying and ship commissioning
ship launch keel laying ship commissioning
action filter_type
action find
entity HMS Invincible
relation significant event
type key event
['HMS Invincible', 'significant event', {'concept': 'key event'}]
SELECT DISTINCT ?r WHERE { resource:HMS_Invincible property:significant_event ?r . ?r rdf:type ontology:key_event }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q280710
P138
Q2235308
USER
Which ship type has HMS Invincible as its namesake ?
(c(Q2235308),P138,Q280710)
action filter_type
action find_reverse
entity Q280710
relation P138
type Q2235308
[{'concept': 'Q2235308'}, 'P138', 'Q280710']
SELECT DISTINCT ?f WHERE { ?f property:P138 resource:Q280710 . ?f rdf:type ontology:Q2235308 }
HMS Invincible
action filter_type
action find_reverse
entity HMS Invincible
relation named after
type ship type
[{'concept': 'ship type'}, 'named after', 'HMS Invincible']
SELECT DISTINCT ?f WHERE { ?f property:named_after resource:HMS_Invincible . ?f rdf:type ontology:ship_type }
[]
ship type
Q1061474
SYSTEM
Invincible-class aircraft carrier
Q1061474
(c(Q2235308),P138,Q280710)
action filter_type
action find_reverse
entity Q280710
relation P138
type Q2235308
[ANSWER] has HMS Invincible as its namesake
[{'concept': 'Q2235308'}, 'P138', 'Q280710']
SELECT DISTINCT ?f WHERE { ?f property:P138 resource:Q280710 . ?f rdf:type ontology:Q2235308 }
Invincible-class aircraft carrier
Invincible-class aircraft carrier has HMS Invincible as its namesake
Invincible-class aircraft carrier
action filter_type
action find_reverse
entity HMS Invincible
relation named after
type ship type
[{'concept': 'ship type'}, 'named after', 'HMS Invincible']
SELECT DISTINCT ?f WHERE { ?f property:named_after resource:HMS_Invincible . ?f rdf:type ontology:ship_type }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1061474
P495
Q15617994
USER
What is the country of origin of that ship type ?
(Q1061474,P495,c(Q15617994))
action filter_type
action find
entity Q1061474
relation P495
type Q15617994
['Q1061474', 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { resource:Q1061474 property:P495 ?k . ?k rdf:type ontology:Q15617994 }
Invincible-class aircraft carrier
action filter_type
action find
entity Invincible-class aircraft carrier
relation country of origin
type designation for an administrative territorial entity
['Invincible-class aircraft carrier', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { resource:Invincible-class_aircraft_carrier property:country_of_origin ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q145
SYSTEM
United Kingdom
Q145
(Q1061474,P495,c(Q15617994))
action filter_type
action find
entity Q1061474
relation P495
type Q15617994
The country of origin of that ship type is the [ANSWER]
['Q1061474', 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { resource:Q1061474 property:P495 ?k . ?k rdf:type ontology:Q15617994 }
United Kingdom
The country of origin of that ship type is the United Kingdom
United Kingdom
action filter_type
action find
entity Invincible-class aircraft carrier
relation country of origin
type designation for an administrative territorial entity
['Invincible-class aircraft carrier', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { resource:Invincible-class_aircraft_carrier property:country_of_origin ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q145 Q551968
P17
Q15617994
USER
Is United Kingdom situated in Paitzdorf ?
(Q145,P17,Q551968)
action is_in
entity Q551968
action find
entity Q145
relation P17
['Q145', 'P17', 'Q551968']
ASK WHERE { resource:Q145 property:P17 resource:Q551968 }
United Kingdom Paitzdorf
action is_in
entity Paitzdorf
action find
entity United Kingdom
relation country
['United Kingdom', 'country', 'Paitzdorf']
ASK WHERE { resource:United_Kingdom property:country resource:Paitzdorf }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q145,P17,Q551968)
action is_in
entity Q551968
action find
entity Q145
relation P17
[ANSWER]
['Q145', 'P17', 'Q551968']
ASK WHERE { resource:Q145 property:P17 resource:Q551968 }
No
action is_in
entity Paitzdorf
action find
entity United Kingdom
relation country
['United Kingdom', 'country', 'Paitzdorf']
ASK WHERE { resource:United_Kingdom property:country resource:Paitzdorf }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1001
Q15617994 Q12737077 Q192350
USER
Which administrative territories apply to jurisdiction of atmost 7 occupations or ministries ?
(c(Q12737077)|c(Q192350),P1001,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q192350
value 7
[[{'concept': 'Q12737077'}, {'concept': 'Q192350'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?g ) WHERE { { ?t rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q12737077 . ?k property:P1001 ?t } UNION { ?k property:P1001 ?t . ?t rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q192350 } } GROUP BY ?t } . FILTER ( ?g <= 7 ) }
action atmost
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type ministry
value 7
[[{'concept': 'occupation'}, {'concept': 'ministry'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?g ) WHERE { { ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:occupation . ?k property:applies_to_jurisdiction ?t } UNION { ?k property:applies_to_jurisdiction ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:ministry } } GROUP BY ?t } . FILTER ( ?g <= 7 ) }
[]
designation for an administrative territorial entity occupation ministry
Q155 Q953 Q32
SYSTEM
Brazil, Zambia, Luxembourg
Q701 Q702 Q804 Q705 Q707 Q709 Q811 Q706679 Q805 Q2765 Q163012 Q414 Q22273061 Q2871 Q262 Q784 Q265 Q24764 Q2742 Q842 Q37 Q398 Q874 Q712 Q711 Q710 Q717 Q837 Q443815 Q50198 Q1028 Q187035 Q252 Q22274206 Q399 Q1462 Q657 Q6465 Q1979 Q45 Q43 Q155 Q792 Q790 Q4628 Q796 Q794 Q889 Q884 Q958 Q881 Q7688 Q739 Q3097 Q826 Q158893 Q2942 Q822 Q241 Q1965 Q817 Q11340 Q244 Q11343 Q1142326 Q1974 Q1019 Q2899 Q2758 Q1952 Q813 Q921 Q4712 Q924 Q155019 Q39 Q3389 Q986 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q424 Q163966 Q769680 Q3068 Q730 Q1013 Q11323 Q236 Q1948 Q232 Q233 Q1093 Q238 Q119284 Q1045 Q3403547 Q1042 Q1041 Q2667658 Q1049 Q1025 Q1027 Q783 Q1020 Q2009 Q2007 Q1101 Q1029 Q2003 Q736 Q786 Q1904 Q32 Q228 Q3462133 Q227 Q225 Q224 Q223 Q222 Q221 Q229 Q347 Q1050 Q1989 Q2838 Q902 Q1036 Q1037 Q974 Q1032 Q1030 Q965 Q967 Q962 Q963 Q697 Q694 Q695 Q115 Q114 Q117 Q754 Q752 Q750 Q22274534 Q11337 Q211 Q11331 Q217 Q214 Q215 Q12642 Q219 Q154547 Q683 Q242 Q1216 Q12753 Q912 Q2805 Q917 Q916 Q2107 Q1007 Q1006 Q1005 Q833 Q977 Q1951 Q1009 Q1008 Q971 Q970 Q1438 Q34020 Q2380910 Q686 Q760 Q574 Q11301 Q2904 Q158095 Q1044 Q79 Q77 Q858 Q878 Q775 Q774 Q948 Q776 Q810 Q770 Q773 Q772 Q1014 Q1016 Q158083 Q1011 Q1243 Q945 Q72449 Q12549 Q22273285 Q678 Q129003 Q800 Q1039 Q672 Q176 Q33788 Q929 Q1267638 Q329609 Q863 Q2938 Q2023 Q869 Q1231 Q953 Q1237
(c(Q12737077)|c(Q192350),P1001,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q192350
value 7
[ANSWERS] apply to jurisdiction of atmost 7 occupations or ministries
[[{'concept': 'Q12737077'}, {'concept': 'Q192350'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?g ) WHERE { { ?t rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q12737077 . ?k property:P1001 ?t } UNION { ?k property:P1001 ?t . ?t rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q192350 } } GROUP BY ?t } . FILTER ( ?g <= 7 ) }
North Holland Federated States of Micronesia Panama Zeeland Flevoland Marshall Islands Nicaragua Duchy of Bar Yemen Gelsenkirchen Pankow Argentina Duchy of Nemours Hagen Algeria Dominica Uzbekistan municipality of the Philippines Münster Oman Lithuania Bahrain Turkmenistan Fiji Mongolia Kiribati Venezuela Nepal Altomünster province of Thailand Morocco Principality of Albania Indonesia Duchy of Mercoeur Armenia Sardinia Chad department of France Prince Edward Island Portugal Turkey Brazil El Salvador Haiti Faroe Islands Iraq Iran Afghanistan South Korea South Sudan Vietnam raion Colombia Remscheid Maldives Friedrichshain-Kreuzberg Solingen Lebanon Cuba New Brunswick Kuwait Sprockhövel Barbados Wetter (Ruhr) Seine British Columbia Madagascar Mülheim an der Ruhr Mönchengladbach Nova Scotia Kyrgyzstan Brunei Duchy of Burgundy Tanzania Duchy of Lorraine Switzerland Finistère Eritrea North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Mitte Bornholm Loire-Atlantique Suriname Lesotho Breckerfeld Montenegro Manitoba Kazakhstan Malta Limburg San Marino Marzahn-Hellersdorf Somalia principality of Phalsbourg and Lixheim Seychelles Senegal Shushary, Saint Petersburg Sudan Mauritania Mauritius Honduras Malawi Yukon Northwest Territories North Brabant Mozambique Newfoundland and Labrador Ecuador Dominican Republic Ontario Luxembourg Andorra Saxe-Coburg and Gotha Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Cyprus Liechtenstein Swaziland Saskatchewan Oberhausen Bangladesh Uganda Rwanda Democratic Republic of the Congo Niger Namibia Burkina Faso Burundi Benin Botswana Nauru South Holland Palau Ethiopia Kenya Ghana Trinidad and Tobago Groningen Bolivia Duchy of Elbeuf Herdecke Latvia Gevelsberg Republic of Moldova Slovakia Slovenia Morbihan Bulgaria duchy Samoa Belize Piedmont Seine-et-Marne Mali Krefeld Bhutan Angola Wuppertal Guinea-Bissau Guinea Gambia Malaysia Djibouti Alberta Cameroon Côte d'Ivoire Republic of the Congo Comoros Campania Niue Duchy of Zaslawye Vanuatu Saint Lucia East Timor Ennepetal Herne Charlottenburg-Wilmersdorf Sierra Leone Egypt Uruguay Syria United Arab Emirates Gelderland Guatemala Tunisia Utrecht Jordan Friesland Overijssel Drenthe Liberia Libya Spandau Cape Verde Veneto Togo Roccarainola Ille-et-Vilaine Duchy of Guise Tonga French Southern and Antarctic Lands Costa Rica Sao Tomé and Príncipe Tuvalu Quebec New Caledonia Central African Republic Beloostrov Lichtenberg Tajikistan Leverkusen Nunavut Thailand Kosovo Region Zambia Trentino-South Tyrol
Brazil, Zambia and Luxembourg apply to jurisdiction of atmost 7 occupations or ministries
Brazil Zambia Luxembourg
action atmost
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type ministry
value 7
[[{'concept': 'occupation'}, {'concept': 'ministry'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?g ) WHERE { { ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:occupation . ?k property:applies_to_jurisdiction ?t } UNION { ?k property:applies_to_jurisdiction ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:ministry } } GROUP BY ?t } . FILTER ( ?g <= 7 ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q2494128
P138
Q2235308 Q2235308 Q14524493
USER
Which ship types are the origin of more number of ship types and terrains than HMAS Adelaide ?
(c(Q2235308)|c(Q14524493),P138,c(Q2235308))
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q2235308
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q2494128
relation P138
type Q2235308
type Q14524493
[[{'concept': 'Q2235308'}, {'concept': 'Q14524493'}], 'P138', {'concept': 'Q2235308'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) ?x WHERE { { ?m property:P138 ?x . ?x rdf:type ontology:Q2235308 . ?m rdf:type ontology:Q2235308 } UNION { ?m rdf:type ontology:Q14524493 . ?x rdf:type ontology:Q2235308 . ?m property:P138 ?x } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { ?v property:P138 resource:Q2494128 . { { ?v rdf:type ontology:Q2235308 } UNION { ?v rdf:type ontology:Q14524493 } } } } . FILTER ( ?b > ?p ) }
HMAS Adelaide
action greater
action union
action find_reverse_tuple_counts
relation named after
type ship type
type ship type
action find_reverse_tuple_counts
relation named after
type ship type
type terrain
action count
action filter_multi_types
action find_reverse
entity HMAS Adelaide
relation named after
type ship type
type terrain
[[{'concept': 'ship type'}, {'concept': 'terrain'}], 'named after', {'concept': 'ship type'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) ?x WHERE { { ?m property:named_after ?x . ?x rdf:type ontology:ship_type . ?m rdf:type ontology:ship_type } UNION { ?m rdf:type ontology:terrain . ?x rdf:type ontology:ship_type . ?m property:named_after ?x } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { ?v property:named_after resource:HMAS_Adelaide . { { ?v rdf:type ontology:ship_type } UNION { ?v rdf:type ontology:terrain } } } } . FILTER ( ?b > ?p ) }
[]
ship type ship type terrain
Q7872159 Q7868281 Q920520
SYSTEM
USS Navajo, USS Cherokee, USS Kearsarge
Q920520 Q7872159 Q1572254 Q7868281
(c(Q2235308)|c(Q14524493),P138,c(Q2235308))
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q2235308
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q2494128
relation P138
type Q2235308
type Q14524493
[ANSWERS] are the origin of more number of ship types and terrains than HMAS Adelaide
[[{'concept': 'Q2235308'}, {'concept': 'Q14524493'}], 'P138', {'concept': 'Q2235308'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) ?x WHERE { { ?m property:P138 ?x . ?x rdf:type ontology:Q2235308 . ?m rdf:type ontology:Q2235308 } UNION { ?m rdf:type ontology:Q14524493 . ?x rdf:type ontology:Q2235308 . ?m property:P138 ?x } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { ?v property:P138 resource:Q2494128 . { { ?v rdf:type ontology:Q2235308 } UNION { ?v rdf:type ontology:Q14524493 } } } } . FILTER ( ?b > ?p ) }
USS Kearsarge USS Navajo USS Bonhomme Richard USS Cherokee
USS Navajo, USS Cherokee and USS Kearsarge are the origin of more number of ship types and terrains than HMAS Adelaide
USS Navajo USS Cherokee USS Kearsarge
action greater
action union
action find_reverse_tuple_counts
relation named after
type ship type
type ship type
action find_reverse_tuple_counts
relation named after
type ship type
type terrain
action count
action filter_multi_types
action find_reverse
entity HMAS Adelaide
relation named after
type ship type
type terrain
[[{'concept': 'ship type'}, {'concept': 'terrain'}], 'named after', {'concept': 'ship type'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) ?x WHERE { { ?m property:named_after ?x . ?x rdf:type ontology:ship_type . ?m rdf:type ontology:ship_type } UNION { ?m rdf:type ontology:terrain . ?x rdf:type ontology:ship_type . ?m property:named_after ?x } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?p ) WHERE { ?v property:named_after resource:HMAS_Adelaide . { { ?v rdf:type ontology:ship_type } UNION { ?v rdf:type ontology:terrain } } } } . FILTER ( ?b > ?p ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q1812747
P138
Q2235308 Q2235308 Q14524493
USER
And how about Japanese cruiser Takao?
(c(Q2235308)|c(Q14524493),P138,c(Q2235308))
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q2235308
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q1812747
relation P138
type Q2235308
type Q14524493
[[{'concept': 'Q2235308'}, {'concept': 'Q14524493'}], 'P138', {'concept': 'Q2235308'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { ?l property:P138 resource:Q1812747 . { ?l rdf:type ?z . VALUES ( ?z ) { ( ontology:Q2235308 ) ( ontology:Q14524493 ) } } } } . FILTER ( ?s > ?f ) . { SELECT DISTINCT ?e ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?u ) { ( ontology:Q2235308 ) ( ontology:Q14524493 ) } . ?b rdf:type ?u } GROUP BY ?e } }
Japanese cruiser Takao
action greater
action union
action find_reverse_tuple_counts
relation named after
type ship type
type ship type
action find_reverse_tuple_counts
relation named after
type ship type
type terrain
action count
action filter_multi_types
action find_reverse
entity Japanese cruiser Takao
relation named after
type ship type
type terrain
[[{'concept': 'ship type'}, {'concept': 'terrain'}], 'named after', {'concept': 'ship type'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { ?l property:named_after resource:Japanese_cruiser_Takao . { ?l rdf:type ?z . VALUES ( ?z ) { ( ontology:ship_type ) ( ontology:terrain ) } } } } . FILTER ( ?s > ?f ) . { SELECT DISTINCT ?e ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?u ) { ( ontology:ship_type ) ( ontology:terrain ) } . ?b rdf:type ?u } GROUP BY ?e } }
[]
ship type ship type terrain
Q7872159 Q7868281 Q920520
SYSTEM
USS Navajo, USS Cherokee, USS Kearsarge
Q920520 Q7872159 Q1572254 Q7868281
(c(Q2235308)|c(Q14524493),P138,c(Q2235308))
action greater
action union
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q2235308
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q14524493
action count
action filter_multi_types
action find_reverse
entity Q1812747
relation P138
type Q2235308
type Q14524493
[ANSWERS]
[[{'concept': 'Q2235308'}, {'concept': 'Q14524493'}], 'P138', {'concept': 'Q2235308'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { ?l property:P138 resource:Q1812747 . { ?l rdf:type ?z . VALUES ( ?z ) { ( ontology:Q2235308 ) ( ontology:Q14524493 ) } } } } . FILTER ( ?s > ?f ) . { SELECT DISTINCT ?e ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?u ) { ( ontology:Q2235308 ) ( ontology:Q14524493 ) } . ?b rdf:type ?u } GROUP BY ?e } }
USS Kearsarge USS Navajo USS Bonhomme Richard USS Cherokee
USS Navajo USS Cherokee USS Kearsarge
action greater
action union
action find_reverse_tuple_counts
relation named after
type ship type
type ship type
action find_reverse_tuple_counts
relation named after
type ship type
type terrain
action count
action filter_multi_types
action find_reverse
entity Japanese cruiser Takao
relation named after
type ship type
type terrain
[[{'concept': 'ship type'}, {'concept': 'terrain'}], 'named after', {'concept': 'ship type'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?f ) WHERE { ?l property:named_after resource:Japanese_cruiser_Takao . { ?l rdf:type ?z . VALUES ( ?z ) { ( ontology:ship_type ) ( ontology:terrain ) } } } } . FILTER ( ?s > ?f ) . { SELECT DISTINCT ?e ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?u ) { ( ontology:ship_type ) ( ontology:terrain ) } . ?b rdf:type ?u } GROUP BY ?e } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P532
Q15617994 Q2235308
USER
How many administrative territories serves as the port of registry of atmost 1 ship type ?
(c(Q2235308),P532,c(Q15617994))
action count
action atmost
action find_reverse_tuple_counts
relation P532
type Q15617994
type Q2235308
value 1
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:P532 ?p . ?p rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q2235308 } GROUP BY ?p } . FILTER ( ?y <= 1 ) }
action count
action atmost
action find_reverse_tuple_counts
relation port of registry
type designation for an administrative territorial entity
type ship type
value 1
[{'concept': 'ship type'}, 'port of registry', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:port_of_registry ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:ship_type } GROUP BY ?p } . FILTER ( ?y <= 1 ) }
[]
designation for an administrative territorial entity ship type
SYSTEM
6
Q55 Q233 Q709 Q145 Q20 Q38
(c(Q2235308),P532,c(Q15617994))
action count
action atmost
action find_reverse_tuple_counts
relation P532
type Q15617994
type Q2235308
value 1
[ANSWER]
[{'concept': 'Q2235308'}, 'P532', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:P532 ?p . ?p rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q2235308 } GROUP BY ?p } . FILTER ( ?y <= 1 ) }
Netherlands Malta Marshall Islands United Kingdom Norway Italy
6
action count
action atmost
action find_reverse_tuple_counts
relation port of registry
type designation for an administrative territorial entity
type ship type
value 1
[{'concept': 'ship type'}, 'port of registry', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:port_of_registry ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:ship_type } GROUP BY ?p } . FILTER ( ?y <= 1 ) }
[]