Simple Question (Direct)
Simple Question
Q230539
P451
Q502895
USER
Which person is the partner of Valérie Trierweiler ?
(Q230539,P451,c(Q502895))
action filter_type
action find
entity Q230539
relation P451
type Q502895
['Q230539', 'P451', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { resource:Q230539 property:P451 ?h . ?h rdf:type ontology:Q502895 }
Valérie Trierweiler
action filter_type
action find
entity Valérie Trierweiler
relation partner
type common name
['Valérie Trierweiler', 'partner', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { resource:Valérie_Trierweiler property:partner ?h . ?h rdf:type ontology:common_name }
[]
common name
Q157
SYSTEM
François Hollande
Q157
(Q230539,P451,c(Q502895))
action filter_type
action find
entity Q230539
relation P451
type Q502895
[ANSWER] is the partner of Valérie Trierweiler
['Q230539', 'P451', {'concept': 'Q502895'}]
SELECT DISTINCT ?h WHERE { resource:Q230539 property:P451 ?h . ?h rdf:type ontology:Q502895 }
François Hollande
François Hollande is the partner of Valérie Trierweiler
François Hollande
action filter_type
action find
entity Valérie Trierweiler
relation partner
type common name
['Valérie Trierweiler', 'partner', {'concept': 'common name'}]
SELECT DISTINCT ?h WHERE { resource:Valérie_Trierweiler property:partner ?h . ?h rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q230539
P108
Q1002697
USER
Which periodical literature does Valérie Trierweiler work for ?
(Q230539,P108,c(Q1002697))
action filter_type
action find
entity Q230539
relation P108
type Q1002697
['Q230539', 'P108', {'concept': 'Q1002697'}]
SELECT DISTINCT ?m WHERE { resource:Q230539 property:P108 ?m . ?m rdf:type ontology:Q1002697 }
Valérie Trierweiler
action filter_type
action find
entity Valérie Trierweiler
relation employer
type periodical literature
['Valérie Trierweiler', 'employer', {'concept': 'periodical literature'}]
SELECT DISTINCT ?m WHERE { resource:Valérie_Trierweiler property:employer ?m . ?m rdf:type ontology:periodical_literature }
[]
periodical literature
Q678095
SYSTEM
Paris Match
Q678095
(Q230539,P108,c(Q1002697))
action filter_type
action find
entity Q230539
relation P108
type Q1002697
Valérie Trierweiler works for [ANSWER]
['Q230539', 'P108', {'concept': 'Q1002697'}]
SELECT DISTINCT ?m WHERE { resource:Q230539 property:P108 ?m . ?m rdf:type ontology:Q1002697 }
Paris Match
Valérie Trierweiler works for Paris Match
Paris Match
action filter_type
action find
entity Valérie Trierweiler
relation employer
type periodical literature
['Valérie Trierweiler', 'employer', {'concept': 'periodical literature'}]
SELECT DISTINCT ?m WHERE { resource:Valérie_Trierweiler property:employer ?m . ?m rdf:type ontology:periodical_literature }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q230539
P25
Q502895
USER
Who has Valérie Trierweiler as a mother ?
(c(Q502895),P25,Q230539)
action filter_type
action find_reverse
entity Q230539
relation P25
type Q502895
[{'concept': 'Q502895'}, 'P25', 'Q230539']
SELECT DISTINCT ?k WHERE { ?k property:P25 resource:Q230539 . ?k rdf:type ontology:Q502895 }
Valérie Trierweiler
action filter_type
action find_reverse
entity Valérie Trierweiler
relation mother
type common name
[{'concept': 'common name'}, 'mother', 'Valérie Trierweiler']
SELECT DISTINCT ?k WHERE { ?k property:mother resource:Valérie_Trierweiler . ?k rdf:type ontology:common_name }
[]
common name
Q27245473
SYSTEM
Léonard Trierweiler
Q27245473
(c(Q502895),P25,Q230539)
action filter_type
action find_reverse
entity Q230539
relation P25
type Q502895
[ANSWER] has Valérie Trierweiler as a mother
[{'concept': 'Q502895'}, 'P25', 'Q230539']
SELECT DISTINCT ?k WHERE { ?k property:P25 resource:Q230539 . ?k rdf:type ontology:Q502895 }
Léonard Trierweiler
Léonard Trierweiler has Valérie Trierweiler as a mother
Léonard Trierweiler
action filter_type
action find_reverse
entity Valérie Trierweiler
relation mother
type common name
[{'concept': 'common name'}, 'mother', 'Valérie Trierweiler']
SELECT DISTINCT ?k WHERE { ?k property:mother resource:Valérie_Trierweiler . ?k rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q27245473
P22
Q502895
USER
Who was the father of that one ?
(Q27245473,P22,c(Q502895))
action filter_type
action find
entity Q27245473
relation P22
type Q502895
['Q27245473', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?q WHERE { resource:Q27245473 property:P22 ?q . ?q rdf:type ontology:Q502895 }
Léonard Trierweiler
action filter_type
action find
entity Léonard Trierweiler
relation father
type common name
['Léonard Trierweiler', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?q WHERE { resource:Léonard_Trierweiler property:father ?q . ?q rdf:type ontology:common_name }
[]
common name
Q15626906
SYSTEM
Denis Trierweiler
Q15626906
(Q27245473,P22,c(Q502895))
action filter_type
action find
entity Q27245473
relation P22
type Q502895
The father of that one was Monsieur [ANSWER]
['Q27245473', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?q WHERE { resource:Q27245473 property:P22 ?q . ?q rdf:type ontology:Q502895 }
Denis Trierweiler
The father of that one was Monsieur Denis Trierweiler
Denis Trierweiler
action filter_type
action find
entity Léonard Trierweiler
relation father
type common name
['Léonard Trierweiler', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?q WHERE { resource:Léonard_Trierweiler property:father ?q . ?q rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1021294 Q230539
P190 P27
Q15617994
USER
Which administrative territories are Valérie Trierweiler an inhabitant of or are partner towns of Krzyż Wielkopolski ?
OR((Q230539,P27,c(Q15617994)), (Q1021294,P190,c(Q15617994)))
action filter_type
action union
action find
entity Q230539
relation P27
action find
entity Q1021294
relation P190
type Q15617994
{'OR': [['Q230539', 'P27', {'concept': 'Q15617994'}], ['Q1021294', 'P190', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Q230539 property:P27 ?p } UNION { resource:Q1021294 property:P190 ?p } } . ?p rdf:type ontology:Q15617994 }
Krzyż Wielkopolski Valérie Trierweiler
action filter_type
action union
action find
entity Valérie Trierweiler
relation country of citizenship
action find
entity Krzyż Wielkopolski
relation sister city
type designation for an administrative territorial entity
{'OR': [['Valérie Trierweiler', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Krzyż Wielkopolski', 'sister city', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Valérie_Trierweiler property:country_of_citizenship ?p } UNION { resource:Krzyż_Wielkopolski property:sister_city ?p } } . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q20753
SYSTEM
France, Bredstedt
Q142 Q20753
OR((Q230539,P27,c(Q15617994)), (Q1021294,P190,c(Q15617994)))
action filter_type
action union
action find
entity Q230539
relation P27
action find
entity Q1021294
relation P190
type Q15617994
[ANSWERS] are Valérie Trierweiler an inhabitant of or are partner towns of Krzyż Wielkopolski
{'OR': [['Q230539', 'P27', {'concept': 'Q15617994'}], ['Q1021294', 'P190', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Q230539 property:P27 ?p } UNION { resource:Q1021294 property:P190 ?p } } . ?p rdf:type ontology:Q15617994 }
France Bredstedt
France and Bredstedt are Valérie Trierweiler an inhabitant of or are partner towns of Krzyż Wielkopolski
France Bredstedt
action filter_type
action union
action find
entity Valérie Trierweiler
relation country of citizenship
action find
entity Krzyż Wielkopolski
relation sister city
type designation for an administrative territorial entity
{'OR': [['Valérie Trierweiler', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Krzyż Wielkopolski', 'sister city', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { { { resource:Valérie_Trierweiler property:country_of_citizenship ?p } UNION { resource:Krzyż_Wielkopolski property:sister_city ?p } } . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q21511852 Q230539
P19
Q20667921
USER
Which french administrative divisions were Valérie Trierweiler or Édouard Lafargue born ?
OR((Q230539,P19,c(Q20667921)), (Q21511852,P19,c(Q20667921)))
action filter_type
action union
action find
entity Q230539
relation P19
action find
entity Q21511852
relation P19
type Q20667921
{'OR': [['Q230539', 'P19', {'concept': 'Q20667921'}], ['Q21511852', 'P19', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q20667921 . { { resource:Q230539 property:P19 ?p } UNION { resource:Q21511852 property:P19 ?p } } }
Édouard Lafargue Valérie Trierweiler
action filter_type
action union
action find
entity Valérie Trierweiler
relation place of birth
action find
entity Édouard Lafargue
relation place of birth
type type of french administrative division
{'OR': [['Valérie Trierweiler', 'place of birth', {'concept': 'type of french administrative division'}], ['Édouard Lafargue', 'place of birth', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:type_of_french_administrative_division . { { resource:Valérie_Trierweiler property:place_of_birth ?p } UNION { resource:Édouard_Lafargue property:place_of_birth ?p } } }
[]
type of french administrative division
Q38380 Q207154
SYSTEM
Angers, Langon
Q38380 Q207154
OR((Q230539,P19,c(Q20667921)), (Q21511852,P19,c(Q20667921)))
action filter_type
action union
action find
entity Q230539
relation P19
action find
entity Q21511852
relation P19
type Q20667921
[ANSWERS] were Valérie Trierweiler or Édouard Lafargue born
{'OR': [['Q230539', 'P19', {'concept': 'Q20667921'}], ['Q21511852', 'P19', {'concept': 'Q20667921'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q20667921 . { { resource:Q230539 property:P19 ?p } UNION { resource:Q21511852 property:P19 ?p } } }
Angers Langon
Angers and Langon were Valérie Trierweiler or Édouard Lafargue born
Angers Langon
action filter_type
action union
action find
entity Valérie Trierweiler
relation place of birth
action find
entity Édouard Lafargue
relation place of birth
type type of french administrative division
{'OR': [['Valérie Trierweiler', 'place of birth', {'concept': 'type of french administrative division'}], ['Édouard Lafargue', 'place of birth', {'concept': 'type of french administrative division'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:type_of_french_administrative_division . { { resource:Valérie_Trierweiler property:place_of_birth ?p } UNION { resource:Édouard_Lafargue property:place_of_birth ?p } } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q21511852
P27
Q15617994
USER
How many administrative territories are Édouard Lafargue an inhabitant of ?
(Q21511852,P27,c(Q15617994))
action count
action filter_type
action find
entity Q21511852
relation P27
type Q15617994
['Q21511852', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) WHERE { resource:Q21511852 property:P27 ?d . ?d rdf:type ontology:Q15617994 }
Édouard Lafargue
action count
action filter_type
action find
entity Édouard Lafargue
relation country of citizenship
type designation for an administrative territorial entity
['Édouard Lafargue', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) WHERE { resource:Édouard_Lafargue property:country_of_citizenship ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
SYSTEM
1
Q142
(Q21511852,P27,c(Q15617994))
action count
action filter_type
action find
entity Q21511852
relation P27
type Q15617994
[ANSWER]
['Q21511852', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) WHERE { resource:Q21511852 property:P27 ?d . ?d rdf:type ontology:Q15617994 }
France
1
action count
action filter_type
action find
entity Édouard Lafargue
relation country of citizenship
type designation for an administrative territorial entity
['Édouard Lafargue', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?a ) WHERE { resource:Édouard_Lafargue property:country_of_citizenship ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q21511852
P106
Q151885
USER
What is the profession of that person ?
action filter_type
action find
entity Q21511852
relation P106
type Q151885
SELECT DISTINCT ?j WHERE { resource:Q21511852 property:P106 ?j . ?j rdf:type ontology:Q151885 }
Édouard Lafargue
action filter_type
action find
entity Édouard Lafargue
relation occupation
type concept
SELECT DISTINCT ?j WHERE { resource:Édouard_Lafargue property:occupation ?j . ?j rdf:type ontology:concept }
[]
concept
Q214917
SYSTEM
playwright
Q214917
action filter_type
action find
entity Q21511852
relation P106
type Q151885
The profession of that person is a [ANSWER]
SELECT DISTINCT ?j WHERE { resource:Q21511852 property:P106 ?j . ?j rdf:type ontology:Q151885 }
playwright
The profession of that person is a playwright
playwright
action filter_type
action find
entity Édouard Lafargue
relation occupation
type concept
SELECT DISTINCT ?j WHERE { resource:Édouard_Lafargue property:occupation ?j . ?j rdf:type ontology:concept }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation|Incomplete
Q24014304 Q21511852
P106
Q151885
USER
And also Alexandre Ferré
AND((Q21511852,P106,c(Q151885)), (Q24014304,P106,c(Q151885)))
action filter_type
action intersection
action find
entity Q21511852
relation P106
action find
entity Q24014304
relation P106
type Q151885
{'AND': [['Q21511852', 'P106', {'concept': 'Q151885'}], ['Q24014304', 'P106', {'concept': 'Q151885'}]]}
SELECT DISTINCT ?w WHERE { resource:Q24014304 property:P106 ?w . resource:Q21511852 property:P106 ?w . ?w rdf:type ontology:Q151885 }
Alexandre Ferré Édouard Lafargue
action filter_type
action intersection
action find
entity Édouard Lafargue
relation occupation
action find
entity Alexandre Ferré
relation occupation
type concept
{'AND': [['Édouard Lafargue', 'occupation', {'concept': 'concept'}], ['Alexandre Ferré', 'occupation', {'concept': 'concept'}]]}
SELECT DISTINCT ?w WHERE { resource:Alexandre_Ferré property:occupation ?w . resource:Édouard_Lafargue property:occupation ?w . ?w rdf:type ontology:concept }
[]
concept
Q214917
SYSTEM
playwright
Q214917
AND((Q21511852,P106,c(Q151885)), (Q24014304,P106,c(Q151885)))
action filter_type
action intersection
action find
entity Q21511852
relation P106
action find
entity Q24014304
relation P106
type Q151885
[ANSWER]
{'AND': [['Q21511852', 'P106', {'concept': 'Q151885'}], ['Q24014304', 'P106', {'concept': 'Q151885'}]]}
SELECT DISTINCT ?w WHERE { resource:Q24014304 property:P106 ?w . resource:Q21511852 property:P106 ?w . ?w rdf:type ontology:Q151885 }
playwright
playwright
action filter_type
action intersection
action find
entity Édouard Lafargue
relation occupation
action find
entity Alexandre Ferré
relation occupation
type concept
{'AND': [['Édouard Lafargue', 'occupation', {'concept': 'concept'}], ['Alexandre Ferré', 'occupation', {'concept': 'concept'}]]}
SELECT DISTINCT ?w WHERE { resource:Alexandre_Ferré property:occupation ?w . resource:Édouard_Lafargue property:occupation ?w . ?w rdf:type ontology:concept }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P361
Q151885 Q9332 Q151885
USER
Which concepts are a part of around 2 concepts or behaviors ?
(c(Q151885),P361,c(Q151885)|c(Q9332))
action approx
action union
action find_tuple_counts
relation P361
type Q151885
type Q151885
action find_tuple_counts
relation P361
type Q151885
type Q9332
value 2
[{'concept': 'Q151885'}, 'P361', [{'concept': 'Q151885'}, {'concept': 'Q9332'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { { ?o property:P361 ?l . ?o rdf:type ontology:Q151885 . ?l rdf:type ontology:Q151885 } UNION { ?o property:P361 ?l . ?o rdf:type ontology:Q151885 . ?l rdf:type ontology:Q9332 } } GROUP BY ?o } . FILTER ( ?i = 2 ) }
action approx
action union
action find_tuple_counts
relation part of
type concept
type concept
action find_tuple_counts
relation part of
type concept
type behavior
value 2
[{'concept': 'concept'}, 'part of', [{'concept': 'concept'}, {'concept': 'behavior'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { { ?o property:part_of ?l . ?o rdf:type ontology:concept . ?l rdf:type ontology:concept } UNION { ?o property:part_of ?l . ?o rdf:type ontology:concept . ?l rdf:type ontology:behavior } } GROUP BY ?o } . FILTER ( ?i = 2 ) }
[]
concept behavior concept
Q484641 Q460674
SYSTEM
pop rock, Ska punk
Q484641 Q460674
(c(Q151885),P361,c(Q151885)|c(Q9332))
action approx
action union
action find_tuple_counts
relation P361
type Q151885
type Q151885
action find_tuple_counts
relation P361
type Q151885
type Q9332
value 2
[ANSWERS] are a part of around 2 concepts or behaviors
[{'concept': 'Q151885'}, 'P361', [{'concept': 'Q151885'}, {'concept': 'Q9332'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { { ?o property:P361 ?l . ?o rdf:type ontology:Q151885 . ?l rdf:type ontology:Q151885 } UNION { ?o property:P361 ?l . ?o rdf:type ontology:Q151885 . ?l rdf:type ontology:Q9332 } } GROUP BY ?o } . FILTER ( ?i = 2 ) }
pop rock Ska punk
Pop rock and Ska punk are a part of around 2 concepts or behaviors
pop rock Ska punk
action approx
action union
action find_tuple_counts
relation part of
type concept
type concept
action find_tuple_counts
relation part of
type concept
type behavior
value 2
[{'concept': 'concept'}, 'part of', [{'concept': 'concept'}, {'concept': 'behavior'}]]
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ?o ( COUNT ( ?l ) AS ?i ) WHERE { { ?o property:part_of ?l . ?o rdf:type ontology:concept . ?l rdf:type ontology:concept } UNION { ?o property:part_of ?l . ?o rdf:type ontology:concept . ?l rdf:type ontology:behavior } } GROUP BY ?o } . FILTER ( ?i = 2 ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q43259
P136
Q2088357
USER
Do No Doubt have those concepts as genre ?
(Q43259,P136,Q484641) (Q43259,P136,Q460674)
action is_in
entity prev_answer
action find
entity Q43259
relation P136
['Q43259', 'P136', 'Q484641'] ['Q43259', 'P136', 'Q460674']
ASK WHERE { resource:Q43259 property:P136 ?p . VALUES ( ?p ) { ( resource:Q484641 ) ( resource:Q460674 ) } }
No Doubt
action is_in
entity prev_answer
action find
entity No Doubt
relation genre
['No Doubt', 'genre', 'pop rock'] ['No Doubt', 'genre', 'Ska punk']
ASK WHERE { resource:No_Doubt property:genre ?p . VALUES ( ?p ) { ( resource:pop_rock ) ( resource:Ska_punk ) } }
[]
musical ensemble
SYSTEM
YES
(Q43259,P136,Q484641) (Q43259,P136,Q460674)
action is_in
entity prev_answer
action find
entity Q43259
relation P136
[ANSWER]
['Q43259', 'P136', 'Q484641'] ['Q43259', 'P136', 'Q460674']
ASK WHERE { resource:Q43259 property:P136 ?p . VALUES ( ?p ) { ( resource:Q484641 ) ( resource:Q460674 ) } }
Yes
action is_in
entity prev_answer
action find
entity No Doubt
relation genre
['No Doubt', 'genre', 'pop rock'] ['No Doubt', 'genre', 'Ska punk']
ASK WHERE { resource:No_Doubt property:genre ?p . VALUES ( ?p ) { ( resource:pop_rock ) ( resource:Ska_punk ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q207154 Q1109830 Q383133
P47
Q20667921
USER
Does Langon have an adjacent border with Erbajolo and Coimères ?
(Q207154,P47,Q1109830) (Q207154,P47,Q383133)
action is_in
entity Q207154
action intersection
action find_reverse
entity Q1109830
relation P47
action find_reverse
entity Q383133
relation P47
['Q207154', 'P47', 'Q1109830'] ['Q207154', 'P47', 'Q383133']
ASK WHERE { resource:Q207154 property:P47 resource:Q383133 . resource:Q207154 property:P47 resource:Q1109830 }
Langon Erbajolo Coimères
action is_in
entity Langon
action intersection
action find_reverse
entity Erbajolo
relation shares border with
action find_reverse
entity Coimères
relation shares border with
['Langon', 'shares border with', 'Erbajolo'] ['Langon', 'shares border with', 'Coimères']
ASK WHERE { resource:Langon property:shares_border_with resource:Coimères . resource:Langon property:shares_border_with resource:Erbajolo }
[]
type of french administrative division
SYSTEM
NO and YES respectively
(Q207154,P47,Q1109830) (Q207154,P47,Q383133)
action is_in
entity Q207154
action intersection
action find_reverse
entity Q1109830
relation P47
action find_reverse
entity Q383133
relation P47
[ANSWER]
['Q207154', 'P47', 'Q1109830'] ['Q207154', 'P47', 'Q383133']
ASK WHERE { resource:Q207154 property:P47 resource:Q383133 . resource:Q207154 property:P47 resource:Q1109830 }
NO and YES respectively
action is_in
entity Langon
action intersection
action find_reverse
entity Erbajolo
relation shares border with
action find_reverse
entity Coimères
relation shares border with
['Langon', 'shares border with', 'Erbajolo'] ['Langon', 'shares border with', 'Coimères']
ASK WHERE { resource:Langon property:shares_border_with resource:Coimères . resource:Langon property:shares_border_with resource:Erbajolo }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q678095 Q1806607
P495
Q15617994
USER
Is Oropedio Lasithiou the country of origin of Paris Match ?
(Q678095,P495,Q1806607)
action is_in
entity Q1806607
action find
entity Q678095
relation P495
['Q678095', 'P495', 'Q1806607']
ASK WHERE { resource:Q678095 property:P495 resource:Q1806607 }
Paris Match Oropedio Lasithiou
action is_in
entity Oropedio Lasithiou
action find
entity Paris Match
relation country of origin
['Paris Match', 'country of origin', 'Oropedio Lasithiou']
ASK WHERE { resource:Paris_Match property:country_of_origin resource:Oropedio_Lasithiou }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q678095,P495,Q1806607)
action is_in
entity Q1806607
action find
entity Q678095
relation P495
[ANSWER]
['Q678095', 'P495', 'Q1806607']
ASK WHERE { resource:Q678095 property:P495 resource:Q1806607 }
No
action is_in
entity Oropedio Lasithiou
action find
entity Paris Match
relation country of origin
['Paris Match', 'country of origin', 'Oropedio Lasithiou']
ASK WHERE { resource:Paris_Match property:country_of_origin resource:Oropedio_Lasithiou }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581072 Q157
P21 P22
Q502895
USER
Which people have François Hollande as dad and are a female ?
AND((c(Q502895),P22,Q157), (c(Q502895),P21,Q6581072))
action filter_type
action intersection
action find_reverse
entity Q157
relation P22
action find_reverse
entity Q6581072
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P22', 'Q157'], [{'concept': 'Q502895'}, 'P21', 'Q6581072']]}
SELECT DISTINCT ?r WHERE { ?r property:P21 resource:Q6581072 . ?r property:P22 resource:Q157 . ?r rdf:type ontology:Q502895 }
female François Hollande
action filter_type
action intersection
action find_reverse
entity François Hollande
relation father
action find_reverse
entity female
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'father', 'François Hollande'], [{'concept': 'common name'}, 'gender', 'female']]}
SELECT DISTINCT ?r WHERE { ?r property:gender resource:female . ?r property:father resource:François_Hollande . ?r rdf:type ontology:common_name }
[]
common name
Q16783697 Q16783701
SYSTEM
Flora Hollande, Clémence Hollande
Q16783697 Q16783701
AND((c(Q502895),P22,Q157), (c(Q502895),P21,Q6581072))
action filter_type
action intersection
action find_reverse
entity Q157
relation P22
action find_reverse
entity Q6581072
relation P21
type Q502895
[ANSWERS] have François Hollande as dad and are a female
{'AND': [[{'concept': 'Q502895'}, 'P22', 'Q157'], [{'concept': 'Q502895'}, 'P21', 'Q6581072']]}
SELECT DISTINCT ?r WHERE { ?r property:P21 resource:Q6581072 . ?r property:P22 resource:Q157 . ?r rdf:type ontology:Q502895 }
Flora Hollande Clémence Hollande
Flora Hollande and Clémence Hollande have François Hollande as dad and are a female
Flora Hollande Clémence Hollande
action filter_type
action intersection
action find_reverse
entity François Hollande
relation father
action find_reverse
entity female
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'father', 'François Hollande'], [{'concept': 'common name'}, 'gender', 'female']]}
SELECT DISTINCT ?r WHERE { ?r property:gender resource:female . ?r property:father resource:François_Hollande . ?r rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q16783695
P9
Q502895
USER
Do Julien Hollande have those ones as their sibling ?
(Q16783695,P9,Q16783697) (Q16783695,P9,Q16783701)
action is_in
entity prev_answer
action find
entity Q16783695
relation P9
['Q16783695', 'P9', 'Q16783697'] ['Q16783695', 'P9', 'Q16783701']
ASK WHERE { resource:Q16783695 property:P9 ?e . VALUES ( ?e ) { ( resource:Q16783697 ) ( resource:Q16783701 ) } }
Julien Hollande
action is_in
entity prev_answer
action find
entity Julien Hollande
relation sister
['Julien Hollande', 'sister', 'Flora Hollande'] ['Julien Hollande', 'sister', 'Clémence Hollande']
ASK WHERE { resource:Julien_Hollande property:sister ?e . VALUES ( ?e ) { ( resource:Flora_Hollande ) ( resource:Clémence_Hollande ) } }
[]
common name
SYSTEM
YES
(Q16783695,P9,Q16783697) (Q16783695,P9,Q16783701)
action is_in
entity prev_answer
action find
entity Q16783695
relation P9
[ANSWER]
['Q16783695', 'P9', 'Q16783697'] ['Q16783695', 'P9', 'Q16783701']
ASK WHERE { resource:Q16783695 property:P9 ?e . VALUES ( ?e ) { ( resource:Q16783697 ) ( resource:Q16783701 ) } }
Yes
action is_in
entity prev_answer
action find
entity Julien Hollande
relation sister
['Julien Hollande', 'sister', 'Flora Hollande'] ['Julien Hollande', 'sister', 'Clémence Hollande']
ASK WHERE { resource:Julien_Hollande property:sister ?e . VALUES ( ?e ) { ( resource:Flora_Hollande ) ( resource:Clémence_Hollande ) } }
[]