Simple Question (Direct)
Simple Question
Q15609483
P21
Q290
USER
Which sex does Alexandre Cropanese possess ?
(Q15609483,P21,c(Q290))
action filter_type
action find
entity Q15609483
relation P21
type Q290
['Q15609483', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?j WHERE { resource:Q15609483 property:P21 ?j . ?j rdf:type ontology:Q290 }
Alexandre Cropanese
action filter_type
action find
entity Alexandre Cropanese
relation gender
type sex
['Alexandre Cropanese', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?j WHERE { resource:Alexandre_Cropanese property:gender ?j . ?j rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q15609483,P21,c(Q290))
action filter_type
action find
entity Q15609483
relation P21
type Q290
Alexandre Cropanese possesses a [ANSWER]
['Q15609483', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?j WHERE { resource:Q15609483 property:P21 ?j . ?j rdf:type ontology:Q290 }
male
Alexandre Cropanese possesses a male
male
action filter_type
action find
entity Alexandre Cropanese
relation gender
type sex
['Alexandre Cropanese', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?j WHERE { resource:Alexandre_Cropanese property:gender ?j . ?j rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15609483
P641
Q349
USER
Which sport was Alexandre Cropanese a part of ?
(Q15609483,P641,c(Q349))
action filter_type
action find
entity Q15609483
relation P641
type Q349
['Q15609483', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?g WHERE { resource:Q15609483 property:P641 ?g . ?g rdf:type ontology:Q349 }
Alexandre Cropanese
action filter_type
action find
entity Alexandre Cropanese
relation sport
type sport
['Alexandre Cropanese', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?g WHERE { resource:Alexandre_Cropanese property:sport ?g . ?g rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q15609483,P641,c(Q349))
action filter_type
action find
entity Q15609483
relation P641
type Q349
Which sport was Alexandre Cropanese a part of
['Q15609483', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?g WHERE { resource:Q15609483 property:P641 ?g . ?g rdf:type ontology:Q349 }
association football
Which sport was Alexandre Cropanese a part of
association football
action filter_type
action find
entity Alexandre Cropanese
relation sport
type sport
['Alexandre Cropanese', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?g WHERE { resource:Alexandre_Cropanese property:sport ?g . ?g rdf:type ontology:sport }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q22995958 Q15609483
P27 P1001
Q15617994
USER
Which administrative territories are the countries of citizenship of Alexandre Cropanese or belong to jurisdiction of act of the General Assembly of Newfoundland and Labrador ?
OR((Q15609483,P27,c(Q15617994)), (Q22995958,P1001,c(Q15617994)))
action filter_type
action union
action find
entity Q15609483
relation P27
action find
entity Q22995958
relation P1001
type Q15617994
{'OR': [['Q15609483', 'P27', {'concept': 'Q15617994'}], ['Q22995958', 'P1001', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q15609483 property:P27 ?c } UNION { resource:Q22995958 property:P1001 ?c } } . ?c rdf:type ontology:Q15617994 }
act of the General Assembly of Newfoundland and Labrador Alexandre Cropanese
action filter_type
action union
action find
entity Alexandre Cropanese
relation country of citizenship
action find
entity act of the General Assembly of Newfoundland and Labrador
relation applies to jurisdiction
type designation for an administrative territorial entity
{'OR': [['Alexandre Cropanese', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['act of the General Assembly of Newfoundland and Labrador', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Alexandre_Cropanese property:country_of_citizenship ?c } UNION { resource:act_of_the_General_Assembly_of_Newfoundland_and_Labrador property:applies_to_jurisdiction ?c } } . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q2003
SYSTEM
France, Newfoundland and Labrador
Q142 Q2003
OR((Q15609483,P27,c(Q15617994)), (Q22995958,P1001,c(Q15617994)))
action filter_type
action union
action find
entity Q15609483
relation P27
action find
entity Q22995958
relation P1001
type Q15617994
[ANSWERS] are the countries of citizenship of Alexandre Cropanese or belong to jurisdiction of act of the General Assembly of Newfoundland and Labrador
{'OR': [['Q15609483', 'P27', {'concept': 'Q15617994'}], ['Q22995958', 'P1001', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q15609483 property:P27 ?c } UNION { resource:Q22995958 property:P1001 ?c } } . ?c rdf:type ontology:Q15617994 }
France Newfoundland and Labrador
France and Newfoundland and Labrador are the countries of citizenship of Alexandre Cropanese or belong to jurisdiction of act of the General Assembly of Newfoundland and Labrador
France Newfoundland and Labrador
action filter_type
action union
action find
entity Alexandre Cropanese
relation country of citizenship
action find
entity act of the General Assembly of Newfoundland and Labrador
relation applies to jurisdiction
type designation for an administrative territorial entity
{'OR': [['Alexandre Cropanese', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['act of the General Assembly of Newfoundland and Labrador', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Alexandre_Cropanese property:country_of_citizenship ?c } UNION { resource:act_of_the_General_Assembly_of_Newfoundland_and_Labrador property:applies_to_jurisdiction ?c } } . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1174000 Q2003
P27 P17
Q1048835
USER
Which political territories are Newfoundland and Labrador a part of or are David Christoffer Mettlerkamp a civilian of ?
OR((Q2003,P17,c(Q1048835)), (Q1174000,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q2003
relation P17
action find
entity Q1174000
relation P27
type Q1048835
{'OR': [['Q2003', 'P17', {'concept': 'Q1048835'}], ['Q1174000', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q2003 property:P17 ?s } UNION { resource:Q1174000 property:P27 ?s } } . ?s rdf:type ontology:Q1048835 }
David Christoffer Mettlerkamp Newfoundland and Labrador
action filter_type
action union
action find
entity Newfoundland and Labrador
relation country
action find
entity David Christoffer Mettlerkamp
relation country of citizenship
type political territorial entity
{'OR': [['Newfoundland and Labrador', 'country', {'concept': 'political territorial entity'}], ['David Christoffer Mettlerkamp', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Newfoundland_and_Labrador property:country ?s } UNION { resource:David_Christoffer_Mettlerkamp property:country_of_citizenship ?s } } . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q16 Q183
SYSTEM
Canada, Germany
Q16 Q183
OR((Q2003,P17,c(Q1048835)), (Q1174000,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q2003
relation P17
action find
entity Q1174000
relation P27
type Q1048835
[ANSWERS] are Newfoundland and Labrador a part of or are David Christoffer Mettlerkamp a civilian of
{'OR': [['Q2003', 'P17', {'concept': 'Q1048835'}], ['Q1174000', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q2003 property:P17 ?s } UNION { resource:Q1174000 property:P27 ?s } } . ?s rdf:type ontology:Q1048835 }
Canada Germany
Canada and Germany are Newfoundland and Labrador a part of or are David Christoffer Mettlerkamp a civilian of
Canada Germany
action filter_type
action union
action find
entity Newfoundland and Labrador
relation country
action find
entity David Christoffer Mettlerkamp
relation country of citizenship
type political territorial entity
{'OR': [['Newfoundland and Labrador', 'country', {'concept': 'political territorial entity'}], ['David Christoffer Mettlerkamp', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Newfoundland_and_Labrador property:country ?s } UNION { resource:David_Christoffer_Mettlerkamp property:country_of_citizenship ?s } } . ?s rdf:type ontology:political_territorial_entity }
[]
Clarification
Simple Question|Single Entity|Indirect
Q16
P710
Q178561
USER
Which battle was that political territory a participant of ?
(c(Q178561),P710,Q16)
action filter_type
action find_reverse
entity Q16
relation P710
type Q178561
[{'concept': 'Q178561'}, 'P710', 'Q16']
SELECT DISTINCT ?d WHERE { ?d property:P710 resource:Q16 . ?d rdf:type ontology:Q178561 }
Canada
action filter_type
action find_reverse
entity Canada
relation participant
type battle
[{'concept': 'battle'}, 'participant', 'Canada']
SELECT DISTINCT ?d WHERE { ?d property:participant resource:Canada . ?d rdf:type ontology:battle }
[]
battle
Clarification for simple ques.
Q183
SYSTEM
Did you mean Germany ?
Q16 Q183
(c(Q178561),P710,Q16) (c(Q178561),P710,Q183)
[ANSWER]
[{'concept': 'Q178561'}, 'P710', 'Q16'] [{'concept': 'Q178561'}, 'P710', 'Q183']
SELECT DISTINCT ?d WHERE { ?d property:P710 resource:Q16 . ?d rdf:type ontology:Q178561 }
Canada Germany
Did you mean Germany ?
Germany
[{'concept': 'battle'}, 'participant', 'Canada'] [{'concept': 'battle'}, 'participant', 'Germany']
SELECT DISTINCT ?d WHERE { ?d property:participant resource:Canada . ?d rdf:type ontology:battle }
[]
Simple Question (Coreferenced)
USER
No, I meant Canada. Could you tell me the answer for that?
(c(Q178561),P710,Q16)
Q16
[{'concept': 'Q178561'}, 'P710', 'Q16']
[{'concept': 'battle'}, 'participant', 'Canada']
[]
Q156554
SYSTEM
Battle of Jutland
Q156554
(c(Q178561),P710,Q16)
action filter_type
action find_reverse
entity Q16
relation P710
type Q178561
[ANSWER] was that political territory a participant of
[{'concept': 'Q178561'}, 'P710', 'Q16']
SELECT DISTINCT ?d WHERE { ?d property:P710 resource:Q16 . ?d rdf:type ontology:Q178561 }
Battle of Jutland
Battle of Jutland was that political territory a participant of
Battle of Jutland
action filter_type
action find_reverse
entity Canada
relation participant
type battle
[{'concept': 'battle'}, 'participant', 'Canada']
SELECT DISTINCT ?d WHERE { ?d property:participant resource:Canada . ?d rdf:type ontology:battle }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q16
P159
Q43229 Q740752
USER
How many organizations and transport companies have headquarters located at Canada ?
(c(Q43229),P159,Q16) (c(Q740752),P159,Q16)
action count
action union
action filter_type
action find_reverse
entity Q16
relation P159
type Q43229
action filter_type
action find_reverse
entity Q16
relation P159
type Q740752
[{'concept': 'Q43229'}, 'P159', 'Q16'] [{'concept': 'Q740752'}, 'P159', 'Q16']
SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) WHERE { { ?d property:P159 resource:Q16 . ?d rdf:type ontology:Q740752 } UNION { ?d rdf:type ontology:Q43229 . ?d property:P159 resource:Q16 } }
Canada
action count
action union
action filter_type
action find_reverse
entity Canada
relation headquarters location
type organization
action filter_type
action find_reverse
entity Canada
relation headquarters location
type transport company
[{'concept': 'organization'}, 'headquarters location', 'Canada'] [{'concept': 'transport company'}, 'headquarters location', 'Canada']
SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) WHERE { { ?d property:headquarters_location resource:Canada . ?d rdf:type ontology:transport_company } UNION { ?d rdf:type ontology:organization . ?d property:headquarters_location resource:Canada } }
[]
organization transport company
SYSTEM
32 organizations and 4 transport companies
Q4915270 Q5130893 Q16844433 Q4929023 Q2827955 Q3041975 Q3578623 Q5164747 Q17016809 Q5030175 Q6044992 Q5278283 Q4273673 Q5011938 Q2994090 Q3569281 Q5710158 Q3487726 Q18208352 Q7072749 Q7622866 Q2994087 Q7538048 Q3489548 Q3002071 Q3086666 Q5522275 Q3487952 Q17400092 Q4811599 Q1419806 Q3488913 Q5310019 Q714107 Q6030366 Q2981842
(c(Q43229),P159,Q16) (c(Q740752),P159,Q16)
action count
action union
action filter_type
action find_reverse
entity Q16
relation P159
type Q43229
action filter_type
action find_reverse
entity Q16
relation P159
type Q740752
[ANSWER]
[{'concept': 'Q43229'}, 'P159', 'Q16'] [{'concept': 'Q740752'}, 'P159', 'Q16']
SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) WHERE { { ?d property:P159 resource:Q16 . ?d rdf:type ontology:Q740752 } UNION { ?d rdf:type ontology:Q43229 . ?d property:P159 resource:Q16 } }
Bioscrypt Inc. Clearnet HomeSense Blue Cross Canada Les Ailes de la Mode Dynamic Structures Canadian Forces Exchange System Consumers Software Quidditch Canada Canadian Institute for Health Information InterTAN Dingwall Designer Guitars ALOE Systems CIT Sorel-Varennes CIT Roussillon Windmill Software Help the Aged Canada Canadian Paediatric Society Certified Health Executive ONEXONE Street Kids International CIT Le Richelain Skystone Systems Solo Mobile Craig Wireless Fraser Milner Casgrain Garden Networks Nuclear Waste Management Organization (Canada) Mallette Astron-6 BTJunkie Transport Scolaire Sogesco DuProprio.com Artumas Group InfoInterActive Corus Québec
32 organizations and 4 transport companies
action count
action union
action filter_type
action find_reverse
entity Canada
relation headquarters location
type organization
action filter_type
action find_reverse
entity Canada
relation headquarters location
type transport company
[{'concept': 'organization'}, 'headquarters location', 'Canada'] [{'concept': 'transport company'}, 'headquarters location', 'Canada']
SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) WHERE { { ?d property:headquarters_location resource:Canada . ?d rdf:type ontology:transport_company } UNION { ?d rdf:type ontology:organization . ?d property:headquarters_location resource:Canada } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q19037504 Q183
P530 P17
Q15617994
USER
Which administrative territories have a diplomatic relationship with Germany and do Pittsburgh belong to ?
AND((Q183,P530,c(Q15617994)), (Q19037504,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q183
relation P530
action find
entity Q19037504
relation P17
type Q15617994
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], ['Q19037504', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { resource:Q183 property:P530 ?s . resource:Q19037504 property:P17 ?s . ?s rdf:type ontology:Q15617994 }
Pittsburgh Germany
action filter_type
action intersection
action find
entity Germany
relation diplomatic relation
action find
entity Pittsburgh
relation country
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Pittsburgh', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { resource:Germany property:diplomatic_relation ?s . resource:Pittsburgh property:country ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
AND((Q183,P530,c(Q15617994)), (Q19037504,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q183
relation P530
action find
entity Q19037504
relation P17
type Q15617994
[ANSWER] have a diplomatic relationship with Germany and do Pittsburgh belong to
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], ['Q19037504', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { resource:Q183 property:P530 ?s . resource:Q19037504 property:P17 ?s . ?s rdf:type ontology:Q15617994 }
United States of America
United States of America have a diplomatic relationship with Germany and do Pittsburgh belong to
United States of America
action filter_type
action intersection
action find
entity Germany
relation diplomatic relation
action find
entity Pittsburgh
relation country
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Pittsburgh', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { resource:Germany property:diplomatic_relation ?s . resource:Pittsburgh property:country ?s . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q35672
P85
Q7725634 Q484692 Q1048835
USER
How many political territories have greater number of literary works and hymns as their national anthem than Pitcairn Islands ?
(c(Q1048835),P85,c(Q7725634)|c(Q484692))
action count
action greater
action union
action find_tuple_counts
relation P85
type Q1048835
type Q7725634
action find_tuple_counts
relation P85
type Q1048835
type Q484692
action count
action filter_multi_types
action find
entity Q35672
relation P85
type Q7725634
type Q484692
[{'concept': 'Q1048835'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?c ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?p ) WHERE { ?e rdf:type ?f . VALUES ( ?f ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?w ) WHERE { { { ?o rdf:type ontology:Q484692 } UNION { ?o rdf:type ontology:Q7725634 } } . resource:Q35672 property:P85 ?o } } . FILTER ( ?p > ?w ) }
Pitcairn Islands
action count
action greater
action union
action find_tuple_counts
relation anthem
type political territorial entity
type literary work
action find_tuple_counts
relation anthem
type political territorial entity
type hymn
action count
action filter_multi_types
action find
entity Pitcairn Islands
relation anthem
type literary work
type hymn
[{'concept': 'political territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?c ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?p ) WHERE { ?e rdf:type ?f . VALUES ( ?f ) { ( ontology:literary_work ) ( ontology:hymn ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?w ) WHERE { { { ?o rdf:type ontology:hymn } UNION { ?o rdf:type ontology:literary_work } } . resource:Pitcairn_Islands property:anthem ?o } } . FILTER ( ?p > ?w ) }
[]
literary work hymn political territorial entity
SYSTEM
5
Q769 Q766 Q781 Q35 Q408
(c(Q1048835),P85,c(Q7725634)|c(Q484692))
action count
action greater
action union
action find_tuple_counts
relation P85
type Q1048835
type Q7725634
action find_tuple_counts
relation P85
type Q1048835
type Q484692
action count
action filter_multi_types
action find
entity Q35672
relation P85
type Q7725634
type Q484692
[ANSWER]
[{'concept': 'Q1048835'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?c ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?p ) WHERE { ?e rdf:type ?f . VALUES ( ?f ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?w ) WHERE { { { ?o rdf:type ontology:Q484692 } UNION { ?o rdf:type ontology:Q7725634 } } . resource:Q35672 property:P85 ?o } } . FILTER ( ?p > ?w ) }
Grenada Jamaica Antigua and Barbuda Denmark Australia
5
action count
action greater
action union
action find_tuple_counts
relation anthem
type political territorial entity
type literary work
action find_tuple_counts
relation anthem
type political territorial entity
type hymn
action count
action filter_multi_types
action find
entity Pitcairn Islands
relation anthem
type literary work
type hymn
[{'concept': 'political territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ( COUNT ( ?x ) AS ?c ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?e ) AS ?p ) WHERE { ?e rdf:type ?f . VALUES ( ?f ) { ( ontology:literary_work ) ( ontology:hymn ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?w ) WHERE { { { ?o rdf:type ontology:hymn } UNION { ?o rdf:type ontology:literary_work } } . resource:Pitcairn_Islands property:anthem ?o } } . FILTER ( ?p > ?w ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1000
P85
Q7725634 Q484692 Q1048835
USER
And how about Gabon?
(c(Q1048835),P85,c(Q7725634)|c(Q484692))
action count
action greater
action union
action find_tuple_counts
relation P85
type Q1048835
type Q7725634
action find_tuple_counts
relation P85
type Q1048835
type Q484692
action count
action filter_multi_types
action find
entity Q1000
relation P85
type Q7725634
type Q484692
[{'concept': 'Q1048835'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?e ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?s ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?y rdf:type ?s } GROUP BY ?q } . FILTER ( ?x > ?n ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?n ) WHERE { resource:Q1000 property:P85 ?p . { ?p rdf:type ?b . VALUES ( ?b ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } } } } }
Gabon
action count
action greater
action union
action find_tuple_counts
relation anthem
type political territorial entity
type literary work
action find_tuple_counts
relation anthem
type political territorial entity
type hymn
action count
action filter_multi_types
action find
entity Gabon
relation anthem
type literary work
type hymn
[{'concept': 'political territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?e ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?s ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?y rdf:type ?s } GROUP BY ?q } . FILTER ( ?x > ?n ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?n ) WHERE { resource:Gabon property:anthem ?p . { ?p rdf:type ?b . VALUES ( ?b ) { ( ontology:literary_work ) ( ontology:hymn ) } } } } }
[]
literary work hymn political territorial entity
SYSTEM
5
Q769 Q766 Q781 Q35 Q408
(c(Q1048835),P85,c(Q7725634)|c(Q484692))
action count
action greater
action union
action find_tuple_counts
relation P85
type Q1048835
type Q7725634
action find_tuple_counts
relation P85
type Q1048835
type Q484692
action count
action filter_multi_types
action find
entity Q1000
relation P85
type Q7725634
type Q484692
[ANSWER]
[{'concept': 'Q1048835'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?e ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?s ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?y rdf:type ?s } GROUP BY ?q } . FILTER ( ?x > ?n ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?n ) WHERE { resource:Q1000 property:P85 ?p . { ?p rdf:type ?b . VALUES ( ?b ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } } } } }
Grenada Jamaica Antigua and Barbuda Denmark Australia
5
action count
action greater
action union
action find_tuple_counts
relation anthem
type political territorial entity
type literary work
action find_tuple_counts
relation anthem
type political territorial entity
type hymn
action count
action filter_multi_types
action find
entity Gabon
relation anthem
type literary work
type hymn
[{'concept': 'political territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?e ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?y ) AS ?x ) WHERE { VALUES ( ?s ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?y rdf:type ?s } GROUP BY ?q } . FILTER ( ?x > ?n ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?n ) WHERE { resource:Gabon property:anthem ?p . { ?p rdf:type ?b . VALUES ( ?b ) { ( ontology:literary_work ) ( ontology:hymn ) } } } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q16
P530
Q15617994 Q1048835
USER
Which political territories have ambassadorial relations with less number of administrative territories than Canada ?
(c(Q1048835),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q16
relation P530
type Q15617994
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?n < ?g ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { resource:Q16 property:P530 ?t . ?t rdf:type ontology:Q15617994 } } . { SELECT DISTINCT ?z ( COUNT ( ?d ) AS ?n ) WHERE { ?z property:P530 ?d . ?z rdf:type ontology:Q1048835 . ?d rdf:type ontology:Q15617994 } GROUP BY ?z } }
Canada
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Canada
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?n < ?g ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { resource:Canada property:diplomatic_relation ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity } } . { SELECT DISTINCT ?z ( COUNT ( ?d ) AS ?n ) WHERE { ?z property:diplomatic_relation ?d . ?z rdf:type ontology:political_territorial_entity . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?z } }
[]
designation for an administrative territorial entity political territorial entity
Q35 Q40 Q664
SYSTEM
Denmark, Austria, New Zealand
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q664 Q766
(c(Q1048835),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q16
relation P530
type Q15617994
[ANSWERS] have ambassadorial relations with less number of administrative territories than Canada
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?n < ?g ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { resource:Q16 property:P530 ?t . ?t rdf:type ontology:Q15617994 } } . { SELECT DISTINCT ?z ( COUNT ( ?d ) AS ?n ) WHERE { ?z property:P530 ?d . ?z rdf:type ontology:Q1048835 . ?d rdf:type ontology:Q15617994 } GROUP BY ?z } }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea New Zealand Jamaica
Denmark, Austria and New Zealand have ambassadorial relations with less number of administrative territories than Canada
Denmark Austria New Zealand
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Canada
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?n < ?g ) . { SELECT DISTINCT ( COUNT ( ?t ) AS ?g ) WHERE { resource:Canada property:diplomatic_relation ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity } } . { SELECT DISTINCT ?z ( COUNT ( ?d ) AS ?n ) WHERE { ?z property:diplomatic_relation ?d . ?z rdf:type ontology:political_territorial_entity . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?z } }
[]