Simple Question (Direct)
Simple Question
Q5240260
P21
Q290
USER
What is the sex of David Tahnya Wirikom ?
(Q5240260,P21,c(Q290))
action filter_type
action find
entity Q5240260
relation P21
type Q290
['Q5240260', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?m WHERE { resource:Q5240260 property:P21 ?m . ?m rdf:type ontology:Q290 }
David Tahnya Wirikom
action filter_type
action find
entity David Tahnya Wirikom
relation gender
type sex
['David Tahnya Wirikom', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?m WHERE { resource:David_Tahnya_Wirikom property:gender ?m . ?m rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q5240260,P21,c(Q290))
action filter_type
action find
entity Q5240260
relation P21
type Q290
The sex of David Tahnya Wirikom is the [ANSWER]
['Q5240260', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?m WHERE { resource:Q5240260 property:P21 ?m . ?m rdf:type ontology:Q290 }
male
The sex of David Tahnya Wirikom is the male
male
action filter_type
action find
entity David Tahnya Wirikom
relation gender
type sex
['David Tahnya Wirikom', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?m WHERE { resource:David_Tahnya_Wirikom property:gender ?m . ?m rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5240260
P106
Q12737077
USER
Which occupation is the profession of that person ?
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q5240260
relation P106
type Q12737077
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?h WHERE { resource:Q5240260 property:P106 ?h . ?h rdf:type ontology:Q12737077 }
David Tahnya Wirikom
action filter_type
action find
entity David Tahnya Wirikom
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?h WHERE { resource:David_Tahnya_Wirikom property:occupation ?h . ?h rdf:type ontology:occupation }
[]
occupation
Q937857
SYSTEM
association football player
Q937857
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q5240260
relation P106
type Q12737077
Player [ANSWER] is the profession of that person
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?h WHERE { resource:Q5240260 property:P106 ?h . ?h rdf:type ontology:Q12737077 }
association football player
Player association football player is the profession of that person
association football player
action filter_type
action find
entity David Tahnya Wirikom
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?h WHERE { resource:David_Tahnya_Wirikom property:occupation ?h . ?h rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q937857 Q6018818
P425
Q349
USER
Does Index of basketball-related articles have that one as thier associated field of occupation ?
(Q937857,P425,Q6018818)
action is_in
entity Q6018818
action find
entity Q937857
relation P425
['Q937857', 'P425', 'Q6018818']
ASK WHERE { resource:Q937857 property:P425 resource:Q6018818 }
association football player Index of basketball-related articles
action is_in
entity Index of basketball-related articles
action find
entity association football player
relation field of this occupation
['association football player', 'field of this occupation', 'Index of basketball-related articles']
ASK WHERE { resource:association_football_player property:field_of_this_occupation resource:Index_of_basketball-related_articles }
[]
sport
SYSTEM
NO
(Q937857,P425,Q6018818)
action is_in
entity Q6018818
action find
entity Q937857
relation P425
[ANSWER]
['Q937857', 'P425', 'Q6018818']
ASK WHERE { resource:Q937857 property:P425 resource:Q6018818 }
No
action is_in
entity Index of basketball-related articles
action find
entity association football player
relation field of this occupation
['association football player', 'field of this occupation', 'Index of basketball-related articles']
ASK WHERE { resource:association_football_player property:field_of_this_occupation resource:Index_of_basketball-related_articles }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q5240260 Q95128 Q39852
P27
Q15617994
USER
Is David Tahnya Wirikom a citizen of Mirabello, Emilia–Romagna and Agra ?
(Q5240260,P27,Q95128) (Q5240260,P27,Q39852)
action is_in
entity Q5240260
action intersection
action find_reverse
entity Q95128
relation P27
action find_reverse
entity Q39852
relation P27
['Q5240260', 'P27', 'Q95128'] ['Q5240260', 'P27', 'Q39852']
ASK WHERE { resource:Q5240260 property:P27 resource:Q95128 . resource:Q5240260 property:P27 resource:Q39852 }
David Tahnya Wirikom Mirabello, Emilia–Romagna Agra
action is_in
entity David Tahnya Wirikom
action intersection
action find_reverse
entity Mirabello, Emilia–Romagna
relation country of citizenship
action find_reverse
entity Agra
relation country of citizenship
['David Tahnya Wirikom', 'country of citizenship', 'Mirabello, Emilia–Romagna'] ['David Tahnya Wirikom', 'country of citizenship', 'Agra']
ASK WHERE { resource:David_Tahnya_Wirikom property:country_of_citizenship resource:Mirabello,_Emilia–Romagna . resource:David_Tahnya_Wirikom property:country_of_citizenship resource:Agra }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q5240260,P27,Q95128) (Q5240260,P27,Q39852)
action is_in
entity Q5240260
action intersection
action find_reverse
entity Q95128
relation P27
action find_reverse
entity Q39852
relation P27
[ANSWER]
['Q5240260', 'P27', 'Q95128'] ['Q5240260', 'P27', 'Q39852']
ASK WHERE { resource:Q5240260 property:P27 resource:Q95128 . resource:Q5240260 property:P27 resource:Q39852 }
No
action is_in
entity David Tahnya Wirikom
action intersection
action find_reverse
entity Mirabello, Emilia–Romagna
relation country of citizenship
action find_reverse
entity Agra
relation country of citizenship
['David Tahnya Wirikom', 'country of citizenship', 'Mirabello, Emilia–Romagna'] ['David Tahnya Wirikom', 'country of citizenship', 'Agra']
ASK WHERE { resource:David_Tahnya_Wirikom property:country_of_citizenship resource:Mirabello,_Emilia–Romagna . resource:David_Tahnya_Wirikom property:country_of_citizenship resource:Agra }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5240260
P641
Q349
USER
Which sport was that person a part of ?
action filter_type
action find
entity Q5240260
relation P641
type Q349
SELECT DISTINCT ?r WHERE { resource:Q5240260 property:P641 ?r . ?r rdf:type ontology:Q349 }
David Tahnya Wirikom
action filter_type
action find
entity David Tahnya Wirikom
relation sport
type sport
SELECT DISTINCT ?r WHERE { resource:David_Tahnya_Wirikom property:sport ?r . ?r rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
action filter_type
action find
entity Q5240260
relation P641
type Q349
Football [ANSWER] was that person a part of
SELECT DISTINCT ?r WHERE { resource:Q5240260 property:P641 ?r . ?r rdf:type ontology:Q349 }
association football
Football association football was that person a part of
association football
action filter_type
action find
entity David Tahnya Wirikom
relation sport
type sport
SELECT DISTINCT ?r WHERE { resource:David_Tahnya_Wirikom property:sport ?r . ?r rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5240260
P19
Q15617994
USER
Which administrative territory is the place of birth of that person ?
(Q2736,P19,c(Q15617994))
action filter_type
action find
entity Q5240260
relation P19
type Q15617994
['Q2736', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q5240260 property:P19 ?m . ?m rdf:type ontology:Q15617994 }
David Tahnya Wirikom
action filter_type
action find
entity David Tahnya Wirikom
relation place of birth
type designation for an administrative territorial entity
['association football', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:David_Tahnya_Wirikom property:place_of_birth ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q1009
SYSTEM
Cameroon
Q1009
(Q2736,P19,c(Q15617994))
action filter_type
action find
entity Q5240260
relation P19
type Q15617994
[ANSWER] is the place of birth of that person
['Q2736', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q5240260 property:P19 ?m . ?m rdf:type ontology:Q15617994 }
Cameroon
Cameroon is the place of birth of that person
Cameroon
action filter_type
action find
entity David Tahnya Wirikom
relation place of birth
type designation for an administrative territorial entity
['association football', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:David_Tahnya_Wirikom property:place_of_birth ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Indirect
P495
Q15617994 Q2088357 Q7725634
USER
Which administrative territories are the origins of more number of musical ensembles and literary works than that administrative territory ?
(c(Q2088357)|c(Q7725634),P495,c(Q15617994))
action greater
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2088357
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q7725634
action count
action filter_multi_types
action find_reverse
entity Q1009
relation P495
type Q2088357
type Q7725634
[[{'concept': 'Q2088357'}, {'concept': 'Q7725634'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?u ) WHERE { ?y rdf:type ?w . VALUES ( ?w ) { ( ontology:Q2088357 ) ( ontology:Q7725634 ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { ?f property:P495 resource:Q1009 . { { ?f rdf:type ontology:Q7725634 } UNION { ?f rdf:type ontology:Q2088357 } } } } . FILTER ( ?u > ?g ) }
action greater
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type musical ensemble
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find_reverse
entity Cameroon
relation country of origin
type musical ensemble
type literary work
[[{'concept': 'musical ensemble'}, {'concept': 'literary work'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?u ) WHERE { ?y rdf:type ?w . VALUES ( ?w ) { ( ontology:musical_ensemble ) ( ontology:literary_work ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { ?f property:country_of_origin resource:Cameroon . { { ?f rdf:type ontology:literary_work } UNION { ?f rdf:type ontology:musical_ensemble } } } } . FILTER ( ?u > ?g ) }
[]
designation for an administrative territorial entity musical ensemble literary work
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q801 Q800 Q419 Q668 Q414 Q142 Q55 Q145 Q262 Q148 Q37 Q711 Q717 Q837 Q252 Q399 Q398 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q790 Q4628 Q794 Q884 Q881 Q826 Q822 Q241 Q33 Q32 Q31 Q30 Q924 Q36 Q34 Q928 Q39 Q38 Q739 Q29999 Q424 Q236 Q230 Q232 Q233 Q20 Q1041 Q27 Q28 Q1027 Q1020 Q189 Q843 Q184 Q1028 Q786 Q227 Q224 Q96 Q229 Q347 Q17 Q902 Q1037 Q974 Q1032 Q1033 Q191 Q963 Q298 Q114 Q754 Q750 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q219 Q912 Q916 Q833 Q1008 Q79 Q77 Q948 Q29 Q176 Q869 Q953
(c(Q2088357)|c(Q7725634),P495,c(Q15617994))
action greater
action union
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q2088357
action find_reverse_tuple_counts
relation P495
type Q15617994
type Q7725634
action count
action filter_multi_types
action find_reverse
entity Q1009
relation P495
type Q2088357
type Q7725634
[ANSWERS] are the origins of more number of musical ensembles and literary works than that administrative territory
[[{'concept': 'Q2088357'}, {'concept': 'Q7725634'}], 'P495', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?u ) WHERE { ?y rdf:type ?w . VALUES ( ?w ) { ( ontology:Q2088357 ) ( ontology:Q7725634 ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { ?f property:P495 resource:Q1009 . { { ?f rdf:type ontology:Q7725634 } UNION { ?f rdf:type ontology:Q2088357 } } } } . FILTER ( ?u > ?g ) }
Israel Costa Rica Peru India Argentina France Netherlands United Kingdom Algeria People's Republic of China Lithuania Mongolia Venezuela Nepal Indonesia Armenia Bahrain Serbia South Africa Portugal Russia Turkey Greece Brazil Haiti Faroe Islands Iran South Korea Vietnam Maldives Lebanon Cuba Finland Luxembourg Belgium United States of America Tanzania Poland Sweden Philippines Switzerland Italy Colombia Kingdom of the Netherlands Cambodia Montenegro Georgia Kazakhstan Malta Norway Senegal Ireland Hungary Mauritius Malawi Iceland Pakistan Belarus Morocco Dominican Republic Azerbaijan Croatia Mexico Cyprus Liechtenstein Japan Bangladesh Rwanda Democratic Republic of the Congo Niger Nigeria Estonia Botswana Chile Kenya Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Angola Malaysia Côte d'Ivoire Egypt Uruguay Tunisia Spain Quebec Thailand Zambia
Italy, Brazil and United States of America are the origins of more number of musical ensembles and literary works than that administrative territory
Italy Brazil United States of America
action greater
action union
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type musical ensemble
action find_reverse_tuple_counts
relation country of origin
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find_reverse
entity Cameroon
relation country of origin
type musical ensemble
type literary work
[[{'concept': 'musical ensemble'}, {'concept': 'literary work'}], 'country of origin', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?u ) WHERE { ?y rdf:type ?w . VALUES ( ?w ) { ( ontology:musical_ensemble ) ( ontology:literary_work ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?g ) WHERE { ?f property:country_of_origin resource:Cameroon . { { ?f rdf:type ontology:literary_work } UNION { ?f rdf:type ontology:musical_ensemble } } } } . FILTER ( ?u > ?g ) }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P1376
Q56061 Q515
USER
How many administrative territories or cities are the county seat of that administrative territory ?
(c(Q56061),P1376,Q155) (c(Q515),P1376,Q155) (c(Q56061),P1376,Q38) (c(Q515),P1376,Q38) (c(Q56061),P1376,Q155) (c(Q515),P1376,Q155) (c(Q56061),P1376,Q30) (c(Q515),P1376,Q30)
[{'concept': 'Q56061'}, 'P1376', 'Q155'] [{'concept': 'Q515'}, 'P1376', 'Q155'] [{'concept': 'Q56061'}, 'P1376', 'Q38'] [{'concept': 'Q515'}, 'P1376', 'Q38'] [{'concept': 'Q56061'}, 'P1376', 'Q155'] [{'concept': 'Q515'}, 'P1376', 'Q155'] [{'concept': 'Q56061'}, 'P1376', 'Q30'] [{'concept': 'Q515'}, 'P1376', 'Q30']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P1376 resource:Q21475816 } UNION { ?y property:P1376 resource:Q21475816 } UNION { ?z property:P1376 resource:Q977238 } UNION { ?y property:P1376 resource:Q977238 } UNION { ?z property:P1376 resource:Q21475816 } UNION { ?y property:P1376 resource:Q21475816 } UNION { ?z property:P1376 resource:Q30 } UNION { ?y property:P1376 resource:Q30 } } . ?z rdf:type ontology:Q56061 . ?y rdf:type ontology:Q7930989 }
[{'concept': 'administrative territorial entity'}, 'capital of', 'Brazil'] [{'concept': 'city'}, 'capital of', 'Brazil'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Italy'] [{'concept': 'city'}, 'capital of', 'Italy'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Brazil'] [{'concept': 'city'}, 'capital of', 'Brazil'] [{'concept': 'administrative territorial entity'}, 'capital of', 'United States of America'] [{'concept': 'city'}, 'capital of', 'United States of America']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:capital_of resource:Brazil } UNION { ?y property:capital_of resource:Brazil } UNION { ?z property:capital_of resource:Italy } UNION { ?y property:capital_of resource:Italy } UNION { ?z property:capital_of resource:Brazil } UNION { ?y property:capital_of resource:Brazil } UNION { ?z property:capital_of resource:United_States_of_America } UNION { ?y property:capital_of resource:United_States_of_America } } . ?z rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:city }
[]
administrative territorial entity city
Quantitative|Count|Mult. entity type|Clarification
Q155
SYSTEM
Did you mean Brazil ?
[ANSWER]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P1376 resource:Q21475816 } UNION { ?y property:P1376 resource:Q21475816 } UNION { ?z property:P1376 resource:Q977238 } UNION { ?y property:P1376 resource:Q977238 } UNION { ?z property:P1376 resource:Q21475816 } UNION { ?y property:P1376 resource:Q21475816 } UNION { ?z property:P1376 resource:Q30 } UNION { ?y property:P1376 resource:Q30 } } . ?z rdf:type ontology:Q56061 . ?y rdf:type ontology:Q7930989 }
Did you mean Brazil ?
Brazil
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:capital_of resource:Brazil } UNION { ?y property:capital_of resource:Brazil } UNION { ?z property:capital_of resource:Italy } UNION { ?y property:capital_of resource:Italy } UNION { ?z property:capital_of resource:Brazil } UNION { ?y property:capital_of resource:Brazil } UNION { ?z property:capital_of resource:United_States_of_America } UNION { ?y property:capital_of resource:United_States_of_America } } . ?z rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:city }
[]
Quantitative Reasoning (Count) (All)
USER
Yes
(c(Q56061),P1376,Q155) (c(Q515),P1376,Q155) (c(Q56061),P1376,Q38) (c(Q515),P1376,Q38) (c(Q56061),P1376,Q155) (c(Q515),P1376,Q155) (c(Q56061),P1376,Q30) (c(Q515),P1376,Q30)
[{'concept': 'Q56061'}, 'P1376', 'Q155'] [{'concept': 'Q515'}, 'P1376', 'Q155'] [{'concept': 'Q56061'}, 'P1376', 'Q38'] [{'concept': 'Q515'}, 'P1376', 'Q38'] [{'concept': 'Q56061'}, 'P1376', 'Q155'] [{'concept': 'Q515'}, 'P1376', 'Q155'] [{'concept': 'Q56061'}, 'P1376', 'Q30'] [{'concept': 'Q515'}, 'P1376', 'Q30']
[{'concept': 'administrative territorial entity'}, 'capital of', 'Brazil'] [{'concept': 'city'}, 'capital of', 'Brazil'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Italy'] [{'concept': 'city'}, 'capital of', 'Italy'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Brazil'] [{'concept': 'city'}, 'capital of', 'Brazil'] [{'concept': 'administrative territorial entity'}, 'capital of', 'United States of America'] [{'concept': 'city'}, 'capital of', 'United States of America']
[]
SYSTEM
2
Q8678 Q2844
(c(Q56061),P1376,Q155) (c(Q515),P1376,Q155) (c(Q56061),P1376,Q38) (c(Q515),P1376,Q38) (c(Q56061),P1376,Q155) (c(Q515),P1376,Q155) (c(Q56061),P1376,Q30) (c(Q515),P1376,Q30)
[ANSWER]
[{'concept': 'Q56061'}, 'P1376', 'Q155'] [{'concept': 'Q515'}, 'P1376', 'Q155'] [{'concept': 'Q56061'}, 'P1376', 'Q38'] [{'concept': 'Q515'}, 'P1376', 'Q38'] [{'concept': 'Q56061'}, 'P1376', 'Q155'] [{'concept': 'Q515'}, 'P1376', 'Q155'] [{'concept': 'Q56061'}, 'P1376', 'Q30'] [{'concept': 'Q515'}, 'P1376', 'Q30']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:P1376 resource:Q21475816 } UNION { ?y property:P1376 resource:Q21475816 } UNION { ?z property:P1376 resource:Q977238 } UNION { ?y property:P1376 resource:Q977238 } UNION { ?z property:P1376 resource:Q21475816 } UNION { ?y property:P1376 resource:Q21475816 } UNION { ?z property:P1376 resource:Q30 } UNION { ?y property:P1376 resource:Q30 } } . ?z rdf:type ontology:Q56061 . ?y rdf:type ontology:Q7930989 }
Rio de Janeiro Brasília
2
[{'concept': 'administrative territorial entity'}, 'capital of', 'Brazil'] [{'concept': 'city'}, 'capital of', 'Brazil'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Italy'] [{'concept': 'city'}, 'capital of', 'Italy'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Brazil'] [{'concept': 'city'}, 'capital of', 'Brazil'] [{'concept': 'administrative territorial entity'}, 'capital of', 'United States of America'] [{'concept': 'city'}, 'capital of', 'United States of America']
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { { { ?z property:capital_of resource:Brazil } UNION { ?y property:capital_of resource:Brazil } UNION { ?z property:capital_of resource:Italy } UNION { ?y property:capital_of resource:Italy } UNION { ?z property:capital_of resource:Brazil } UNION { ?y property:capital_of resource:Brazil } UNION { ?z property:capital_of resource:United_States_of_America } UNION { ?y property:capital_of resource:United_States_of_America } } . ?z rdf:type ontology:administrative_territorial_entity . ?y rdf:type ontology:city }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q2708439 Q5240260
P27 P17
Q15617994
USER
Which administrative territories are David Tahnya Wirikom an inhabitant of and are Guider situated in ?
AND((Q5240260,P27,c(Q15617994)), (Q2708439,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q5240260
relation P27
action find
entity Q2708439
relation P17
type Q15617994
{'AND': [['Q5240260', 'P27', {'concept': 'Q15617994'}], ['Q2708439', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q15617994 . resource:Q5240260 property:P27 ?q . resource:Q2708439 property:P17 ?q }
Guider David Tahnya Wirikom
action filter_type
action intersection
action find
entity David Tahnya Wirikom
relation country of citizenship
action find
entity Guider
relation country
type designation for an administrative territorial entity
{'AND': [['David Tahnya Wirikom', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Guider', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:David_Tahnya_Wirikom property:country_of_citizenship ?q . resource:Guider property:country ?q }
[]
designation for an administrative territorial entity
Q1009
SYSTEM
Cameroon
Q1009
AND((Q5240260,P27,c(Q15617994)), (Q2708439,P17,c(Q15617994)))
action filter_type
action intersection
action find
entity Q5240260
relation P27
action find
entity Q2708439
relation P17
type Q15617994
[ANSWER] is David Tahnya Wirikom an inhabitant of and is Guider situated in
{'AND': [['Q5240260', 'P27', {'concept': 'Q15617994'}], ['Q2708439', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q15617994 . resource:Q5240260 property:P27 ?q . resource:Q2708439 property:P17 ?q }
Cameroon
Cameroon is David Tahnya Wirikom an inhabitant of and is Guider situated in
Cameroon
action filter_type
action intersection
action find
entity David Tahnya Wirikom
relation country of citizenship
action find
entity Guider
relation country
type designation for an administrative territorial entity
{'AND': [['David Tahnya Wirikom', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Guider', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:David_Tahnya_Wirikom property:country_of_citizenship ?q . resource:Guider property:country ?q }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q1009 Q1033 Q177728
P47
Q15617994
USER
Does Nigeria and Soriano nel Cimino share a border with Q1009 ?
(Q1009,P47,Q1033) (Q1009,P47,Q177728)
action is_in
entity Q1009
action intersection
action find_reverse
entity Q1033
relation P47
action find_reverse
entity Q177728
relation P47
['Q1009', 'P47', 'Q1033'] ['Q1009', 'P47', 'Q177728']
ASK WHERE { resource:Q1009 property:P47 resource:Q1033 . resource:Q1009 property:P47 resource:Q177728 }
Cameroon Nigeria Soriano nel Cimino
action is_in
entity Cameroon
action intersection
action find_reverse
entity Nigeria
relation shares border with
action find_reverse
entity Soriano nel Cimino
relation shares border with
['Cameroon', 'shares border with', 'Nigeria'] ['Cameroon', 'shares border with', 'Soriano nel Cimino']
ASK WHERE { resource:Cameroon property:shares_border_with resource:Nigeria . resource:Cameroon property:shares_border_with resource:Soriano_nel_Cimino }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q1009,P47,Q1033) (Q1009,P47,Q177728)
action is_in
entity Q1009
action intersection
action find_reverse
entity Q1033
relation P47
action find_reverse
entity Q177728
relation P47
[ANSWER]
['Q1009', 'P47', 'Q1033'] ['Q1009', 'P47', 'Q177728']
ASK WHERE { resource:Q1009 property:P47 resource:Q1033 . resource:Q1009 property:P47 resource:Q177728 }
YES and NO respectively
action is_in
entity Cameroon
action intersection
action find_reverse
entity Nigeria
relation shares border with
action find_reverse
entity Soriano nel Cimino
relation shares border with
['Cameroon', 'shares border with', 'Nigeria'] ['Cameroon', 'shares border with', 'Soriano nel Cimino']
ASK WHERE { resource:Cameroon property:shares_border_with resource:Nigeria . resource:Cameroon property:shares_border_with resource:Soriano_nel_Cimino }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q27793295 Q937857
P425 P641
Q349
USER
Which sports have association football player as the associated fields of occupation or were Patricia Dolan a part of ?
OR((Q937857,P425,c(Q349)), (Q27793295,P641,c(Q349)))
action filter_type
action union
action find
entity Q937857
relation P425
action find
entity Q27793295
relation P641
type Q349
{'OR': [['Q937857', 'P425', {'concept': 'Q349'}], ['Q27793295', 'P641', {'concept': 'Q349'}]]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q349 . { { resource:Q27793295 property:P641 ?s } UNION { resource:Q937857 property:P425 ?s } } }
Patricia Dolan association football player
action filter_type
action union
action find
entity association football player
relation field of this occupation
action find
entity Patricia Dolan
relation sport
type sport
{'OR': [['association football player', 'field of this occupation', {'concept': 'sport'}], ['Patricia Dolan', 'sport', {'concept': 'sport'}]]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:sport . { { resource:Patricia_Dolan property:sport ?s } UNION { resource:association_football_player property:field_of_this_occupation ?s } } }
[]
sport
Q7291 Q2736
SYSTEM
badminton, association football
Q7291 Q2736
OR((Q937857,P425,c(Q349)), (Q27793295,P641,c(Q349)))
action filter_type
action union
action find
entity Q937857
relation P425
action find
entity Q27793295
relation P641
type Q349
[ANSWERS] have association football player as the associated fields of occupation or were Patricia Dolan a part of
{'OR': [['Q937857', 'P425', {'concept': 'Q349'}], ['Q27793295', 'P641', {'concept': 'Q349'}]]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q349 . { { resource:Q27793295 property:P641 ?s } UNION { resource:Q937857 property:P425 ?s } } }
badminton association football
Badminton and association football have association football player as the associated fields of occupation or were Patricia Dolan a part of
badminton association football
action filter_type
action union
action find
entity association football player
relation field of this occupation
action find
entity Patricia Dolan
relation sport
type sport
{'OR': [['association football player', 'field of this occupation', {'concept': 'sport'}], ['Patricia Dolan', 'sport', {'concept': 'sport'}]]}
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:sport . { { resource:Patricia_Dolan property:sport ?s } UNION { resource:association_football_player property:field_of_this_occupation ?s } } }
[]