Simple Question (Direct)
Simple Question
Q844305
P40
Q502895
USER
Which person is an offspring of Sun Ba ?
(Q844305,P40,c(Q502895))
action filter_type
action find
entity Q844305
relation P40
type Q502895
['Q844305', 'P40', {'concept': 'Q502895'}]
SELECT DISTINCT ?e WHERE { resource:Q844305 property:P40 ?e . ?e rdf:type ontology:Q502895 }
Sun Ba
action filter_type
action find
entity Sun Ba
relation child
type common name
['Sun Ba', 'child', {'concept': 'common name'}]
SELECT DISTINCT ?e WHERE { resource:Sun_Ba property:child ?e . ?e rdf:type ontology:common_name }
[]
common name
Q3538856
SYSTEM
Sun Ji
Q3538856
(Q844305,P40,c(Q502895))
action filter_type
action find
entity Q844305
relation P40
type Q502895
[ANSWER] is an offspring of Sun Ba
['Q844305', 'P40', {'concept': 'Q502895'}]
SELECT DISTINCT ?e WHERE { resource:Q844305 property:P40 ?e . ?e rdf:type ontology:Q502895 }
Sun Ji
Sun Ji is an offspring of Sun Ba
Sun Ji
action filter_type
action find
entity Sun Ba
relation child
type common name
['Sun Ba', 'child', {'concept': 'common name'}]
SELECT DISTINCT ?e WHERE { resource:Sun_Ba property:child ?e . ?e rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q844305
P7
Q502895
USER
Who are Sun Ba a brother of ?
(c(Q502895),P7,Q844305)
action filter_type
action find_reverse
entity Q844305
relation P7
type Q502895
[{'concept': 'Q502895'}, 'P7', 'Q844305']
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q502895 . ?n property:P7 resource:Q844305 }
Sun Ba
action filter_type
action find_reverse
entity Sun Ba
relation brother
type common name
[{'concept': 'common name'}, 'brother', 'Sun Ba']
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:common_name . ?n property:brother resource:Sun_Ba }
[]
common name
Q1195417 Q468767 Q5978333
SYSTEM
Sun He, Sun Xiu, Sun Luban
Q1195417 Q844486 Q470034 Q7243622 Q5978333 Q1195858 Q468767 Q844298
(c(Q502895),P7,Q844305)
action filter_type
action find_reverse
entity Q844305
relation P7
type Q502895
Sun are born [ANSWERS]
[{'concept': 'Q502895'}, 'P7', 'Q844305']
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:Q502895 . ?n property:P7 resource:Q844305 }
Sun He Sun Fen Sun Liang Sun Luyu Sun Luban Sun Deng Sun Xiu Sun Lü
Sun are born Sun He, Sun Xiu and Sun Luban
Sun He Sun Xiu Sun Luban
action filter_type
action find_reverse
entity Sun Ba
relation brother
type common name
[{'concept': 'common name'}, 'brother', 'Sun Ba']
SELECT DISTINCT ?n WHERE { ?n rdf:type ontology:common_name . ?n property:brother resource:Sun_Ba }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q844305
P22
Q502895
USER
Which male person was the parent of Sun Ba ?
(Q844305,P22,c(Q502895))
action filter_type
action find
entity Q844305
relation P22
type Q502895
['Q844305', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?i WHERE { resource:Q844305 property:P22 ?i . ?i rdf:type ontology:Q502895 }
Sun Ba
action filter_type
action find
entity Sun Ba
relation father
type common name
['Sun Ba', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?i WHERE { resource:Sun_Ba property:father ?i . ?i rdf:type ontology:common_name }
[]
common name
Q313327
SYSTEM
Sun Quan
Q313327
(Q844305,P22,c(Q502895))
action filter_type
action find
entity Q844305
relation P22
type Q502895
[ANSWER] was the parent of Sun Ba
['Q844305', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?i WHERE { resource:Q844305 property:P22 ?i . ?i rdf:type ontology:Q502895 }
Sun Quan
Sun Quan was the parent of Sun Ba
Sun Quan
action filter_type
action find
entity Sun Ba
relation father
type common name
['Sun Ba', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?i WHERE { resource:Sun_Ba property:father ?i . ?i rdf:type ontology:common_name }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q8007129
Q502895
USER
And what about William Cornwallis?
(Q8007129,P22,c(Q502895))
action filter_type
action find
entity Q8007129
relation P22
type Q502895
['Q8007129', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q502895 . resource:Q8007129 property:P22 ?q }
William Cornwallis
action filter_type
action find
entity William Cornwallis
relation father
type common name
['William Cornwallis', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:common_name . resource:William_Cornwallis property:father ?q }
[]
common name
Q5076484
SYSTEM
Charles Cornwallis
Q5076484
(Q8007129,P22,c(Q502895))
action filter_type
action find
entity Q8007129
relation P22
type Q502895
[ANSWER]
['Q8007129', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q502895 . resource:Q8007129 property:P22 ?q }
Charles Cornwallis
Charles Cornwallis
action filter_type
action find
entity William Cornwallis
relation father
type common name
['William Cornwallis', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:common_name . resource:William_Cornwallis property:father ?q }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q5076484 Q13382460
P39
Q12737077
USER
Was marathon runner the position held by Charles Cornwallis ?
(Q5076484,P39,Q13382460)
action is_in
entity Q13382460
action find
entity Q5076484
relation P39
['Q5076484', 'P39', 'Q13382460']
ASK WHERE { resource:Q5076484 property:P39 resource:Q13382460 }
Charles Cornwallis marathon runner
action is_in
entity marathon runner
action find
entity Charles Cornwallis
relation position held
['Charles Cornwallis', 'position held', 'marathon runner']
ASK WHERE { resource:Charles_Cornwallis property:position_held resource:marathon_runner }
[]
occupation
SYSTEM
NO
(Q5076484,P39,Q13382460)
action is_in
entity Q13382460
action find
entity Q5076484
relation P39
[ANSWER]
['Q5076484', 'P39', 'Q13382460']
ASK WHERE { resource:Q5076484 property:P39 resource:Q13382460 }
No
action is_in
entity marathon runner
action find
entity Charles Cornwallis
relation position held
['Charles Cornwallis', 'position held', 'marathon runner']
ASK WHERE { resource:Charles_Cornwallis property:position_held resource:marathon_runner }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q10363264 Q13382460
P425 P641
Q31629
USER
Which types of sport are associated with the field of occupation marathon runner or were Roberto Calheiros a part of ?
OR((Q13382460,P425,c(Q31629)), (Q10363264,P641,c(Q31629)))
action filter_type
action union
action find
entity Q13382460
relation P425
action find
entity Q10363264
relation P641
type Q31629
{'OR': [['Q13382460', 'P425', {'concept': 'Q31629'}], ['Q10363264', 'P641', {'concept': 'Q31629'}]]}
SELECT DISTINCT ?m WHERE { { { resource:Q13382460 property:P425 ?m } UNION { resource:Q10363264 property:P641 ?m } } . ?m rdf:type ontology:Q31629 }
Roberto Calheiros marathon runner
action filter_type
action union
action find
entity marathon runner
relation field of this occupation
action find
entity Roberto Calheiros
relation sport
type type of sport
{'OR': [['marathon runner', 'field of this occupation', {'concept': 'type of sport'}], ['Roberto Calheiros', 'sport', {'concept': 'type of sport'}]]}
SELECT DISTINCT ?m WHERE { { { resource:marathon_runner property:field_of_this_occupation ?m } UNION { resource:Roberto_Calheiros property:sport ?m } } . ?m rdf:type ontology:type_of_sport }
[]
type of sport
Q718 Q40244
SYSTEM
chess, marathon
Q718 Q40244
OR((Q13382460,P425,c(Q31629)), (Q10363264,P641,c(Q31629)))
action filter_type
action union
action find
entity Q13382460
relation P425
action find
entity Q10363264
relation P641
type Q31629
And [ANSWERS] are associated with the field of occupation marathon runner or were Roberto Calheiros a part of
{'OR': [['Q13382460', 'P425', {'concept': 'Q31629'}], ['Q10363264', 'P641', {'concept': 'Q31629'}]]}
SELECT DISTINCT ?m WHERE { { { resource:Q13382460 property:P425 ?m } UNION { resource:Q10363264 property:P641 ?m } } . ?m rdf:type ontology:Q31629 }
chess marathon
And chess and marathon are associated with the field of occupation marathon runner or were Roberto Calheiros a part of
chess marathon
action filter_type
action union
action find
entity marathon runner
relation field of this occupation
action find
entity Roberto Calheiros
relation sport
type type of sport
{'OR': [['marathon runner', 'field of this occupation', {'concept': 'type of sport'}], ['Roberto Calheiros', 'sport', {'concept': 'type of sport'}]]}
SELECT DISTINCT ?m WHERE { { { resource:marathon_runner property:field_of_this_occupation ?m } UNION { resource:Roberto_Calheiros property:sport ?m } } . ?m rdf:type ontology:type_of_sport }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q2907682 Q13382460
P425 P641
Q31629
USER
Which types of sport have marathon runner as the associated field of occupation or did Valerio Leccardi participate in ?
OR((Q13382460,P425,c(Q31629)), (Q2907682,P641,c(Q31629)))
action filter_type
action union
action find
entity Q13382460
relation P425
action find
entity Q2907682
relation P641
type Q31629
{'OR': [['Q13382460', 'P425', {'concept': 'Q31629'}], ['Q2907682', 'P641', {'concept': 'Q31629'}]]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q31629 . { { resource:Q13382460 property:P425 ?o } UNION { resource:Q2907682 property:P641 ?o } } }
Valerio Leccardi marathon runner
action filter_type
action union
action find
entity marathon runner
relation field of this occupation
action find
entity Valerio Leccardi
relation sport
type type of sport
{'OR': [['marathon runner', 'field of this occupation', {'concept': 'type of sport'}], ['Valerio Leccardi', 'sport', {'concept': 'type of sport'}]]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:type_of_sport . { { resource:marathon_runner property:field_of_this_occupation ?o } UNION { resource:Valerio_Leccardi property:sport ?o } } }
[]
type of sport
Q179687 Q40244
SYSTEM
cross-country skiing, marathon
Q179687 Q40244
OR((Q13382460,P425,c(Q31629)), (Q2907682,P641,c(Q31629)))
action filter_type
action union
action find
entity Q13382460
relation P425
action find
entity Q2907682
relation P641
type Q31629
The [ANSWERS] have marathon runner as the associated field of occupation or did Valerio Leccardi participate in
{'OR': [['Q13382460', 'P425', {'concept': 'Q31629'}], ['Q2907682', 'P641', {'concept': 'Q31629'}]]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:Q31629 . { { resource:Q13382460 property:P425 ?o } UNION { resource:Q2907682 property:P641 ?o } } }
cross-country skiing marathon
The cross-country skiing and marathon have marathon runner as the associated field of occupation or did Valerio Leccardi participate in
cross-country skiing marathon
action filter_type
action union
action find
entity marathon runner
relation field of this occupation
action find
entity Valerio Leccardi
relation sport
type type of sport
{'OR': [['marathon runner', 'field of this occupation', {'concept': 'type of sport'}], ['Valerio Leccardi', 'sport', {'concept': 'type of sport'}]]}
SELECT DISTINCT ?o WHERE { ?o rdf:type ontology:type_of_sport . { { resource:marathon_runner property:field_of_this_occupation ?o } UNION { resource:Valerio_Leccardi property:sport ?o } } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P1444
Q13220204 Q31629
USER
Which administrative country subdivisions are the end points of max number of types of sport ?
(c(Q31629),P1444,Q3370)
action argmax
action find_reverse_tuple_counts
relation P1444
type Q13220204
type Q31629
[{'concept': 'Q31629'}, 'P1444', 'Q3370']
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?l ) AS ?q ) { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:P1444 ?u . ?u rdf:type ontology:Q13220204 . ?y rdf:type ontology:Q31629 } GROUP BY ?u } } . { SELECT DISTINCT ?g ( COUNT ( ?t ) AS ?f ) WHERE { ?t property:P1444 ?g . ?g rdf:type ontology:Q13220204 . ?t rdf:type ontology:Q31629 } GROUP BY ?g } . FILTER ( ?f = ?q ) }
action argmax
action find_reverse_tuple_counts
relation destination point
type second-level administrative country subdivision
type type of sport
[{'concept': 'type of sport'}, 'destination point', 'Zadar']
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?l ) AS ?q ) { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:destination_point ?u . ?u rdf:type ontology:second-level_administrative_country_subdivision . ?y rdf:type ontology:type_of_sport } GROUP BY ?u } } . { SELECT DISTINCT ?g ( COUNT ( ?t ) AS ?f ) WHERE { ?t property:destination_point ?g . ?g rdf:type ontology:second-level_administrative_country_subdivision . ?t rdf:type ontology:type_of_sport } GROUP BY ?g } . FILTER ( ?f = ?q ) }
[]
second-level administrative country subdivision type of sport
Q108025
SYSTEM
Sarpsborg
Q108025
(c(Q31629),P1444,Q3370)
action argmax
action find_reverse_tuple_counts
relation P1444
type Q13220204
type Q31629
[ANSWER] is the end points of max number of types of sport
[{'concept': 'Q31629'}, 'P1444', 'Q3370']
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?l ) AS ?q ) { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:P1444 ?u . ?u rdf:type ontology:Q13220204 . ?y rdf:type ontology:Q31629 } GROUP BY ?u } } . { SELECT DISTINCT ?g ( COUNT ( ?t ) AS ?f ) WHERE { ?t property:P1444 ?g . ?g rdf:type ontology:Q13220204 . ?t rdf:type ontology:Q31629 } GROUP BY ?g } . FILTER ( ?f = ?q ) }
Sarpsborg
Sarpsborg is the end points of max number of types of sport
Sarpsborg
action argmax
action find_reverse_tuple_counts
relation destination point
type second-level administrative country subdivision
type type of sport
[{'concept': 'type of sport'}, 'destination point', 'Zadar']
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ( MAX ( ?l ) AS ?q ) { SELECT DISTINCT ?u ( COUNT ( ?y ) AS ?l ) WHERE { ?y property:destination_point ?u . ?u rdf:type ontology:second-level_administrative_country_subdivision . ?y rdf:type ontology:type_of_sport } GROUP BY ?u } } . { SELECT DISTINCT ?g ( COUNT ( ?t ) AS ?f ) WHERE { ?t property:destination_point ?g . ?g rdf:type ontology:second-level_administrative_country_subdivision . ?t rdf:type ontology:type_of_sport } GROUP BY ?g } . FILTER ( ?f = ?q ) }
[]