Simple Question (Direct)
Simple Question
Q18685908
P641
Q349
USER
Which sport did Tommy Todd participate in ?
(Q18685908,P641,c(Q349))
action filter_type
action find
entity Q18685908
relation P641
type Q349
['Q18685908', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?o WHERE { resource:Q18685908 property:P641 ?o . ?o rdf:type ontology:Q349 }
Tommy Todd
action filter_type
action find
entity Tommy Todd
relation sport
type sport
['Tommy Todd', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?o WHERE { resource:Tommy_Todd property:sport ?o . ?o rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q18685908,P641,c(Q349))
action filter_type
action find
entity Q18685908
relation P641
type Q349
Tommy Todd participated in [ANSWER]
['Q18685908', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?o WHERE { resource:Q18685908 property:P641 ?o . ?o rdf:type ontology:Q349 }
association football
Tommy Todd participated in association football
association football
action filter_type
action find
entity Tommy Todd
relation sport
type sport
['Tommy Todd', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?o WHERE { resource:Tommy_Todd property:sport ?o . ?o rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2736
P495
Q1496967
USER
Where did that sport originate ?
(Q2736,P495,c(Q1496967))
action filter_type
action find
entity Q2736
relation P495
type Q1496967
['Q2736', 'P495', {'concept': 'Q1496967'}]
SELECT DISTINCT ?x WHERE { resource:Q2736 property:P495 ?x . ?x rdf:type ontology:Q1496967 }
association football
action filter_type
action find
entity association football
relation country of origin
type territorial entity
['association football', 'country of origin', {'concept': 'territorial entity'}]
SELECT DISTINCT ?x WHERE { resource:association_football property:country_of_origin ?x . ?x rdf:type ontology:territorial_entity }
[]
territorial entity
Q21
SYSTEM
England
Q21
(Q2736,P495,c(Q1496967))
action filter_type
action find
entity Q2736
relation P495
type Q1496967
That sport originated in [ANSWER]
['Q2736', 'P495', {'concept': 'Q1496967'}]
SELECT DISTINCT ?x WHERE { resource:Q2736 property:P495 ?x . ?x rdf:type ontology:Q1496967 }
England
That sport originated in England
England
action filter_type
action find
entity association football
relation country of origin
type territorial entity
['association football', 'country of origin', {'concept': 'territorial entity'}]
SELECT DISTINCT ?x WHERE { resource:association_football property:country_of_origin ?x . ?x rdf:type ontology:territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q21 Q84
P36
Q56061
USER
Is London associated to England as the capital ?
(Q21,P36,Q84)
action is_in
entity Q84
action find
entity Q21
relation P36
['Q21', 'P36', 'Q84']
ASK WHERE { resource:Q21 property:P36 resource:Q84 }
England London
action is_in
entity London
action find
entity England
relation capital
['England', 'capital', 'London']
ASK WHERE { resource:England property:capital resource:London }
[]
administrative territorial entity
SYSTEM
YES
(Q21,P36,Q84)
action is_in
entity Q84
action find
entity Q21
relation P36
[ANSWER]
['Q21', 'P36', 'Q84']
ASK WHERE { resource:Q21 property:P36 resource:Q84 }
Yes
action is_in
entity London
action find
entity England
relation capital
['England', 'capital', 'London']
ASK WHERE { resource:England property:capital resource:London }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P417
Q502895 Q44539 Q15617994
USER
Which people are the patron saints of exactly 6 temples or administrative territories ?
(c(Q44539)|c(Q15617994),P417,c(Q502895))
action equal
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q44539
action find_reverse_tuple_counts
relation P417
type Q502895
type Q15617994
value 6
[[{'concept': 'Q44539'}, {'concept': 'Q15617994'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?k ) ?p WHERE { VALUES ( ?q ) { ( ontology:Q44539 ) ( ontology:Q15617994 ) } . ?j rdf:type ?q } GROUP BY ?p } . FILTER ( ?k = 6 ) }
action equal
action union
action find_reverse_tuple_counts
relation patron saint
type common name
type temple
action find_reverse_tuple_counts
relation patron saint
type common name
type designation for an administrative territorial entity
value 6
[[{'concept': 'temple'}, {'concept': 'designation for an administrative territorial entity'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?k ) ?p WHERE { VALUES ( ?q ) { ( ontology:temple ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?j rdf:type ?q } GROUP BY ?p } . FILTER ( ?k = 6 ) }
[]
common name temple designation for an administrative territorial entity
Q43689 Q346
SYSTEM
Ambrose, Louis IX of France
Q43689 Q346
(c(Q44539)|c(Q15617994),P417,c(Q502895))
action equal
action union
action find_reverse_tuple_counts
relation P417
type Q502895
type Q44539
action find_reverse_tuple_counts
relation P417
type Q502895
type Q15617994
value 6
[ANSWERS] are the patron saints of exactly 6 temples or administrative territories
[[{'concept': 'Q44539'}, {'concept': 'Q15617994'}], 'P417', {'concept': 'Q502895'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?k ) ?p WHERE { VALUES ( ?q ) { ( ontology:Q44539 ) ( ontology:Q15617994 ) } . ?j rdf:type ?q } GROUP BY ?p } . FILTER ( ?k = 6 ) }
Ambrose Louis IX of France
Ambrose and Louis IX of France are the patron saints of exactly 6 temples or administrative territories
Ambrose Louis IX of France
action equal
action union
action find_reverse_tuple_counts
relation patron saint
type common name
type temple
action find_reverse_tuple_counts
relation patron saint
type common name
type designation for an administrative territorial entity
value 6
[[{'concept': 'temple'}, {'concept': 'designation for an administrative territorial entity'}], 'patron saint', {'concept': 'common name'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?k ) ?p WHERE { VALUES ( ?q ) { ( ontology:temple ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?j rdf:type ?q } GROUP BY ?p } . FILTER ( ?k = 6 ) }
[]