Simple Question (Direct)
Simple Question
Q111999
P184
Q502895
USER
Which person was the doctoral advisor of Franz Mertens ?
(Q111999,P184,c(Q502895))
action filter_type
action find
entity Q111999
relation P184
type Q502895
['Q111999', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?a WHERE { resource:Q111999 property:P184 ?a . ?a rdf:type ontology:Q502895 }
Franz Mertens
action filter_type
action find
entity Franz Mertens
relation doctoral advisor
type common name
['Franz Mertens', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?a WHERE { resource:Franz_Mertens property:doctoral_advisor ?a . ?a rdf:type ontology:common_name }
[]
common name
Q57245
SYSTEM
Ernst Kummer
Q57245
(Q111999,P184,c(Q502895))
action filter_type
action find
entity Q111999
relation P184
type Q502895
[ANSWER] was the doctoral advisor of Franz Mertens
['Q111999', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?a WHERE { resource:Q111999 property:P184 ?a . ?a rdf:type ontology:Q502895 }
Ernst Kummer
Ernst Kummer was the doctoral advisor of Franz Mertens
Ernst Kummer
action filter_type
action find
entity Franz Mertens
relation doctoral advisor
type common name
['Franz Mertens', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?a WHERE { resource:Franz_Mertens property:doctoral_advisor ?a . ?a rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q57245
P101
Q11862829
USER
What is the field of work of that person ?
(Q57245,P101,c(Q11862829))
action filter_type
action find
entity Q57245
relation P101
type Q11862829
['Q57245', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?o WHERE { resource:Q57245 property:P101 ?o . ?o rdf:type ontology:Q11862829 }
Ernst Kummer
action filter_type
action find
entity Ernst Kummer
relation field of work
type academic discipline
['Ernst Kummer', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?o WHERE { resource:Ernst_Kummer property:field_of_work ?o . ?o rdf:type ontology:academic_discipline }
[]
academic discipline
Q12479
SYSTEM
number theory
Q12479
(Q57245,P101,c(Q11862829))
action filter_type
action find
entity Q57245
relation P101
type Q11862829
The field of work of that person is a [ANSWER]
['Q57245', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?o WHERE { resource:Q57245 property:P101 ?o . ?o rdf:type ontology:Q11862829 }
number theory
The field of work of that person is a number theory
number theory
action filter_type
action find
entity Ernst Kummer
relation field of work
type academic discipline
['Ernst Kummer', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?o WHERE { resource:Ernst_Kummer property:field_of_work ?o . ?o rdf:type ontology:academic_discipline }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q12479
P361
Q336
USER
Which science is that academic discipline a part of ?
(Q12479,P361,c(Q336))
action filter_type
action find
entity Q12479
relation P361
type Q336
['Q12479', 'P361', {'concept': 'Q336'}]
SELECT DISTINCT ?n WHERE { resource:Q12479 property:P361 ?n . ?n rdf:type ontology:Q336 }
number theory
action filter_type
action find
entity number theory
relation part of
type science
['number theory', 'part of', {'concept': 'science'}]
SELECT DISTINCT ?n WHERE { resource:number_theory property:part_of ?n . ?n rdf:type ontology:science }
[]
science
Q395
SYSTEM
mathematics
Q395
(Q12479,P361,c(Q336))
action filter_type
action find
entity Q12479
relation P361
type Q336
[ANSWER] is that academic discipline a part of
['Q12479', 'P361', {'concept': 'Q336'}]
SELECT DISTINCT ?n WHERE { resource:Q12479 property:P361 ?n . ?n rdf:type ontology:Q336 }
mathematics
Mathematics is that academic discipline a part of
mathematics
action filter_type
action find
entity number theory
relation part of
type science
['number theory', 'part of', {'concept': 'science'}]
SELECT DISTINCT ?n WHERE { resource:number_theory property:part_of ?n . ?n rdf:type ontology:science }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Indirect
P101
Q336 Q43229
USER
How many sciences are the fields of work of lesser number of organizations than that science ?
(c(Q43229),P101,c(Q336))
action count
action less
action find_tuple_counts
relation P101
type Q336
type Q43229
action count
action filter_type
action find
entity Q395
relation P101
type Q336
[{'concept': 'Q43229'}, 'P101', {'concept': 'Q336'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?m ) WHERE { resource:Q395 property:P101 ?z . ?z rdf:type ontology:Q336 } } . FILTER ( ?t < ?m ) . { SELECT DISTINCT ?g ( COUNT ( ?k ) AS ?t ) WHERE { ?g rdf:type ontology:Q336 . ?k rdf:type ontology:Q43229 . ?g property:P101 ?k } GROUP BY ?g } }
action count
action less
action find_tuple_counts
relation field of work
type science
type organization
action count
action filter_type
action find
entity mathematics
relation field of work
type science
[{'concept': 'organization'}, 'field of work', {'concept': 'science'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?m ) WHERE { resource:mathematics property:field_of_work ?z . ?z rdf:type ontology:science } } . FILTER ( ?t < ?m ) . { SELECT DISTINCT ?g ( COUNT ( ?k ) AS ?t ) WHERE { ?g rdf:type ontology:science . ?k rdf:type ontology:organization . ?g property:field_of_work ?k } GROUP BY ?g } }
[]
science organization
SYSTEM
0
(c(Q43229),P101,c(Q336))
action count
action less
action find_tuple_counts
relation P101
type Q336
type Q43229
action count
action filter_type
action find
entity Q395
relation P101
type Q336
[ANSWER]
[{'concept': 'Q43229'}, 'P101', {'concept': 'Q336'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?m ) WHERE { resource:Q395 property:P101 ?z . ?z rdf:type ontology:Q336 } } . FILTER ( ?t < ?m ) . { SELECT DISTINCT ?g ( COUNT ( ?k ) AS ?t ) WHERE { ?g rdf:type ontology:Q336 . ?k rdf:type ontology:Q43229 . ?g property:P101 ?k } GROUP BY ?g } }
0
action count
action less
action find_tuple_counts
relation field of work
type science
type organization
action count
action filter_type
action find
entity mathematics
relation field of work
type science
[{'concept': 'organization'}, 'field of work', {'concept': 'science'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?m ) WHERE { resource:mathematics property:field_of_work ?z . ?z rdf:type ontology:science } } . FILTER ( ?t < ?m ) . { SELECT DISTINCT ?g ( COUNT ( ?k ) AS ?t ) WHERE { ?g rdf:type ontology:science . ?k rdf:type ontology:organization . ?g property:field_of_work ?k } GROUP BY ?g } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q1798603
P1303
Q34379 Q502895
USER
How many musical instruments can lesser number of people perform with than string instrument ?
(c(Q502895),P1303,c(Q34379))
action count
action less
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find_reverse
entity Q1798603
relation P1303
type Q502895
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?q ) WHERE { ?c property:P1303 ?b . ?c rdf:type ontology:Q502895 . ?b rdf:type ontology:Q34379 } GROUP BY ?b } . FILTER ( ?q < ?s ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { ?r property:P1303 resource:Q1798603 . ?r rdf:type ontology:Q502895 } } }
string instrument
action count
action less
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find_reverse
entity string instrument
relation instrument
type common name
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?q ) WHERE { ?c property:instrument ?b . ?c rdf:type ontology:common_name . ?b rdf:type ontology:musical_instrument } GROUP BY ?b } . FILTER ( ?q < ?s ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { ?r property:instrument resource:string_instrument . ?r rdf:type ontology:common_name } } }
[]
musical instrument common name
SYSTEM
3
Q1879664 Q748455 Q173453
(c(Q502895),P1303,c(Q34379))
action count
action less
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find_reverse
entity Q1798603
relation P1303
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?q ) WHERE { ?c property:P1303 ?b . ?c rdf:type ontology:Q502895 . ?b rdf:type ontology:Q34379 } GROUP BY ?b } . FILTER ( ?q < ?s ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { ?r property:P1303 resource:Q1798603 . ?r rdf:type ontology:Q502895 } } }
spoon cajón wind instrument
3
action count
action less
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find_reverse
entity string instrument
relation instrument
type common name
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?c ) AS ?q ) WHERE { ?c property:instrument ?b . ?c rdf:type ontology:common_name . ?b rdf:type ontology:musical_instrument } GROUP BY ?b } . FILTER ( ?q < ?s ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?s ) WHERE { ?r property:instrument resource:string_instrument . ?r rdf:type ontology:common_name } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Incomplete
Q713298
P1303
Q34379 Q502895
USER
And also tell me about geomungo?
(c(Q502895),P1303,c(Q34379))
action count
action less
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find_reverse
entity Q713298
relation P1303
type Q502895
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?a ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?j ) AS ?t ) WHERE { ?j property:P1303 ?w . ?j rdf:type ontology:Q502895 . ?w rdf:type ontology:Q34379 } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?m ) WHERE { ?d property:P1303 resource:Q713298 . ?d rdf:type ontology:Q502895 } } . FILTER ( ?t < ?m ) }
geomungo
action count
action less
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find_reverse
entity geomungo
relation instrument
type common name
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?a ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?j ) AS ?t ) WHERE { ?j property:instrument ?w . ?j rdf:type ontology:common_name . ?w rdf:type ontology:musical_instrument } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?m ) WHERE { ?d property:instrument resource:geomungo . ?d rdf:type ontology:common_name } } . FILTER ( ?t < ?m ) }
[]
musical instrument common name
SYSTEM
3
Q1879664 Q748455 Q173453
(c(Q502895),P1303,c(Q34379))
action count
action less
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find_reverse
entity Q713298
relation P1303
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?a ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?j ) AS ?t ) WHERE { ?j property:P1303 ?w . ?j rdf:type ontology:Q502895 . ?w rdf:type ontology:Q34379 } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?m ) WHERE { ?d property:P1303 resource:Q713298 . ?d rdf:type ontology:Q502895 } } . FILTER ( ?t < ?m ) }
spoon cajón wind instrument
3
action count
action less
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find_reverse
entity geomungo
relation instrument
type common name
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?w ) AS ?a ) WHERE { { SELECT DISTINCT ?w ( COUNT ( ?j ) AS ?t ) WHERE { ?j property:instrument ?w . ?j rdf:type ontology:common_name . ?w rdf:type ontology:musical_instrument } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?m ) WHERE { ?d property:instrument resource:geomungo . ?d rdf:type ontology:common_name } } . FILTER ( ?t < ?m ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P805
Q336 Q3249551
USER
Which processes are the subject of max number of sciences ?
(c(Q3249551),P805,c(Q336))
action argmax
action find_tuple_counts
relation P805
type Q3249551
type Q336
[{'concept': 'Q3249551'}, 'P805', {'concept': 'Q336'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?j ) { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?s ) WHERE { ?b property:P805 ?g . ?b rdf:type ontology:Q3249551 . ?g rdf:type ontology:Q336 } GROUP BY ?b } } . { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?a ) WHERE { ?h property:P805 ?x . ?x rdf:type ontology:Q336 . ?h rdf:type ontology:Q3249551 } GROUP BY ?h } . FILTER ( ?a = ?j ) }
action argmax
action find_tuple_counts
relation subject of
type process
type science
[{'concept': 'process'}, 'subject of', {'concept': 'science'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?j ) { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?s ) WHERE { ?b property:subject_of ?g . ?b rdf:type ontology:process . ?g rdf:type ontology:science } GROUP BY ?b } } . { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?a ) WHERE { ?h property:subject_of ?x . ?x rdf:type ontology:science . ?h rdf:type ontology:process } GROUP BY ?h } . FILTER ( ?a = ?j ) }
[]
science process
Q524648
SYSTEM
language change
Q524648
(c(Q3249551),P805,c(Q336))
action argmax
action find_tuple_counts
relation P805
type Q3249551
type Q336
[ANSWER] is the subject of max number of sciences
[{'concept': 'Q3249551'}, 'P805', {'concept': 'Q336'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?j ) { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?s ) WHERE { ?b property:P805 ?g . ?b rdf:type ontology:Q3249551 . ?g rdf:type ontology:Q336 } GROUP BY ?b } } . { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?a ) WHERE { ?h property:P805 ?x . ?x rdf:type ontology:Q336 . ?h rdf:type ontology:Q3249551 } GROUP BY ?h } . FILTER ( ?a = ?j ) }
language change
Language change is the subject of max number of sciences
language change
action argmax
action find_tuple_counts
relation subject of
type process
type science
[{'concept': 'process'}, 'subject of', {'concept': 'science'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MAX ( ?s ) AS ?j ) { SELECT DISTINCT ?b ( COUNT ( ?g ) AS ?s ) WHERE { ?b property:subject_of ?g . ?b rdf:type ontology:process . ?g rdf:type ontology:science } GROUP BY ?b } } . { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?a ) WHERE { ?h property:subject_of ?x . ?x rdf:type ontology:science . ?h rdf:type ontology:process } GROUP BY ?h } . FILTER ( ?a = ?j ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q57245
P27
Q1048835 Q15617994
USER
How many political territories and administrative territories do Ernst Kummer belong to ?
(Q57245,P27,c(Q1048835)) (Q57245,P27,c(Q15617994))
action count
action union
action filter_type
action find
entity Q57245
relation P27
type Q1048835
action filter_type
action find
entity Q57245
relation P27
type Q15617994
['Q57245', 'P27', {'concept': 'Q1048835'}] ['Q57245', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { ?u rdf:type ?z . VALUES ( ?z ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } }
Ernst Kummer
action count
action union
action filter_type
action find
entity Ernst Kummer
relation country of citizenship
type political territorial entity
action filter_type
action find
entity Ernst Kummer
relation country of citizenship
type designation for an administrative territorial entity
['Ernst Kummer', 'country of citizenship', {'concept': 'political territorial entity'}] ['Ernst Kummer', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { ?u rdf:type ?z . VALUES ( ?z ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } }
[]
political territorial entity designation for an administrative territorial entity
SYSTEM
1 political territories and 1 administrative territories
Q183 Q36
(Q57245,P27,c(Q1048835)) (Q57245,P27,c(Q15617994))
action count
action union
action filter_type
action find
entity Q57245
relation P27
type Q1048835
action filter_type
action find
entity Q57245
relation P27
type Q15617994
[ANSWER]
['Q57245', 'P27', {'concept': 'Q1048835'}] ['Q57245', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { ?u rdf:type ?z . VALUES ( ?z ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } }
Germany Poland
1 political territories and 1 administrative territories
action count
action union
action filter_type
action find
entity Ernst Kummer
relation country of citizenship
type political territorial entity
action filter_type
action find
entity Ernst Kummer
relation country of citizenship
type designation for an administrative territorial entity
['Ernst Kummer', 'country of citizenship', {'concept': 'political territorial entity'}] ['Ernst Kummer', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?u ) AS ?n ) WHERE { ?u rdf:type ?z . VALUES ( ?z ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q111999
P20
Q56061
USER
Where did Franz Mertens expire ?
(Q111999,P20,c(Q56061))
action filter_type
action find
entity Q111999
relation P20
type Q56061
['Q111999', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?v WHERE { resource:Q111999 property:P20 ?v . ?v rdf:type ontology:Q56061 }
Franz Mertens
action filter_type
action find
entity Franz Mertens
relation place of death
type administrative territorial entity
['Franz Mertens', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Franz_Mertens property:place_of_death ?v . ?v rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1741
SYSTEM
Vienna
Q1741
(Q111999,P20,c(Q56061))
action filter_type
action find
entity Q111999
relation P20
type Q56061
Franz Mertens expired [ANSWER]
['Q111999', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?v WHERE { resource:Q111999 property:P20 ?v . ?v rdf:type ontology:Q56061 }
Vienna
Franz Mertens expired Vienna
Vienna
action filter_type
action find
entity Franz Mertens
relation place of death
type administrative territorial entity
['Franz Mertens', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Franz_Mertens property:place_of_death ?v . ?v rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q111999
P138
Q2684591
USER
Which statement is named after that person ?
(c(Q2684591),P138,Q1741)
action filter_type
action find_reverse
entity Q111999
relation P138
type Q2684591
[{'concept': 'Q2684591'}, 'P138', 'Q1741']
SELECT DISTINCT ?v WHERE { ?v property:P138 resource:Q111999 . ?v rdf:type ontology:Q2684591 }
Franz Mertens
action filter_type
action find_reverse
entity Franz Mertens
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Vienna']
SELECT DISTINCT ?v WHERE { ?v property:named_after resource:Franz_Mertens . ?v rdf:type ontology:statement }
[]
statement
Q1196729
SYSTEM
Mertens' theorems
Q1196729
(c(Q2684591),P138,Q1741)
action filter_type
action find_reverse
entity Q111999
relation P138
type Q2684591
[ANSWER] is named after that person
[{'concept': 'Q2684591'}, 'P138', 'Q1741']
SELECT DISTINCT ?v WHERE { ?v property:P138 resource:Q111999 . ?v rdf:type ontology:Q2684591 }
Mertens' theorems
Mertens' theorems is named after that person
Mertens' theorems
action filter_type
action find_reverse
entity Franz Mertens
relation named after
type statement
[{'concept': 'statement'}, 'named after', 'Vienna']
SELECT DISTINCT ?v WHERE { ?v property:named_after resource:Franz_Mertens . ?v rdf:type ontology:statement }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation|Incomplete
Q538846 Q111999
P138
Q2684591
USER
Or Garrett Birkhoff?
OR((c(Q2684591),P138,Q111999), (c(Q2684591),P138,Q538846))
action filter_type
action union
action find_reverse
entity Q111999
relation P138
action find_reverse
entity Q538846
relation P138
type Q2684591
{'OR': [[{'concept': 'Q2684591'}, 'P138', 'Q111999'], [{'concept': 'Q2684591'}, 'P138', 'Q538846']]}
SELECT DISTINCT ?g WHERE { { VALUES ( ?y ) { ( resource:Q111999 ) ( resource:Q538846 ) } . ?g property:P138 ?y } . ?g rdf:type ontology:Q2684591 }
Garrett Birkhoff Franz Mertens
action filter_type
action union
action find_reverse
entity Franz Mertens
relation named after
action find_reverse
entity Garrett Birkhoff
relation named after
type statement
{'OR': [[{'concept': 'statement'}, 'named after', 'Franz Mertens'], [{'concept': 'statement'}, 'named after', 'Garrett Birkhoff']]}
SELECT DISTINCT ?g WHERE { { VALUES ( ?y ) { ( resource:Franz_Mertens ) ( resource:Garrett_Birkhoff ) } . ?g property:named_after ?y } . ?g rdf:type ontology:statement }
[]
statement
Q2270905 Q1196729
SYSTEM
Poincaré–Birkhoff–Witt theorem, Mertens' theorems
Q2270905 Q1196729
OR((c(Q2684591),P138,Q111999), (c(Q2684591),P138,Q538846))
action filter_type
action union
action find_reverse
entity Q111999
relation P138
action find_reverse
entity Q538846
relation P138
type Q2684591
[ANSWERS]
{'OR': [[{'concept': 'Q2684591'}, 'P138', 'Q111999'], [{'concept': 'Q2684591'}, 'P138', 'Q538846']]}
SELECT DISTINCT ?g WHERE { { VALUES ( ?y ) { ( resource:Q111999 ) ( resource:Q538846 ) } . ?g property:P138 ?y } . ?g rdf:type ontology:Q2684591 }
Poincaré–Birkhoff–Witt theorem Mertens' theorems
Poincaré–Birkhoff–Witt theorem Mertens' theorems
action filter_type
action union
action find_reverse
entity Franz Mertens
relation named after
action find_reverse
entity Garrett Birkhoff
relation named after
type statement
{'OR': [[{'concept': 'statement'}, 'named after', 'Franz Mertens'], [{'concept': 'statement'}, 'named after', 'Garrett Birkhoff']]}
SELECT DISTINCT ?g WHERE { { VALUES ( ?y ) { ( resource:Franz_Mertens ) ( resource:Garrett_Birkhoff ) } . ?g property:named_after ?y } . ?g rdf:type ontology:statement }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q538846
P69
Q163740
USER
How many nonprofit organizations are Garrett Birkhoff an alumni of ?
(Q538846,P69,c(Q163740))
action count
action filter_type
action find
entity Q538846
relation P69
type Q163740
['Q538846', 'P69', {'concept': 'Q163740'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:Q538846 property:P69 ?k . ?k rdf:type ontology:Q163740 }
Garrett Birkhoff
action count
action filter_type
action find
entity Garrett Birkhoff
relation educated at
type nonprofit organization
['Garrett Birkhoff', 'educated at', {'concept': 'nonprofit organization'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:Garrett_Birkhoff property:educated_at ?k . ?k rdf:type ontology:nonprofit_organization }
[]
nonprofit organization
SYSTEM
1
Q13371
(Q538846,P69,c(Q163740))
action count
action filter_type
action find
entity Q538846
relation P69
type Q163740
[ANSWER]
['Q538846', 'P69', {'concept': 'Q163740'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:Q538846 property:P69 ?k . ?k rdf:type ontology:Q163740 }
Harvard University
1
action count
action filter_type
action find
entity Garrett Birkhoff
relation educated at
type nonprofit organization
['Garrett Birkhoff', 'educated at', {'concept': 'nonprofit organization'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?f ) WHERE { resource:Garrett_Birkhoff property:educated_at ?k . ?k rdf:type ontology:nonprofit_organization }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q5479986
Q163740
USER
And also tell me about Francis Allotey?
(Q5479986,P69,c(Q163740))
action count
action filter_type
action find
entity Q5479986
relation P69
type Q163740
['Q5479986', 'P69', {'concept': 'Q163740'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?b ) WHERE { resource:Q5479986 property:P69 ?d . ?d rdf:type ontology:Q163740 }
Francis Allotey
action count
action filter_type
action find
entity Francis Allotey
relation educated at
type nonprofit organization
['Francis Allotey', 'educated at', {'concept': 'nonprofit organization'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?b ) WHERE { resource:Francis_Allotey property:educated_at ?d . ?d rdf:type ontology:nonprofit_organization }
[]
nonprofit organization
SYSTEM
1
(Q5479986,P69,c(Q163740))
action count
action filter_type
action find
entity Q5479986
relation P69
type Q163740
[ANSWER]
['Q5479986', 'P69', {'concept': 'Q163740'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?b ) WHERE { resource:Q5479986 property:P69 ?d . ?d rdf:type ontology:Q163740 }
1
action count
action filter_type
action find
entity Francis Allotey
relation educated at
type nonprofit organization
['Francis Allotey', 'educated at', {'concept': 'nonprofit organization'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?b ) WHERE { resource:Francis_Allotey property:educated_at ?d . ?d rdf:type ontology:nonprofit_organization }
[]