Simple Question (Direct)
Simple Question
Q2401096
P734
Q82799
USER
Who is associated with Jacques Gauthier ?
(Q2401096,P734,c(Q82799))
action filter_type
action find
entity Q2401096
relation P734
type Q82799
['Q2401096', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?z WHERE { resource:Q2401096 property:P734 ?z . ?z rdf:type ontology:Q82799 }
Jacques Gauthier
action filter_type
action find
entity Jacques Gauthier
relation family name
type name
['Jacques Gauthier', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?z WHERE { resource:Jacques_Gauthier property:family_name ?z . ?z rdf:type ontology:name }
[]
name
Q19793323
SYSTEM
Gauthier
Q19793323
(Q2401096,P734,c(Q82799))
action filter_type
action find
entity Q2401096
relation P734
type Q82799
Ier [ANSWER] is associated with Jacques [ANSWER]
['Q2401096', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?z WHERE { resource:Q2401096 property:P734 ?z . ?z rdf:type ontology:Q82799 }
Gauthier
Ier Gauthier is associated with Jacques Gauthier
Gauthier
action filter_type
action find
entity Jacques Gauthier
relation family name
type name
['Jacques Gauthier', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?z WHERE { resource:Jacques_Gauthier property:family_name ?z . ?z rdf:type ontology:name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2401096
P21
Q290
USER
Which sex does Jacques Gauthier possess ?
(Q2401096,P21,c(Q290))
action filter_type
action find
entity Q2401096
relation P21
type Q290
['Q2401096', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?q WHERE { resource:Q2401096 property:P21 ?q . ?q rdf:type ontology:Q290 }
Jacques Gauthier
action filter_type
action find
entity Jacques Gauthier
relation gender
type sex
['Jacques Gauthier', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?q WHERE { resource:Jacques_Gauthier property:gender ?q . ?q rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q2401096,P21,c(Q290))
action filter_type
action find
entity Q2401096
relation P21
type Q290
Jacques Gauthier possesses un [ANSWER]
['Q2401096', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?q WHERE { resource:Q2401096 property:P21 ?q . ?q rdf:type ontology:Q290 }
male
Jacques Gauthier possesses un male
male
action filter_type
action find
entity Jacques Gauthier
relation gender
type sex
['Jacques Gauthier', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?q WHERE { resource:Jacques_Gauthier property:gender ?q . ?q rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2401096
P19
Q56061
USER
Which administrative territory is the birthplace of Jacques Gauthier ?
(Q2401096,P19,c(Q56061))
action filter_type
action find
entity Q2401096
relation P19
type Q56061
['Q2401096', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q56061 . resource:Q2401096 property:P19 ?e }
Jacques Gauthier
action filter_type
action find
entity Jacques Gauthier
relation place of birth
type administrative territorial entity
['Jacques Gauthier', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:administrative_territorial_entity . resource:Jacques_Gauthier property:place_of_birth ?e }
[]
administrative territorial entity
Q291278
SYSTEM
Grand-Mère, Quebec
Q291278
(Q2401096,P19,c(Q56061))
action filter_type
action find
entity Q2401096
relation P19
type Q56061
In [ANSWER] is the birthplace of Jacques Gauthier
['Q2401096', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q56061 . resource:Q2401096 property:P19 ?e }
Grand-Mère, Quebec
In Grand-Mère, Quebec is the birthplace of Jacques Gauthier
Grand-Mère, Quebec
action filter_type
action find
entity Jacques Gauthier
relation place of birth
type administrative territorial entity
['Jacques Gauthier', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:administrative_territorial_entity . resource:Jacques_Gauthier property:place_of_birth ?e }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1705812
Q56061
USER
And what about Josef Stanek?
(Q1705812,P19,c(Q56061))
action filter_type
action find
entity Q1705812
relation P19
type Q56061
['Q1705812', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?v WHERE { resource:Q1705812 property:P19 ?v . ?v rdf:type ontology:Q56061 }
Josef Stanek
action filter_type
action find
entity Josef Stanek
relation place of birth
type administrative territorial entity
['Josef Stanek', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Josef_Stanek property:place_of_birth ?v . ?v rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1741
SYSTEM
Vienna
Q1741
(Q1705812,P19,c(Q56061))
action filter_type
action find
entity Q1705812
relation P19
type Q56061
[ANSWER]
['Q1705812', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?v WHERE { resource:Q1705812 property:P19 ?v . ?v rdf:type ontology:Q56061 }
Vienna
Vienna
action filter_type
action find
entity Josef Stanek
relation place of birth
type administrative territorial entity
['Josef Stanek', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { resource:Josef_Stanek property:place_of_birth ?v . ?v rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q1741 Q33935 Q12672931
P190
Q56061
USER
Is that administrative territory sister town of Tel Aviv and Sintautai ?
(Q1741,P190,Q33935) (Q1741,P190,Q12672931)
action is_in
entity Q1741
action intersection
action find_reverse
entity Q33935
relation P190
action find_reverse
entity Q12672931
relation P190
['Q1741', 'P190', 'Q33935'] ['Q1741', 'P190', 'Q12672931']
ASK WHERE { resource:Q1741 property:P190 resource:Q33935 . resource:Q1741 property:P190 resource:Q12672931 }
Vienna Tel Aviv Sintautai
action is_in
entity Vienna
action intersection
action find_reverse
entity Tel Aviv
relation sister city
action find_reverse
entity Sintautai
relation sister city
['Vienna', 'sister city', 'Tel Aviv'] ['Vienna', 'sister city', 'Sintautai']
ASK WHERE { resource:Vienna property:sister_city resource:Tel_Aviv . resource:Vienna property:sister_city resource:Sintautai }
[]
administrative territorial entity
SYSTEM
YES and NO respectively
(Q1741,P190,Q33935) (Q1741,P190,Q12672931)
action is_in
entity Q1741
action intersection
action find_reverse
entity Q33935
relation P190
action find_reverse
entity Q12672931
relation P190
[ANSWER]
['Q1741', 'P190', 'Q33935'] ['Q1741', 'P190', 'Q12672931']
ASK WHERE { resource:Q1741 property:P190 resource:Q33935 . resource:Q1741 property:P190 resource:Q12672931 }
YES and NO respectively
action is_in
entity Vienna
action intersection
action find_reverse
entity Tel Aviv
relation sister city
action find_reverse
entity Sintautai
relation sister city
['Vienna', 'sister city', 'Tel Aviv'] ['Vienna', 'sister city', 'Sintautai']
ASK WHERE { resource:Vienna property:sister_city resource:Tel_Aviv . resource:Vienna property:sister_city resource:Sintautai }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q6159914 Q1705812
P27
Q1048835
USER
Which political territories are the countries of citizenship of Josef Stanek or Jared Brennan ?
OR((Q1705812,P27,c(Q1048835)), (Q6159914,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q1705812
relation P27
action find
entity Q6159914
relation P27
type Q1048835
{'OR': [['Q1705812', 'P27', {'concept': 'Q1048835'}], ['Q6159914', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q1048835 . { VALUES ( ?a ) { ( resource:Q1705812 ) ( resource:Q6159914 ) } . ?a property:P27 ?p } }
Jared Brennan Josef Stanek
action filter_type
action union
action find
entity Josef Stanek
relation country of citizenship
action find
entity Jared Brennan
relation country of citizenship
type political territorial entity
{'OR': [['Josef Stanek', 'country of citizenship', {'concept': 'political territorial entity'}], ['Jared Brennan', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:political_territorial_entity . { VALUES ( ?a ) { ( resource:Josef_Stanek ) ( resource:Jared_Brennan ) } . ?a property:country_of_citizenship ?p } }
[]
political territorial entity
Q408 Q40
SYSTEM
Australia, Austria
Q408 Q40
OR((Q1705812,P27,c(Q1048835)), (Q6159914,P27,c(Q1048835)))
action filter_type
action union
action find
entity Q1705812
relation P27
action find
entity Q6159914
relation P27
type Q1048835
[ANSWERS] are the countries of citizenship of Josef Stanek or Jared Brennan
{'OR': [['Q1705812', 'P27', {'concept': 'Q1048835'}], ['Q6159914', 'P27', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q1048835 . { VALUES ( ?a ) { ( resource:Q1705812 ) ( resource:Q6159914 ) } . ?a property:P27 ?p } }
Australia Austria
Australia and Austria are the countries of citizenship of Josef Stanek or Jared Brennan
Australia Austria
action filter_type
action union
action find
entity Josef Stanek
relation country of citizenship
action find
entity Jared Brennan
relation country of citizenship
type political territorial entity
{'OR': [['Josef Stanek', 'country of citizenship', {'concept': 'political territorial entity'}], ['Jared Brennan', 'country of citizenship', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:political_territorial_entity . { VALUES ( ?a ) { ( resource:Josef_Stanek ) ( resource:Jared_Brennan ) } . ?a property:country_of_citizenship ?p } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q5443635
P530
Q15617994
USER
Are Fenton Pits known to have diplomatic connections with those political territories ?
(Q5443635,P530,Q408) (Q5443635,P530,Q40)
action is_in
entity prev_answer
action find
entity Q5443635
relation P530
['Q5443635', 'P530', 'Q408'] ['Q5443635', 'P530', 'Q40']
ASK WHERE { resource:Q5443635 property:P530 ?b . VALUES ( ?b ) { ( resource:Q408 ) ( resource:Q40 ) } }
Fenton Pits
action is_in
entity prev_answer
action find
entity Fenton Pits
relation diplomatic relation
['Fenton Pits', 'diplomatic relation', 'Australia'] ['Fenton Pits', 'diplomatic relation', 'Austria']
ASK WHERE { resource:Fenton_Pits property:diplomatic_relation ?b . VALUES ( ?b ) { ( resource:Australia ) ( resource:Austria ) } }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q5443635,P530,Q408) (Q5443635,P530,Q40)
action is_in
entity prev_answer
action find
entity Q5443635
relation P530
[ANSWER]
['Q5443635', 'P530', 'Q408'] ['Q5443635', 'P530', 'Q40']
ASK WHERE { resource:Q5443635 property:P530 ?b . VALUES ( ?b ) { ( resource:Q408 ) ( resource:Q40 ) } }
No
action is_in
entity prev_answer
action find
entity Fenton Pits
relation diplomatic relation
['Fenton Pits', 'diplomatic relation', 'Australia'] ['Fenton Pits', 'diplomatic relation', 'Austria']
ASK WHERE { resource:Fenton_Pits property:diplomatic_relation ?b . VALUES ( ?b ) { ( resource:Australia ) ( resource:Austria ) } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q6159914 Q2712338
P106
Q12737077
USER
How many occupations are the job of Jared Brennan or Gopher ?
(Q6159914,P106,c(Q12737077)) (Q2712338,P106,c(Q12737077))
action count
action union
action filter_type
action find
entity Q6159914
relation P106
type Q12737077
action filter_type
action find
entity Q2712338
relation P106
type Q12737077
['Q6159914', 'P106', {'concept': 'Q12737077'}] ['Q2712338', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?u ) WHERE { { resource:Q6159914 property:P106 ?c . ?c rdf:type ontology:Q12737077 } UNION { resource:Q2712338 property:P106 ?c . ?c rdf:type ontology:Q12737077 } }
Jared Brennan Gopher
action count
action union
action filter_type
action find
entity Jared Brennan
relation occupation
type occupation
action filter_type
action find
entity Gopher
relation occupation
type occupation
['Jared Brennan', 'occupation', {'concept': 'occupation'}] ['Gopher', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?u ) WHERE { { resource:Jared_Brennan property:occupation ?c . ?c rdf:type ontology:occupation } UNION { resource:Gopher property:occupation ?c . ?c rdf:type ontology:occupation } }
[]
occupation
SYSTEM
2
Q13414980 Q820037
(Q6159914,P106,c(Q12737077)) (Q2712338,P106,c(Q12737077))
action count
action union
action filter_type
action find
entity Q6159914
relation P106
type Q12737077
action filter_type
action find
entity Q2712338
relation P106
type Q12737077
[ANSWER]
['Q6159914', 'P106', {'concept': 'Q12737077'}] ['Q2712338', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?u ) WHERE { { resource:Q6159914 property:P106 ?c . ?c rdf:type ontology:Q12737077 } UNION { resource:Q2712338 property:P106 ?c . ?c rdf:type ontology:Q12737077 } }
Australian-rules footballer miner
2
action count
action union
action filter_type
action find
entity Jared Brennan
relation occupation
type occupation
action filter_type
action find
entity Gopher
relation occupation
type occupation
['Jared Brennan', 'occupation', {'concept': 'occupation'}] ['Gopher', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?u ) WHERE { { resource:Jared_Brennan property:occupation ?c . ?c rdf:type ontology:occupation } UNION { resource:Gopher property:occupation ?c . ?c rdf:type ontology:occupation } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q1059258 Q6159914
P27 P17
Q1048835
USER
Which political territories are Jared Brennan an inhabitant of and are Torres Strait Islands a part of ?
AND((Q6159914,P27,c(Q1048835)), (Q1059258,P17,c(Q1048835)))
action filter_type
action intersection
action find
entity Q6159914
relation P27
action find
entity Q1059258
relation P17
type Q1048835
{'AND': [['Q6159914', 'P27', {'concept': 'Q1048835'}], ['Q1059258', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?e WHERE { resource:Q6159914 property:P27 ?e . resource:Q1059258 property:P17 ?e . ?e rdf:type ontology:Q1048835 }
Torres Strait Islands Jared Brennan
action filter_type
action intersection
action find
entity Jared Brennan
relation country of citizenship
action find
entity Torres Strait Islands
relation country
type political territorial entity
{'AND': [['Jared Brennan', 'country of citizenship', {'concept': 'political territorial entity'}], ['Torres Strait Islands', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?e WHERE { resource:Jared_Brennan property:country_of_citizenship ?e . resource:Torres_Strait_Islands property:country ?e . ?e rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q408
SYSTEM
Australia
Q408
AND((Q6159914,P27,c(Q1048835)), (Q1059258,P17,c(Q1048835)))
action filter_type
action intersection
action find
entity Q6159914
relation P27
action find
entity Q1059258
relation P17
type Q1048835
[ANSWER] is Jared Brennan an inhabitant of and is Torres Strait Islands a part of
{'AND': [['Q6159914', 'P27', {'concept': 'Q1048835'}], ['Q1059258', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?e WHERE { resource:Q6159914 property:P27 ?e . resource:Q1059258 property:P17 ?e . ?e rdf:type ontology:Q1048835 }
Australia
Australia is Jared Brennan an inhabitant of and is Torres Strait Islands a part of
Australia
action filter_type
action intersection
action find
entity Jared Brennan
relation country of citizenship
action find
entity Torres Strait Islands
relation country
type political territorial entity
{'AND': [['Jared Brennan', 'country of citizenship', {'concept': 'political territorial entity'}], ['Torres Strait Islands', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?e WHERE { resource:Jared_Brennan property:country_of_citizenship ?e . resource:Torres_Strait_Islands property:country ?e . ?e rdf:type ontology:political_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q7378
P180
Q82799 Q3305213 Q11060274
USER
Which names are depicted in more number of paintings and prints than elephant ?
(c(Q3305213)|c(Q11060274),P180,c(Q82799))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q82799
type Q11060274
action count
action filter_multi_types
action find_reverse
entity Q7378
relation P180
type Q3305213
type Q11060274
[[{'concept': 'Q3305213'}, {'concept': 'Q11060274'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?u ) AS ?q ) WHERE { { ?a rdf:type ontology:Q82799 . ?u rdf:type ontology:Q11060274 . ?u property:P180 ?a } UNION { ?u property:P180 ?a . ?a rdf:type ontology:Q82799 . ?u rdf:type ontology:Q3305213 } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?o ) WHERE { ?n property:P180 resource:Q7378 . { ?n rdf:type ?k . VALUES ( ?k ) { ( ontology:Q3305213 ) ( ontology:Q11060274 ) } } } } . FILTER ( ?q > ?o ) }
elephant
action greater
action union
action find_reverse_tuple_counts
relation depicts
type name
type painting
action find_reverse_tuple_counts
relation depicts
type name
type print
action count
action filter_multi_types
action find_reverse
entity elephant
relation depicts
type painting
type print
[[{'concept': 'painting'}, {'concept': 'print'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?u ) AS ?q ) WHERE { { ?a rdf:type ontology:name . ?u rdf:type ontology:print . ?u property:depicts ?a } UNION { ?u property:depicts ?a . ?a rdf:type ontology:name . ?u rdf:type ontology:painting } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?o ) WHERE { ?n property:depicts resource:elephant . { ?n rdf:type ?k . VALUES ( ?k ) { ( ontology:painting ) ( ontology:print ) } } } } . FILTER ( ?q > ?o ) }
[]
name painting print
Q144 Q876933 Q152
SYSTEM
dog, magi, fish
Q5 Q726 Q830 Q3736439 Q7368 Q2092297 Q144 Q201251 Q8335 Q3537778 Q1367 Q2734060 Q43115 Q876933 Q152 Q859257
(c(Q3305213)|c(Q11060274),P180,c(Q82799))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q82799
type Q11060274
action count
action filter_multi_types
action find_reverse
entity Q7378
relation P180
type Q3305213
type Q11060274
[ANSWERS] are depicted in more number of paintings and prints than elephant
[[{'concept': 'Q3305213'}, {'concept': 'Q11060274'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?u ) AS ?q ) WHERE { { ?a rdf:type ontology:Q82799 . ?u rdf:type ontology:Q11060274 . ?u property:P180 ?a } UNION { ?u property:P180 ?a . ?a rdf:type ontology:Q82799 . ?u rdf:type ontology:Q3305213 } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?o ) WHERE { ?n property:P180 resource:Q7378 . { ?n rdf:type ?k . VALUES ( ?k ) { ( ontology:Q3305213 ) ( ontology:Q11060274 ) } } } } . FILTER ( ?q > ?o ) }
human horse cattle duck Ovis aries eagle dog peacock raven donkeys monkey reed saint magi fish fly
Dog, magi and fish are depicted in more number of paintings and prints than elephant
dog magi fish
action greater
action union
action find_reverse_tuple_counts
relation depicts
type name
type painting
action find_reverse_tuple_counts
relation depicts
type name
type print
action count
action filter_multi_types
action find_reverse
entity elephant
relation depicts
type painting
type print
[[{'concept': 'painting'}, {'concept': 'print'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?u ) AS ?q ) WHERE { { ?a rdf:type ontology:name . ?u rdf:type ontology:print . ?u property:depicts ?a } UNION { ?u property:depicts ?a . ?a rdf:type ontology:name . ?u rdf:type ontology:painting } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?o ) WHERE { ?n property:depicts resource:elephant . { ?n rdf:type ?k . VALUES ( ?k ) { ( ontology:painting ) ( ontology:print ) } } } } . FILTER ( ?q > ?o ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q3537778
P180
Q82799 Q3305213 Q11060274
USER
And what about donkeys?
(c(Q3305213)|c(Q11060274),P180,c(Q82799))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q82799
type Q11060274
action count
action filter_multi_types
action find_reverse
entity Q3537778
relation P180
type Q3305213
type Q11060274
[[{'concept': 'Q3305213'}, {'concept': 'Q11060274'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?t ) WHERE { ?v property:P180 resource:Q3537778 . { { ?v rdf:type ontology:Q3305213 } UNION { ?v rdf:type ontology:Q11060274 } } } } . FILTER ( ?q > ?t ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?q ) ?z WHERE { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:Q11060274 ) ( ontology:Q3305213 ) } } GROUP BY ?z } }
donkeys
action greater
action union
action find_reverse_tuple_counts
relation depicts
type name
type painting
action find_reverse_tuple_counts
relation depicts
type name
type print
action count
action filter_multi_types
action find_reverse
entity donkeys
relation depicts
type painting
type print
[[{'concept': 'painting'}, {'concept': 'print'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?t ) WHERE { ?v property:depicts resource:donkeys . { { ?v rdf:type ontology:painting } UNION { ?v rdf:type ontology:print } } } } . FILTER ( ?q > ?t ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?q ) ?z WHERE { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:print ) ( ontology:painting ) } } GROUP BY ?z } }
[]
name painting print
Q144 Q726 Q7368
SYSTEM
dog, horse, Ovis aries
Q5 Q726 Q830 Q7368 Q144 Q43115
(c(Q3305213)|c(Q11060274),P180,c(Q82799))
action greater
action union
action find_reverse_tuple_counts
relation P180
type Q82799
type Q3305213
action find_reverse_tuple_counts
relation P180
type Q82799
type Q11060274
action count
action filter_multi_types
action find_reverse
entity Q3537778
relation P180
type Q3305213
type Q11060274
[ANSWERS]
[[{'concept': 'Q3305213'}, {'concept': 'Q11060274'}], 'P180', {'concept': 'Q82799'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?t ) WHERE { ?v property:P180 resource:Q3537778 . { { ?v rdf:type ontology:Q3305213 } UNION { ?v rdf:type ontology:Q11060274 } } } } . FILTER ( ?q > ?t ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?q ) ?z WHERE { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:Q11060274 ) ( ontology:Q3305213 ) } } GROUP BY ?z } }
human horse cattle Ovis aries dog saint
dog horse Ovis aries
action greater
action union
action find_reverse_tuple_counts
relation depicts
type name
type painting
action find_reverse_tuple_counts
relation depicts
type name
type print
action count
action filter_multi_types
action find_reverse
entity donkeys
relation depicts
type painting
type print
[[{'concept': 'painting'}, {'concept': 'print'}], 'depicts', {'concept': 'name'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?v ) AS ?t ) WHERE { ?v property:depicts resource:donkeys . { { ?v rdf:type ontology:painting } UNION { ?v rdf:type ontology:print } } } } . FILTER ( ?q > ?t ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?q ) ?z WHERE { ?u rdf:type ?o . VALUES ( ?o ) { ( ontology:print ) ( ontology:painting ) } } GROUP BY ?z } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q16510709 Q12672931
P17
Q15617994
USER
Which administrative territories are Sintautai or rue Cacault located in ?
OR((Q12672931,P17,c(Q15617994)), (Q16510709,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q12672931
relation P17
action find
entity Q16510709
relation P17
type Q15617994
{'OR': [['Q12672931', 'P17', {'concept': 'Q15617994'}], ['Q16510709', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q12672931 property:P17 ?y } UNION { resource:Q16510709 property:P17 ?y } } . ?y rdf:type ontology:Q15617994 }
rue Cacault Sintautai
action filter_type
action union
action find
entity Sintautai
relation country
action find
entity rue Cacault
relation country
type designation for an administrative territorial entity
{'OR': [['Sintautai', 'country', {'concept': 'designation for an administrative territorial entity'}], ['rue Cacault', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Sintautai property:country ?y } UNION { resource:rue_Cacault property:country ?y } } . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q37
SYSTEM
France, Lithuania
Q142 Q37
OR((Q12672931,P17,c(Q15617994)), (Q16510709,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q12672931
relation P17
action find
entity Q16510709
relation P17
type Q15617994
Sintautai or rue Cacault are located in [ANSWERS]
{'OR': [['Q12672931', 'P17', {'concept': 'Q15617994'}], ['Q16510709', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q12672931 property:P17 ?y } UNION { resource:Q16510709 property:P17 ?y } } . ?y rdf:type ontology:Q15617994 }
France Lithuania
Sintautai or rue Cacault are located in France and Lithuania
France Lithuania
action filter_type
action union
action find
entity Sintautai
relation country
action find
entity rue Cacault
relation country
type designation for an administrative territorial entity
{'OR': [['Sintautai', 'country', {'concept': 'designation for an administrative territorial entity'}], ['rue Cacault', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Sintautai property:country ?y } UNION { resource:rue_Cacault property:country ?y } } . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q37
P417
Q502895
USER
Which person is the patron saint of Lithuania ?
(Q37,P417,c(Q502895))
action filter_type
action find
entity Q37
relation P417
type Q502895
['Q37', 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?t WHERE { resource:Q37 property:P417 ?t . ?t rdf:type ontology:Q502895 }
Lithuania
action filter_type
action find
entity Lithuania
relation patron saint
type common name
['Lithuania', 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?t WHERE { resource:Lithuania property:patron_saint ?t . ?t rdf:type ontology:common_name }
[]
common name
Q312057
SYSTEM
Saint Casimir
Q312057
(Q37,P417,c(Q502895))
action filter_type
action find
entity Q37
relation P417
type Q502895
[ANSWER] is the patron saint of Lithuania
['Q37', 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?t WHERE { resource:Q37 property:P417 ?t . ?t rdf:type ontology:Q502895 }
Saint Casimir
Saint Casimir is the patron saint of Lithuania
Saint Casimir
action filter_type
action find
entity Lithuania
relation patron saint
type common name
['Lithuania', 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?t WHERE { resource:Lithuania property:patron_saint ?t . ?t rdf:type ontology:common_name }
[]