Simple Question (Direct)
Simple Question
Q21203993
P703
Q16521
USER
Which taxon is Ig heavy chain V-III region TRO found in ?
(Q21203993,P703,c(Q16521))
action filter_type
action find
entity Q21203993
relation P703
type Q16521
['Q21203993', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?c WHERE { resource:Q21203993 property:P703 ?c . ?c rdf:type ontology:Q16521 }
Ig heavy chain V-III region TRO
action filter_type
action find
entity Ig heavy chain V-III region TRO
relation found in taxon
type taxon
['Ig heavy chain V-III region TRO', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?c WHERE { resource:Ig_heavy_chain_V-III_region_TRO property:found_in_taxon ?c . ?c rdf:type ontology:taxon }
[]
taxon
Q15978631
SYSTEM
Homo sapiens
Q15978631
(Q21203993,P703,c(Q16521))
action filter_type
action find
entity Q21203993
relation P703
type Q16521
Ig heavy chain V-III region TRO is found in [ANSWER]
['Q21203993', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?c WHERE { resource:Q21203993 property:P703 ?c . ?c rdf:type ontology:Q16521 }
Homo sapiens
Ig heavy chain V-III region TRO is found in Homo sapiens
Homo sapiens
action filter_type
action find
entity Ig heavy chain V-III region TRO
relation found in taxon
type taxon
['Ig heavy chain V-III region TRO', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?c WHERE { resource:Ig_heavy_chain_V-III_region_TRO property:found_in_taxon ?c . ?c rdf:type ontology:taxon }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15978631
P689
Q2057971
USER
What can afflict that taxon ?
(c(Q2057971),P689,Q15978631)
action filter_type
action find_reverse
entity Q15978631
relation P689
type Q2057971
[{'concept': 'Q2057971'}, 'P689', 'Q15978631']
SELECT DISTINCT ?c WHERE { ?c property:P689 resource:Q15978631 . ?c rdf:type ontology:Q2057971 }
Homo sapiens
action filter_type
action find_reverse
entity Homo sapiens
relation afflicts
type health problem
[{'concept': 'health problem'}, 'afflicts', 'Homo sapiens']
SELECT DISTINCT ?c WHERE { ?c property:afflicts resource:Homo_sapiens . ?c rdf:type ontology:health_problem }
[]
health problem
Q403463
SYSTEM
Aicardi syndrome
Q403463
(c(Q2057971),P689,Q15978631)
action filter_type
action find_reverse
entity Q15978631
relation P689
type Q2057971
[ANSWER] can afflict that taxon
[{'concept': 'Q2057971'}, 'P689', 'Q15978631']
SELECT DISTINCT ?c WHERE { ?c property:P689 resource:Q15978631 . ?c rdf:type ontology:Q2057971 }
Aicardi syndrome
Aicardi syndrome can afflict that taxon
Aicardi syndrome
action filter_type
action find_reverse
entity Homo sapiens
relation afflicts
type health problem
[{'concept': 'health problem'}, 'afflicts', 'Homo sapiens']
SELECT DISTINCT ?c WHERE { ?c property:afflicts resource:Homo_sapiens . ?c rdf:type ontology:health_problem }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q403463
P1995
Q1047113
USER
Which special field is the medical speciality of that health problem ?
(Q403463,P1995,c(Q1047113))
action filter_type
action find
entity Q403463
relation P1995
type Q1047113
['Q403463', 'P1995', {'concept': 'Q1047113'}]
SELECT DISTINCT ?d WHERE { resource:Q403463 property:P1995 ?d . ?d rdf:type ontology:Q1047113 }
Aicardi syndrome
action filter_type
action find
entity Aicardi syndrome
relation medical specialty
type special field
['Aicardi syndrome', 'medical specialty', {'concept': 'special field'}]
SELECT DISTINCT ?d WHERE { resource:Aicardi_syndrome property:medical_specialty ?d . ?d rdf:type ontology:special_field }
[]
special field
Q1071953
SYSTEM
medical genetics
Q1071953
(Q403463,P1995,c(Q1047113))
action filter_type
action find
entity Q403463
relation P1995
type Q1047113
[ANSWER] is the medical speciality of that health problem
['Q403463', 'P1995', {'concept': 'Q1047113'}]
SELECT DISTINCT ?d WHERE { resource:Q403463 property:P1995 ?d . ?d rdf:type ontology:Q1047113 }
medical genetics
Medical genetics is the medical speciality of that health problem
medical genetics
action filter_type
action find
entity Aicardi syndrome
relation medical specialty
type special field
['Aicardi syndrome', 'medical specialty', {'concept': 'special field'}]
SELECT DISTINCT ?d WHERE { resource:Aicardi_syndrome property:medical_specialty ?d . ?d rdf:type ontology:special_field }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q1071953 Q40831
P101
Q43229
USER
How many organizations have specialisation in medical genetics or comedy ?
(c(Q43229),P101,Q1071953) (c(Q43229),P101,Q40831)
action count
action union
action filter_type
action find_reverse
entity Q1071953
relation P101
type Q43229
action filter_type
action find_reverse
entity Q40831
relation P101
type Q43229
[{'concept': 'Q43229'}, 'P101', 'Q1071953'] [{'concept': 'Q43229'}, 'P101', 'Q40831']
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { { ?n property:P101 resource:Q1071953 . ?n rdf:type ontology:Q43229 } UNION { ?n rdf:type ontology:Q43229 . ?n property:P101 resource:Q40831 } }
medical genetics comedy
action count
action union
action filter_type
action find_reverse
entity medical genetics
relation field of work
type organization
action filter_type
action find_reverse
entity comedy
relation field of work
type organization
[{'concept': 'organization'}, 'field of work', 'medical genetics'] [{'concept': 'organization'}, 'field of work', 'comedy']
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { { ?n property:field_of_work resource:medical_genetics . ?n rdf:type ontology:organization } UNION { ?n rdf:type ontology:organization . ?n property:field_of_work resource:comedy } }
[]
organization
SYSTEM
2
Q7707897 Q19314966
(c(Q43229),P101,Q1071953) (c(Q43229),P101,Q40831)
action count
action union
action filter_type
action find_reverse
entity Q1071953
relation P101
type Q43229
action filter_type
action find_reverse
entity Q40831
relation P101
type Q43229
[ANSWER]
[{'concept': 'Q43229'}, 'P101', 'Q1071953'] [{'concept': 'Q43229'}, 'P101', 'Q40831']
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { { ?n property:P101 resource:Q1071953 . ?n rdf:type ontology:Q43229 } UNION { ?n rdf:type ontology:Q43229 . ?n property:P101 resource:Q40831 } }
Texas Outlaw Comics theatre comedy group
2
action count
action union
action filter_type
action find_reverse
entity medical genetics
relation field of work
type organization
action filter_type
action find_reverse
entity comedy
relation field of work
type organization
[{'concept': 'organization'}, 'field of work', 'medical genetics'] [{'concept': 'organization'}, 'field of work', 'comedy']
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { { ?n property:field_of_work resource:medical_genetics . ?n rdf:type ontology:organization } UNION { ?n rdf:type ontology:organization . ?n property:field_of_work resource:comedy } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15978631
P427
Q3343211
USER
What is the taxonomic type of Homo sapiens ?
(Q15978631,P427,c(Q3343211))
action filter_type
action find
entity Q15978631
relation P427
type Q3343211
['Q15978631', 'P427', {'concept': 'Q3343211'}]
SELECT DISTINCT ?j WHERE { resource:Q15978631 property:P427 ?j . ?j rdf:type ontology:Q3343211 }
Homo sapiens
action filter_type
action find
entity Homo sapiens
relation taxonomic type
type zoological nomenclature
['Homo sapiens', 'taxonomic type', {'concept': 'zoological nomenclature'}]
SELECT DISTINCT ?j WHERE { resource:Homo_sapiens property:taxonomic_type ?j . ?j rdf:type ontology:zoological_nomenclature }
[]
zoological nomenclature
Q1043
SYSTEM
Carl Linnaeus
Q1043
(Q15978631,P427,c(Q3343211))
action filter_type
action find
entity Q15978631
relation P427
type Q3343211
The taxonomic type of Homo sapiens is named [ANSWER]
['Q15978631', 'P427', {'concept': 'Q3343211'}]
SELECT DISTINCT ?j WHERE { resource:Q15978631 property:P427 ?j . ?j rdf:type ontology:Q3343211 }
Carl Linnaeus
The taxonomic type of Homo sapiens is named Carl Linnaeus
Carl Linnaeus
action filter_type
action find
entity Homo sapiens
relation taxonomic type
type zoological nomenclature
['Homo sapiens', 'taxonomic type', {'concept': 'zoological nomenclature'}]
SELECT DISTINCT ?j WHERE { resource:Homo_sapiens property:taxonomic_type ?j . ?j rdf:type ontology:zoological_nomenclature }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1043
P184
Q502895
USER
Which people have that zoological nomenclature as doctoral supervisor ?
(c(Q502895),P184,Q1043)
action filter_type
action find_reverse
entity Q1043
relation P184
type Q502895
[{'concept': 'Q502895'}, 'P184', 'Q1043']
SELECT DISTINCT ?x WHERE { ?x property:P184 resource:Q1043 . ?x rdf:type ontology:Q502895 }
Carl Linnaeus
action filter_type
action find_reverse
entity Carl Linnaeus
relation doctoral advisor
type common name
[{'concept': 'common name'}, 'doctoral advisor', 'Carl Linnaeus']
SELECT DISTINCT ?x WHERE { ?x property:doctoral_advisor resource:Carl_Linnaeus . ?x rdf:type ontology:common_name }
[]
common name
Q39658 Q719204 Q27684
SYSTEM
Carl Peter Thunberg, Pehr Kalm, Peter Forsskål
Q27684 Q1094656 Q433984 Q593496 Q39658 Q1087036 Q719204 Q1256723
(c(Q502895),P184,Q1043)
action filter_type
action find_reverse
entity Q1043
relation P184
type Q502895
[ANSWERS] have that zoological nomenclature as doctoral supervisor
[{'concept': 'Q502895'}, 'P184', 'Q1043']
SELECT DISTINCT ?x WHERE { ?x property:P184 resource:Q1043 . ?x rdf:type ontology:Q502895 }
Peter Forsskål Clas Alströmer Anders Erikson Sparrman Anton Rolandsson Martin Carl Peter Thunberg Christopher Tärnström Pehr Kalm Leonard Gyllenhaal
Carl Peter Thunberg, Pehr Kalm and Peter Forsskål have that zoological nomenclature as doctoral supervisor
Carl Peter Thunberg Pehr Kalm Peter Forsskål
action filter_type
action find_reverse
entity Carl Linnaeus
relation doctoral advisor
type common name
[{'concept': 'common name'}, 'doctoral advisor', 'Carl Linnaeus']
SELECT DISTINCT ?x WHERE { ?x property:doctoral_advisor resource:Carl_Linnaeus . ?x rdf:type ontology:common_name }
[]
Clarification
Simple Question|Single Entity|Indirect
Q27684
P937
Q56061
USER
Which administrative territories are the work locations of that person ?
(Q27684,P937,c(Q56061))
action filter_type
action find
entity Q27684
relation P937
type Q56061
['Q27684', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q27684 property:P937 ?i . ?i rdf:type ontology:Q56061 }
Peter Forsskål
action filter_type
action find
entity Peter Forsskål
relation work location
type administrative territorial entity
['Peter Forsskål', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Peter_Forsskål property:work_location ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Clarification for simple ques.
Q719204
SYSTEM
Did you mean Pehr Kalm ?
Q39658 Q719204 Q27684
(Q39658,P937,c(Q56061)) (Q719204,P937,c(Q56061)) (Q27684,P937,c(Q56061))
[ANSWER]
['Q39658', 'P937', {'concept': 'Q56061'}] ['Q719204', 'P937', {'concept': 'Q56061'}] ['Q27684', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q27684 property:P937 ?i . ?i rdf:type ontology:Q56061 }
Carl Peter Thunberg Pehr Kalm Peter Forsskål
Did you mean Pehr Kalm ?
Pehr Kalm
['Carl Peter Thunberg', 'work location', {'concept': 'administrative territorial entity'}] ['Pehr Kalm', 'work location', {'concept': 'administrative territorial entity'}] ['Peter Forsskål', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Peter_Forsskål property:work_location ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
USER
No, I meant Peter Forsskål. Could you tell me the answer for that?
(Q27684,P937,c(Q56061))
Q27684
['Q27684', 'P937', {'concept': 'Q56061'}]
['Peter Forsskål', 'work location', {'concept': 'administrative territorial entity'}]
[]
Q25286 Q3033
SYSTEM
Uppsala, Göttingen
Q25286 Q3033
(Q27684,P937,c(Q56061))
action filter_type
action find
entity Q27684
relation P937
type Q56061
[ANSWERS] are the work locations of that person
['Q27684', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?i WHERE { resource:Q27684 property:P937 ?i . ?i rdf:type ontology:Q56061 }
Uppsala Göttingen
Uppsala and Göttingen are the work locations of that person
Uppsala Göttingen
action filter_type
action find
entity Peter Forsskål
relation work location
type administrative territorial entity
['Peter Forsskål', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?i WHERE { resource:Peter_Forsskål property:work_location ?i . ?i rdf:type ontology:administrative_territorial_entity }
[]
Clarification
Simple Question|Single Entity|Indirect
Q25286
P1376
Q1048835
USER
Which political territory has that administrative territory has its first city ?
(Q25286,P1376,c(Q1048835))
action filter_type
action find
entity Q25286
relation P1376
type Q1048835
['Q25286', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q1048835 . resource:Q25286 property:P1376 ?h }
Uppsala
action filter_type
action find
entity Uppsala
relation capital of
type political territorial entity
['Uppsala', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Uppsala property:capital_of ?h }
[]
political territorial entity
Clarification for simple ques.
Q25286
SYSTEM
Did you mean Uppsala ?
Q25286 Q3033
(Q25286,P1376,c(Q1048835)) (Q3033,P1376,c(Q1048835))
[ANSWER]
['Q25286', 'P1376', {'concept': 'Q1048835'}] ['Q3033', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q1048835 . resource:Q25286 property:P1376 ?h }
Uppsala Göttingen
Did you mean Uppsala ?
Uppsala
['Uppsala', 'capital of', {'concept': 'political territorial entity'}] ['Göttingen', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Uppsala property:capital_of ?h }
[]
Simple Question (Coreferenced)
USER
Yes
(Q25286,P1376,c(Q1048835))
['Q25286', 'P1376', {'concept': 'Q1048835'}]
['Uppsala', 'capital of', {'concept': 'political territorial entity'}]
[]
Q104926
SYSTEM
Uppsala County
Q104926
(Q25286,P1376,c(Q1048835))
action filter_type
action find
entity Q25286
relation P1376
type Q1048835
County [ANSWER] has that administrative territory has its first city
['Q25286', 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q1048835 . resource:Q25286 property:P1376 ?h }
Uppsala County
County Uppsala County has that administrative territory has its first city
Uppsala County
action filter_type
action find
entity Uppsala
relation capital of
type political territorial entity
['Uppsala', 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Uppsala property:capital_of ?h }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q104926 Q543153
P47
Q1048835
USER
Does Miguel Esteban have a shared border with that one ?
(Q104926,P47,Q543153)
action is_in
entity Q543153
action find
entity Q104926
relation P47
['Q104926', 'P47', 'Q543153']
ASK WHERE { resource:Q104926 property:P47 resource:Q543153 }
Uppsala County Miguel Esteban
action is_in
entity Miguel Esteban
action find
entity Uppsala County
relation shares border with
['Uppsala County', 'shares border with', 'Miguel Esteban']
ASK WHERE { resource:Uppsala_County property:shares_border_with resource:Miguel_Esteban }
[]
political territorial entity
SYSTEM
NO
(Q104926,P47,Q543153)
action is_in
entity Q543153
action find
entity Q104926
relation P47
[ANSWER]
['Q104926', 'P47', 'Q543153']
ASK WHERE { resource:Q104926 property:P47 resource:Q543153 }
No
action is_in
entity Miguel Esteban
action find
entity Uppsala County
relation shares border with
['Uppsala County', 'shares border with', 'Miguel Esteban']
ASK WHERE { resource:Uppsala_County property:shares_border_with resource:Miguel_Esteban }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q39658 Q40943 Q34
P27
Q15617994
USER
Is Carl Peter Thunberg a civilian of Cavaria con Premezzo and Sweden ?
(Q39658,P27,Q40943) (Q39658,P27,Q34)
action is_in
entity Q39658
action intersection
action find_reverse
entity Q40943
relation P27
action find_reverse
entity Q34
relation P27
['Q39658', 'P27', 'Q40943'] ['Q39658', 'P27', 'Q34']
ASK WHERE { resource:Q39658 property:P27 resource:Q40943 . resource:Q39658 property:P27 resource:Q34 }
Carl Peter Thunberg Cavaria con Premezzo Sweden
action is_in
entity Carl Peter Thunberg
action intersection
action find_reverse
entity Cavaria con Premezzo
relation country of citizenship
action find_reverse
entity Sweden
relation country of citizenship
['Carl Peter Thunberg', 'country of citizenship', 'Cavaria con Premezzo'] ['Carl Peter Thunberg', 'country of citizenship', 'Sweden']
ASK WHERE { resource:Carl_Peter_Thunberg property:country_of_citizenship resource:Cavaria_con_Premezzo . resource:Carl_Peter_Thunberg property:country_of_citizenship resource:Sweden }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q39658,P27,Q40943) (Q39658,P27,Q34)
action is_in
entity Q39658
action intersection
action find_reverse
entity Q40943
relation P27
action find_reverse
entity Q34
relation P27
[ANSWER]
['Q39658', 'P27', 'Q40943'] ['Q39658', 'P27', 'Q34']
ASK WHERE { resource:Q39658 property:P27 resource:Q40943 . resource:Q39658 property:P27 resource:Q34 }
NO and YES respectively
action is_in
entity Carl Peter Thunberg
action intersection
action find_reverse
entity Cavaria con Premezzo
relation country of citizenship
action find_reverse
entity Sweden
relation country of citizenship
['Carl Peter Thunberg', 'country of citizenship', 'Cavaria con Premezzo'] ['Carl Peter Thunberg', 'country of citizenship', 'Sweden']
ASK WHERE { resource:Carl_Peter_Thunberg property:country_of_citizenship resource:Cavaria_con_Premezzo . resource:Carl_Peter_Thunberg property:country_of_citizenship resource:Sweden }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q766
P530
Q1048835 Q1048835
USER
Which political territories have tactful political relations with around the same number of political territories as Jamaica ?
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?p ) AS ?g ) WHERE { ?b property:P530 ?p . ?p rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q1048835 } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) WHERE { resource:Q766 property:P530 ?y . ?y rdf:type ontology:Q1048835 } } . FILTER ( ?g = ?l ) }
Jamaica
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?p ) AS ?g ) WHERE { ?b property:diplomatic_relation ?p . ?p rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:political_territorial_entity } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) WHERE { resource:Jamaica property:diplomatic_relation ?y . ?y rdf:type ontology:political_territorial_entity } } . FILTER ( ?g = ?l ) }
[]
political 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(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[ANSWERS] have tactful political relations with around the same number of political territories as Jamaica
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?p ) AS ?g ) WHERE { ?b property:P530 ?p . ?p rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q1048835 } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) WHERE { resource:Q766 property:P530 ?y . ?y rdf:type ontology:Q1048835 } } . FILTER ( ?g = ?l ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea New Zealand Jamaica
Denmark, Austria and New Zealand have tactful political relations with around the same number of political territories as Jamaica
Denmark Austria New Zealand
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?p ) AS ?g ) WHERE { ?b property:diplomatic_relation ?p . ?p rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:political_territorial_entity } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?y ) AS ?l ) WHERE { resource:Jamaica property:diplomatic_relation ?y . ?y rdf:type ontology:political_territorial_entity } } . FILTER ( ?g = ?l ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q35
P530
Q1048835 Q1048835
USER
And what about Denmark?
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q35
relation P530
type Q1048835
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?q ) WHERE { ?d property:P530 ?g . ?d rdf:type ontology:Q1048835 . ?g rdf:type ontology:Q1048835 } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?n ) WHERE { ?r rdf:type ontology:Q1048835 . resource:Q35 property:P530 ?r } } . FILTER ( ?q = ?n ) }
Denmark
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Denmark
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?q ) WHERE { ?d property:diplomatic_relation ?g . ?d rdf:type ontology:political_territorial_entity . ?g rdf:type ontology:political_territorial_entity } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?n ) WHERE { ?r rdf:type ontology:political_territorial_entity . resource:Denmark property:diplomatic_relation ?r } } . FILTER ( ?q = ?n ) }
[]
political territorial entity political territorial entity
Q35 Q16 Q40
SYSTEM
Denmark, Canada, Austria
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q1048835),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action count
action filter_type
action find
entity Q35
relation P530
type Q1048835
[ANSWERS]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?q ) WHERE { ?d property:P530 ?g . ?d rdf:type ontology:Q1048835 . ?g rdf:type ontology:Q1048835 } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?n ) WHERE { ?r rdf:type ontology:Q1048835 . resource:Q35 property:P530 ?r } } . FILTER ( ?q = ?n ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Denmark Canada Austria
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action count
action filter_type
action find
entity Denmark
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?g ) AS ?q ) WHERE { ?d property:diplomatic_relation ?g . ?d rdf:type ontology:political_territorial_entity . ?g rdf:type ontology:political_territorial_entity } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?n ) WHERE { ?r rdf:type ontology:political_territorial_entity . resource:Denmark property:diplomatic_relation ?r } } . FILTER ( ?q = ?n ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P85
Q7725634 Q484692 Q1048835
USER
Which political territories have an anthem named exactly 2 literary works and hymns ?
(c(Q1048835),P85,c(Q7725634)|c(Q484692))
action equal
action union
action find_tuple_counts
relation P85
type Q1048835
type Q7725634
action find_tuple_counts
relation P85
type Q1048835
type Q484692
value 2
[{'concept': 'Q1048835'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?r ) AS ?x ) WHERE { { ?y property:P85 ?r . ?y rdf:type ontology:Q1048835 . ?r rdf:type ontology:Q484692 } UNION { ?y property:P85 ?r . ?y rdf:type ontology:Q1048835 . ?r rdf:type ontology:Q7725634 } } GROUP BY ?y } . FILTER ( ?x = 2 ) }
action equal
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
value 2
[{'concept': 'political territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?r ) AS ?x ) WHERE { { ?y property:anthem ?r . ?y rdf:type ontology:political_territorial_entity . ?r rdf:type ontology:hymn } UNION { ?y property:anthem ?r . ?y rdf:type ontology:political_territorial_entity . ?r rdf:type ontology:literary_work } } GROUP BY ?y } . FILTER ( ?x = 2 ) }
[]
literary work hymn political territorial entity
Q408 Q35 Q769
SYSTEM
Australia, Denmark, Grenada
Q769 Q766 Q781 Q35 Q408
(c(Q1048835),P85,c(Q7725634)|c(Q484692))
action equal
action union
action find_tuple_counts
relation P85
type Q1048835
type Q7725634
action find_tuple_counts
relation P85
type Q1048835
type Q484692
value 2
[ANSWERS] have an anthem named exactly 2 literary works and hymns
[{'concept': 'Q1048835'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?r ) AS ?x ) WHERE { { ?y property:P85 ?r . ?y rdf:type ontology:Q1048835 . ?r rdf:type ontology:Q484692 } UNION { ?y property:P85 ?r . ?y rdf:type ontology:Q1048835 . ?r rdf:type ontology:Q7725634 } } GROUP BY ?y } . FILTER ( ?x = 2 ) }
Grenada Jamaica Antigua and Barbuda Denmark Australia
Australia, Denmark and Grenada have an anthem named exactly 2 literary works and hymns
Australia Denmark Grenada
action equal
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
value 2
[{'concept': 'political territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?r ) AS ?x ) WHERE { { ?y property:anthem ?r . ?y rdf:type ontology:political_territorial_entity . ?r rdf:type ontology:hymn } UNION { ?y property:anthem ?r . ?y rdf:type ontology:political_territorial_entity . ?r rdf:type ontology:literary_work } } GROUP BY ?y } . FILTER ( ?x = 2 ) }
[]