Simple Question (Direct)
Simple Question
Q1063659
P106
Q12737077
USER
Which occupation is the profession of Charles Barbier de Meynard ?
(Q1063659,P106,c(Q12737077))
action filter_type
action find
entity Q1063659
relation P106
type Q12737077
['Q1063659', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q12737077 . resource:Q1063659 property:P106 ?w }
Charles Barbier de Meynard
action filter_type
action find
entity Charles Barbier de Meynard
relation occupation
type occupation
['Charles Barbier de Meynard', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:occupation . resource:Charles_Barbier_de_Meynard property:occupation ?w }
[]
occupation
Q201788
SYSTEM
historian
Q201788
(Q1063659,P106,c(Q12737077))
action filter_type
action find
entity Q1063659
relation P106
type Q12737077
The [ANSWER] is the profession of Charles Barbier de Meynard
['Q1063659', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q12737077 . resource:Q1063659 property:P106 ?w }
historian
The historian is the profession of Charles Barbier de Meynard
historian
action filter_type
action find
entity Charles Barbier de Meynard
relation occupation
type occupation
['Charles Barbier de Meynard', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:occupation . resource:Charles_Barbier_de_Meynard property:occupation ?w }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1063659
P937
Q56061
USER
What is the location where Charles Barbier de Meynard worked ?
(Q1063659,P937,c(Q56061))
action filter_type
action find
entity Q1063659
relation P937
type Q56061
['Q1063659', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?g WHERE { resource:Q1063659 property:P937 ?g . ?g rdf:type ontology:Q56061 }
Charles Barbier de Meynard
action filter_type
action find
entity Charles Barbier de Meynard
relation work location
type administrative territorial entity
['Charles Barbier de Meynard', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Charles_Barbier_de_Meynard property:work_location ?g . ?g rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q90
SYSTEM
Paris
Q90
(Q1063659,P937,c(Q56061))
action filter_type
action find
entity Q1063659
relation P937
type Q56061
The location Charles Barbier de Meynard worked is in [ANSWER]
['Q1063659', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?g WHERE { resource:Q1063659 property:P937 ?g . ?g rdf:type ontology:Q56061 }
Paris
The location Charles Barbier de Meynard worked is in Paris
Paris
action filter_type
action find
entity Charles Barbier de Meynard
relation work location
type administrative territorial entity
['Charles Barbier de Meynard', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Charles_Barbier_de_Meynard property:work_location ?g . ?g rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1063659
P108
Q41176
USER
Which building is the employer of Charles Barbier de Meynard ?
(Q1063659,P108,c(Q41176))
action filter_type
action find
entity Q1063659
relation P108
type Q41176
['Q1063659', 'P108', {'concept': 'Q41176'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:Q41176 . resource:Q1063659 property:P108 ?g }
Charles Barbier de Meynard
action filter_type
action find
entity Charles Barbier de Meynard
relation employer
type building
['Charles Barbier de Meynard', 'employer', {'concept': 'building'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:building . resource:Charles_Barbier_de_Meynard property:employer ?g }
[]
building
Q202660
SYSTEM
Collège de France
Q202660
(Q1063659,P108,c(Q41176))
action filter_type
action find
entity Q1063659
relation P108
type Q41176
[ANSWER] is the employer of Charles Barbier de Meynard
['Q1063659', 'P108', {'concept': 'Q41176'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:Q41176 . resource:Q1063659 property:P108 ?g }
Collège de France
Collège de France is the employer of Charles Barbier de Meynard
Collège de France
action filter_type
action find
entity Charles Barbier de Meynard
relation employer
type building
['Charles Barbier de Meynard', 'employer', {'concept': 'building'}]
SELECT DISTINCT ?g WHERE { ?g rdf:type ontology:building . resource:Charles_Barbier_de_Meynard property:employer ?g }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q202660 Q142
P17
Q15617994
USER
Is that building located in France ?
(Q202660,P17,Q142)
action is_in
entity Q142
action find
entity Q202660
relation P17
['Q202660', 'P17', 'Q142']
ASK WHERE { resource:Q202660 property:P17 resource:Q142 }
Collège de France France
action is_in
entity France
action find
entity Collège de France
relation country
['Collège de France', 'country', 'France']
ASK WHERE { resource:Collège_de_France property:country resource:France }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q202660,P17,Q142)
action is_in
entity Q142
action find
entity Q202660
relation P17
[ANSWER]
['Q202660', 'P17', 'Q142']
ASK WHERE { resource:Q202660 property:P17 resource:Q142 }
Yes
action is_in
entity France
action find
entity Collège de France
relation country
['Collège de France', 'country', 'France']
ASK WHERE { resource:Collège_de_France property:country resource:France }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q202660
P463
Q502895
USER
Which people have a membership of that building ?
action filter_type
action find_reverse
entity Q202660
relation P463
type Q502895
SELECT DISTINCT ?i WHERE { ?i property:P463 resource:Q202660 . ?i rdf:type ontology:Q502895 }
Collège de France
action filter_type
action find_reverse
entity Collège de France
relation member of
type common name
SELECT DISTINCT ?i WHERE { ?i property:member_of resource:Collège_de_France . ?i rdf:type ontology:common_name }
[]
common name
Q3123761 Q468049 Q3479163
SYSTEM
Gérard Berry, Claire Voisin, Serge Abiteboul
Q20789758 Q468049 Q3479163 Q3123761 Q2853550
action filter_type
action find_reverse
entity Q202660
relation P463
type Q502895
[ANSWERS] have a membership of that building
SELECT DISTINCT ?i WHERE { ?i property:P463 resource:Q202660 . ?i rdf:type ontology:Q502895 }
René Labat Claire Voisin Serge Abiteboul Gérard Berry Antoine-Rémy Mauduit
Gérard Berry, Claire Voisin and Serge Abiteboul have a membership of that building
Gérard Berry Claire Voisin Serge Abiteboul
action filter_type
action find_reverse
entity Collège de France
relation member of
type common name
SELECT DISTINCT ?i WHERE { ?i property:member_of resource:Collège_de_France . ?i rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q468049
P101
Q11862829
USER
Which discipline does Claire Voisin belong to ?
(Q468049,P101,c(Q11862829))
action filter_type
action find
entity Q468049
relation P101
type Q11862829
['Q468049', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?e WHERE { resource:Q468049 property:P101 ?e . ?e rdf:type ontology:Q11862829 }
Claire Voisin
action filter_type
action find
entity Claire Voisin
relation field of work
type academic discipline
['Claire Voisin', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?e WHERE { resource:Claire_Voisin property:field_of_work ?e . ?e rdf:type ontology:academic_discipline }
[]
academic discipline
Q180969
SYSTEM
algebraic geometry
Q180969
(Q468049,P101,c(Q11862829))
action filter_type
action find
entity Q468049
relation P101
type Q11862829
Claire Voisin belongs to [ANSWER]
['Q468049', 'P101', {'concept': 'Q11862829'}]
SELECT DISTINCT ?e WHERE { resource:Q468049 property:P101 ?e . ?e rdf:type ontology:Q11862829 }
algebraic geometry
Claire Voisin belongs to algebraic geometry
algebraic geometry
action filter_type
action find
entity Claire Voisin
relation field of work
type academic discipline
['Claire Voisin', 'field of work', {'concept': 'academic discipline'}]
SELECT DISTINCT ?e WHERE { resource:Claire_Voisin property:field_of_work ?e . ?e rdf:type ontology:academic_discipline }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q468049
P734
Q82799
USER
Which name is associated with that person ?
(Q180969,P734,c(Q82799))
action filter_type
action find
entity Q468049
relation P734
type Q82799
['Q180969', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?b WHERE { resource:Q468049 property:P734 ?b . ?b rdf:type ontology:Q82799 }
Claire Voisin
action filter_type
action find
entity Claire Voisin
relation family name
type name
['algebraic geometry', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?b WHERE { resource:Claire_Voisin property:family_name ?b . ?b rdf:type ontology:name }
[]
name
Q18578754
SYSTEM
Voisin
Q18578754
(Q180969,P734,c(Q82799))
action filter_type
action find
entity Q468049
relation P734
type Q82799
[ANSWER] is associated with that person
['Q180969', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?b WHERE { resource:Q468049 property:P734 ?b . ?b rdf:type ontology:Q82799 }
Voisin
Voisin is associated with that person
Voisin
action filter_type
action find
entity Claire Voisin
relation family name
type name
['algebraic geometry', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?b WHERE { resource:Claire_Voisin property:family_name ?b . ?b rdf:type ontology:name }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation|Incomplete
Q2701067 Q468049
P734
Q82799
USER
Or Birger Jensen?
OR((Q468049,P734,c(Q82799)), (Q2701067,P734,c(Q82799)))
action filter_type
action union
action find
entity Q468049
relation P734
action find
entity Q2701067
relation P734
type Q82799
{'OR': [['Q468049', 'P734', {'concept': 'Q82799'}], ['Q2701067', 'P734', {'concept': 'Q82799'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Q468049 property:P734 ?g } UNION { resource:Q2701067 property:P734 ?g } } . ?g rdf:type ontology:Q82799 }
Birger Jensen Claire Voisin
action filter_type
action union
action find
entity Claire Voisin
relation family name
action find
entity Birger Jensen
relation family name
type name
{'OR': [['Claire Voisin', 'family name', {'concept': 'name'}], ['Birger Jensen', 'family name', {'concept': 'name'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Claire_Voisin property:family_name ?g } UNION { resource:Birger_Jensen property:family_name ?g } } . ?g rdf:type ontology:name }
[]
name
Q18578754 Q16871164
SYSTEM
Voisin, Jensen
Q18578754 Q16871164
OR((Q468049,P734,c(Q82799)), (Q2701067,P734,c(Q82799)))
action filter_type
action union
action find
entity Q468049
relation P734
action find
entity Q2701067
relation P734
type Q82799
[ANSWERS]
{'OR': [['Q468049', 'P734', {'concept': 'Q82799'}], ['Q2701067', 'P734', {'concept': 'Q82799'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Q468049 property:P734 ?g } UNION { resource:Q2701067 property:P734 ?g } } . ?g rdf:type ontology:Q82799 }
Voisin Jensen
Voisin Jensen
action filter_type
action union
action find
entity Claire Voisin
relation family name
action find
entity Birger Jensen
relation family name
type name
{'OR': [['Claire Voisin', 'family name', {'concept': 'name'}], ['Birger Jensen', 'family name', {'concept': 'name'}]]}
SELECT DISTINCT ?g WHERE { { { resource:Claire_Voisin property:family_name ?g } UNION { resource:Birger_Jensen property:family_name ?g } } . ?g rdf:type ontology:name }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q21066419 Q468049
P27
Q15617994
USER
Which administrative territories are Claire Voisin or Sione Uhatahi a civilian of ?
OR((Q468049,P27,c(Q15617994)), (Q21066419,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q468049
relation P27
action find
entity Q21066419
relation P27
type Q15617994
{'OR': [['Q468049', 'P27', {'concept': 'Q15617994'}], ['Q21066419', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q468049 property:P27 ?n } UNION { resource:Q21066419 property:P27 ?n } } . ?n rdf:type ontology:Q15617994 }
Sione Uhatahi Claire Voisin
action filter_type
action union
action find
entity Claire Voisin
relation country of citizenship
action find
entity Sione Uhatahi
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Claire Voisin', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Sione Uhatahi', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Claire_Voisin property:country_of_citizenship ?n } UNION { resource:Sione_Uhatahi property:country_of_citizenship ?n } } . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q678
SYSTEM
France, Tonga
Q142 Q678
OR((Q468049,P27,c(Q15617994)), (Q21066419,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q468049
relation P27
action find
entity Q21066419
relation P27
type Q15617994
[ANSWERS] are Claire Voisin or Sione Uhatahi a civilian of
{'OR': [['Q468049', 'P27', {'concept': 'Q15617994'}], ['Q21066419', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q468049 property:P27 ?n } UNION { resource:Q21066419 property:P27 ?n } } . ?n rdf:type ontology:Q15617994 }
France Tonga
France and Tonga are Claire Voisin or Sione Uhatahi a civilian of
France Tonga
action filter_type
action union
action find
entity Claire Voisin
relation country of citizenship
action find
entity Sione Uhatahi
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Claire Voisin', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Sione Uhatahi', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Claire_Voisin property:country_of_citizenship ?n } UNION { resource:Sione_Uhatahi property:country_of_citizenship ?n } } . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]