Simple Question (Direct)
Simple Question
Q17305726
P184
Q502895
USER
Which person was the doctoral supervisor of A. J. Bernheim Brush ?
(Q17305726,P184,c(Q502895))
action filter_type
action find
entity Q17305726
relation P184
type Q502895
['Q17305726', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { resource:Q17305726 property:P184 ?w . ?w rdf:type ontology:Q502895 }
A. J. Bernheim Brush
action filter_type
action find
entity A. J. Bernheim Brush
relation doctoral advisor
type common name
['A. J. Bernheim Brush', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { resource:A._J._Bernheim_Brush property:doctoral_advisor ?w . ?w rdf:type ontology:common_name }
[]
common name
Q17305708
SYSTEM
Alan H. Borning
Q17305708
(Q17305726,P184,c(Q502895))
action filter_type
action find
entity Q17305726
relation P184
type Q502895
[ANSWER] was the doctoral supervisor of A. J. Bernheim Brush
['Q17305726', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { resource:Q17305726 property:P184 ?w . ?w rdf:type ontology:Q502895 }
Alan H. Borning
Alan H. Borning was the doctoral supervisor of A. J. Bernheim Brush
Alan H. Borning
action filter_type
action find
entity A. J. Bernheim Brush
relation doctoral advisor
type common name
['A. J. Bernheim Brush', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { resource:A._J._Bernheim_Brush property:doctoral_advisor ?w . ?w rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q17305726
P19
Q56061
USER
Which administrative territory is the birthplace of A. J. Bernheim Brush ?
(Q17305726,P19,c(Q56061))
action filter_type
action find
entity Q17305726
relation P19
type Q56061
['Q17305726', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?k WHERE { resource:Q17305726 property:P19 ?k . ?k rdf:type ontology:Q56061 }
A. J. Bernheim Brush
action filter_type
action find
entity A. J. Bernheim Brush
relation place of birth
type administrative territorial entity
['A. J. Bernheim Brush', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { resource:A._J._Bernheim_Brush property:place_of_birth ?k . ?k rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q174224
SYSTEM
Wilmington
Q174224
(Q17305726,P19,c(Q56061))
action filter_type
action find
entity Q17305726
relation P19
type Q56061
Of [ANSWER] is the birthplace of A. J. Bernheim Brush
['Q17305726', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?k WHERE { resource:Q17305726 property:P19 ?k . ?k rdf:type ontology:Q56061 }
Wilmington
Of Wilmington is the birthplace of A. J. Bernheim Brush
Wilmington
action filter_type
action find
entity A. J. Bernheim Brush
relation place of birth
type administrative territorial entity
['A. J. Bernheim Brush', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { resource:A._J._Bernheim_Brush property:place_of_birth ?k . ?k rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q17305726
P108
Q1269299
USER
Which business organization is the workplace of that person ?
(Q174224,P108,c(Q1269299))
action filter_type
action find
entity Q17305726
relation P108
type Q1269299
['Q174224', 'P108', {'concept': 'Q1269299'}]
SELECT DISTINCT ?e WHERE { resource:Q17305726 property:P108 ?e . ?e rdf:type ontology:Q1269299 }
A. J. Bernheim Brush
action filter_type
action find
entity A. J. Bernheim Brush
relation employer
type type of business entity
['Wilmington', 'employer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?e WHERE { resource:A._J._Bernheim_Brush property:employer ?e . ?e rdf:type ontology:type_of_business_entity }
[]
type of business entity
Q2283
SYSTEM
Microsoft
Q2283
(Q174224,P108,c(Q1269299))
action filter_type
action find
entity Q17305726
relation P108
type Q1269299
[ANSWER] is the workplace of that person
['Q174224', 'P108', {'concept': 'Q1269299'}]
SELECT DISTINCT ?e WHERE { resource:Q17305726 property:P108 ?e . ?e rdf:type ontology:Q1269299 }
Microsoft
Microsoft is the workplace of that person
Microsoft
action filter_type
action find
entity A. J. Bernheim Brush
relation employer
type type of business entity
['Wilmington', 'employer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?e WHERE { resource:A._J._Bernheim_Brush property:employer ?e . ?e rdf:type ontology:type_of_business_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q2283 Q5284
P127
Q502895
USER
Is Bill Gates the owner of that business organization ?
(Q2283,P127,Q5284)
action is_in
entity Q5284
action find
entity Q2283
relation P127
['Q2283', 'P127', 'Q5284']
ASK WHERE { resource:Q2283 property:P127 resource:Q5284 }
Microsoft Bill Gates
action is_in
entity Bill Gates
action find
entity Microsoft
relation owned by
['Microsoft', 'owned by', 'Bill Gates']
ASK WHERE { resource:Microsoft property:owned_by resource:Bill_Gates }
[]
common name
SYSTEM
YES
(Q2283,P127,Q5284)
action is_in
entity Q5284
action find
entity Q2283
relation P127
[ANSWER]
['Q2283', 'P127', 'Q5284']
ASK WHERE { resource:Q2283 property:P127 resource:Q5284 }
Yes
action is_in
entity Bill Gates
action find
entity Microsoft
relation owned by
['Microsoft', 'owned by', 'Bill Gates']
ASK WHERE { resource:Microsoft property:owned_by resource:Bill_Gates }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2283
P1454
Q155076
USER
Which juridical person is the type of legal form of that business organization ?
action filter_type
action find
entity Q2283
relation P1454
type Q155076
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q155076 . resource:Q2283 property:P1454 ?b }
Microsoft
action filter_type
action find
entity Microsoft
relation legal form
type juridical person
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:juridical_person . resource:Microsoft property:legal_form ?b }
[]
juridical person
Q167037
SYSTEM
corporation
Q167037
action filter_type
action find
entity Q2283
relation P1454
type Q155076
[ANSWER] is the type of legal form of that business organization
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q155076 . resource:Q2283 property:P1454 ?b }
corporation
Corporation is the type of legal form of that business organization
corporation
action filter_type
action find
entity Microsoft
relation legal form
type juridical person
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:juridical_person . resource:Microsoft property:legal_form ?b }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q799083
P355
Q1269299 Q1269299
USER
How many business organizations are subsidiaries of around the same number of business organizations as Peguform ?
(c(Q1269299),P355,c(Q1269299))
action count
action approx
action find_reverse_tuple_counts
relation P355
type Q1269299
type Q1269299
action count
action filter_type
action find
entity Q799083
relation P355
type Q1269299
[{'concept': 'Q1269299'}, 'P355', {'concept': 'Q1269299'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?k ) WHERE { ?o property:P355 ?c . ?c rdf:type ontology:Q1269299 . ?o rdf:type ontology:Q1269299 } GROUP BY ?c } . FILTER ( ?k = ?s ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?s ) WHERE { resource:Q799083 property:P355 ?w . ?w rdf:type ontology:Q1269299 } } }
Peguform
action count
action approx
action find_reverse_tuple_counts
relation subsidiary
type type of business entity
type type of business entity
action count
action filter_type
action find
entity Peguform
relation subsidiary
type type of business entity
[{'concept': 'type of business entity'}, 'subsidiary', {'concept': 'type of business entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?k ) WHERE { ?o property:subsidiary ?c . ?c rdf:type ontology:type_of_business_entity . ?o rdf:type ontology:type_of_business_entity } GROUP BY ?c } . FILTER ( ?k = ?s ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?s ) WHERE { resource:Peguform property:subsidiary ?w . ?w rdf:type ontology:type_of_business_entity } } }
[]
type of business entity type of business entity
SYSTEM
47
Q1737636 Q829558 Q996095 Q1961658 Q11471181 Q188514 Q799083 Q1490400 Q835482 Q943097 Q855313 Q2820825 Q1416717 Q503182 Q8766 Q18635302 Q1543499 Q219960 Q1562664 Q899012 Q918390 Q21005951 Q1477681 Q1585554 Q6108019 Q627381 Q3238409 Q20112954 Q1344677 Q11368062 Q1418246 Q1305180 Q20045200 Q1191685 Q328268 Q2380266 Q1673617 Q1465005 Q304962 Q58707 Q5214141 Q848336 Q219635 Q680991 Q12515931 Q17193081 Q219501
(c(Q1269299),P355,c(Q1269299))
action count
action approx
action find_reverse_tuple_counts
relation P355
type Q1269299
type Q1269299
action count
action filter_type
action find
entity Q799083
relation P355
type Q1269299
[ANSWER]
[{'concept': 'Q1269299'}, 'P355', {'concept': 'Q1269299'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?k ) WHERE { ?o property:P355 ?c . ?c rdf:type ontology:Q1269299 . ?o rdf:type ontology:Q1269299 } GROUP BY ?c } . FILTER ( ?k = ?s ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?s ) WHERE { resource:Q799083 property:P355 ?w . ?w rdf:type ontology:Q1269299 } } }
Kcell RWE npower Chuokoron-Shinsha NV Energy Sanyo Department Store Tata Motors Peguform Lagardère Group DHL Air UK HSBC Bank Australia BOC Hong Kong Abbey National InBev PetroChina British Airways UMS Lietuvos Dujos Scania OJSC VimpelCom Sibur Sky plc Bumi Armada Thaicom Harman Becker Automotive Systems JD Sports Bank of Scotland Lifetime Entertainment Services Sega Games PKP Polskie Linie Kolejowe Maruzen CHI Holdings Finnlines Fujitsu Semiconductor Europe SEGA Interactive FamilyMart Sun Television Polymetal International MakerBot Industries Orange Polska Mitsubishi Estate Aeroflot Fusosha Publishing Eutelsat BlackRock Arriva Sony Music Entertainment Indonesia Izukyu Holdings Saab Group
47
action count
action approx
action find_reverse_tuple_counts
relation subsidiary
type type of business entity
type type of business entity
action count
action filter_type
action find
entity Peguform
relation subsidiary
type type of business entity
[{'concept': 'type of business entity'}, 'subsidiary', {'concept': 'type of business entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?m ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?o ) AS ?k ) WHERE { ?o property:subsidiary ?c . ?c rdf:type ontology:type_of_business_entity . ?o rdf:type ontology:type_of_business_entity } GROUP BY ?c } . FILTER ( ?k = ?s ) . { SELECT DISTINCT ( COUNT ( ?w ) AS ?s ) WHERE { resource:Peguform property:subsidiary ?w . ?w rdf:type ontology:type_of_business_entity } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Incomplete
Q1191685
P355
Q1269299 Q1269299
USER
And how about FamilyMart?
(c(Q1269299),P355,c(Q1269299))
action count
action approx
action find_reverse_tuple_counts
relation P355
type Q1269299
type Q1269299
action count
action filter_type
action find
entity Q1191685
relation P355
type Q1269299
[{'concept': 'Q1269299'}, 'P355', {'concept': 'Q1269299'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?w ) AS ?q ) WHERE { ?e rdf:type ontology:Q1269299 . ?w rdf:type ontology:Q1269299 . ?w property:P355 ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:Q1191685 property:P355 ?k . ?k rdf:type ontology:Q1269299 } } . FILTER ( ?q = ?h ) }
FamilyMart
action count
action approx
action find_reverse_tuple_counts
relation subsidiary
type type of business entity
type type of business entity
action count
action filter_type
action find
entity FamilyMart
relation subsidiary
type type of business entity
[{'concept': 'type of business entity'}, 'subsidiary', {'concept': 'type of business entity'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?w ) AS ?q ) WHERE { ?e rdf:type ontology:type_of_business_entity . ?w rdf:type ontology:type_of_business_entity . ?w property:subsidiary ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:FamilyMart property:subsidiary ?k . ?k rdf:type ontology:type_of_business_entity } } . FILTER ( ?q = ?h ) }
[]
type of business entity type of business entity
SYSTEM
47
Q1737636 Q829558 Q996095 Q1961658 Q11471181 Q188514 Q799083 Q1490400 Q835482 Q943097 Q855313 Q2820825 Q1416717 Q503182 Q8766 Q18635302 Q1543499 Q219960 Q1562664 Q899012 Q918390 Q21005951 Q1477681 Q1585554 Q6108019 Q627381 Q3238409 Q20112954 Q1344677 Q11368062 Q1418246 Q1305180 Q20045200 Q1191685 Q328268 Q2380266 Q1673617 Q1465005 Q304962 Q58707 Q5214141 Q848336 Q219635 Q680991 Q12515931 Q17193081 Q219501
(c(Q1269299),P355,c(Q1269299))
action count
action approx
action find_reverse_tuple_counts
relation P355
type Q1269299
type Q1269299
action count
action filter_type
action find
entity Q1191685
relation P355
type Q1269299
[ANSWER]
[{'concept': 'Q1269299'}, 'P355', {'concept': 'Q1269299'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?w ) AS ?q ) WHERE { ?e rdf:type ontology:Q1269299 . ?w rdf:type ontology:Q1269299 . ?w property:P355 ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:Q1191685 property:P355 ?k . ?k rdf:type ontology:Q1269299 } } . FILTER ( ?q = ?h ) }
Kcell RWE npower Chuokoron-Shinsha NV Energy Sanyo Department Store Tata Motors Peguform Lagardère Group DHL Air UK HSBC Bank Australia BOC Hong Kong Abbey National InBev PetroChina British Airways UMS Lietuvos Dujos Scania OJSC VimpelCom Sibur Sky plc Bumi Armada Thaicom Harman Becker Automotive Systems JD Sports Bank of Scotland Lifetime Entertainment Services Sega Games PKP Polskie Linie Kolejowe Maruzen CHI Holdings Finnlines Fujitsu Semiconductor Europe SEGA Interactive FamilyMart Sun Television Polymetal International MakerBot Industries Orange Polska Mitsubishi Estate Aeroflot Fusosha Publishing Eutelsat BlackRock Arriva Sony Music Entertainment Indonesia Izukyu Holdings Saab Group
47
action count
action approx
action find_reverse_tuple_counts
relation subsidiary
type type of business entity
type type of business entity
action count
action filter_type
action find
entity FamilyMart
relation subsidiary
type type of business entity
[{'concept': 'type of business entity'}, 'subsidiary', {'concept': 'type of business entity'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?w ) AS ?q ) WHERE { ?e rdf:type ontology:type_of_business_entity . ?w rdf:type ontology:type_of_business_entity . ?w property:subsidiary ?e } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?h ) WHERE { resource:FamilyMart property:subsidiary ?k . ?k rdf:type ontology:type_of_business_entity } } . FILTER ( ?q = ?h ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q174224
P190
Q56061 Q15617994
USER
How many administrative territories or administrative territories are sister town of Wilmington ?
(c(Q56061),P190,Q174224) (c(Q15617994),P190,Q174224)
action count
action union
action filter_type
action find_reverse
entity Q174224
relation P190
type Q56061
action filter_type
action find_reverse
entity Q174224
relation P190
type Q15617994
[{'concept': 'Q56061'}, 'P190', 'Q174224'] [{'concept': 'Q15617994'}, 'P190', 'Q174224']
SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { { ?q property:P190 resource:Q174224 . ?q rdf:type ontology:Q56061 } UNION { ?q rdf:type ontology:Q15617994 . ?q property:P190 resource:Q174224 } }
Wilmington
action count
action union
action filter_type
action find_reverse
entity Wilmington
relation sister city
type administrative territorial entity
action filter_type
action find_reverse
entity Wilmington
relation sister city
type designation for an administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'sister city', 'Wilmington'] [{'concept': 'designation for an administrative territorial entity'}, 'sister city', 'Wilmington']
SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { { ?q property:sister_city resource:Wilmington . ?q rdf:type ontology:administrative_territorial_entity } UNION { ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q property:sister_city resource:Wilmington } }
[]
administrative territorial entity designation for an administrative territorial entity
SYSTEM
4
Q3963 Q26345 Q2598 Q81155
(c(Q56061),P190,Q174224) (c(Q15617994),P190,Q174224)
action count
action union
action filter_type
action find_reverse
entity Q174224
relation P190
type Q56061
action filter_type
action find_reverse
entity Q174224
relation P190
type Q15617994
[ANSWER]
[{'concept': 'Q56061'}, 'P190', 'Q174224'] [{'concept': 'Q15617994'}, 'P190', 'Q174224']
SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { { ?q property:P190 resource:Q174224 . ?q rdf:type ontology:Q56061 } UNION { ?q rdf:type ontology:Q15617994 . ?q property:P190 resource:Q174224 } }
Fulda Kalmar Watford Olevano sul Tusciano
4
action count
action union
action filter_type
action find_reverse
entity Wilmington
relation sister city
type administrative territorial entity
action filter_type
action find_reverse
entity Wilmington
relation sister city
type designation for an administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'sister city', 'Wilmington'] [{'concept': 'designation for an administrative territorial entity'}, 'sister city', 'Wilmington']
SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { { ?q property:sister_city resource:Wilmington . ?q rdf:type ontology:administrative_territorial_entity } UNION { ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q property:sister_city resource:Wilmington } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q14083370 Q17305726
P27
Q15617994
USER
Which administrative territories are the native countriesof A. J. Bernheim Brush or Jose Bayo Herranz ?
OR((Q17305726,P27,c(Q15617994)), (Q14083370,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q17305726
relation P27
action find
entity Q14083370
relation P27
type Q15617994
{'OR': [['Q17305726', 'P27', {'concept': 'Q15617994'}], ['Q14083370', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q17305726 property:P27 ?j } UNION { resource:Q14083370 property:P27 ?j } } . ?j rdf:type ontology:Q15617994 }
Jose Bayo Herranz A. J. Bernheim Brush
action filter_type
action union
action find
entity A. J. Bernheim Brush
relation country of citizenship
action find
entity Jose Bayo Herranz
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['A. J. Bernheim Brush', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Jose Bayo Herranz', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:A._J._Bernheim_Brush property:country_of_citizenship ?j } UNION { resource:Jose_Bayo_Herranz property:country_of_citizenship ?j } } . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q29 Q30
SYSTEM
Spain, United States of America
Q29 Q30
OR((Q17305726,P27,c(Q15617994)), (Q14083370,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q17305726
relation P27
action find
entity Q14083370
relation P27
type Q15617994
[ANSWERS] are the native countriesof A. J. Bernheim Brush or Jose Bayo Herranz
{'OR': [['Q17305726', 'P27', {'concept': 'Q15617994'}], ['Q14083370', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q17305726 property:P27 ?j } UNION { resource:Q14083370 property:P27 ?j } } . ?j rdf:type ontology:Q15617994 }
Spain United States of America
Spain and United States of America are the native countriesof A. J. Bernheim Brush or Jose Bayo Herranz
Spain United States of America
action filter_type
action union
action find
entity A. J. Bernheim Brush
relation country of citizenship
action find
entity Jose Bayo Herranz
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['A. J. Bernheim Brush', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Jose Bayo Herranz', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:A._J._Bernheim_Brush property:country_of_citizenship ?j } UNION { resource:Jose_Bayo_Herranz property:country_of_citizenship ?j } } . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q720362
P17
Q58778
USER
Are silviculture located in those administrative territories ?
(Q720362,P17,Q29) (Q720362,P17,Q30)
action is_in
entity prev_answer
action find
entity Q720362
relation P17
['Q720362', 'P17', 'Q29'] ['Q720362', 'P17', 'Q30']
ASK WHERE { resource:Q720362 property:P17 ?e . VALUES ( ?e ) { ( resource:Q29 ) ( resource:Q30 ) } }
silviculture
action is_in
entity prev_answer
action find
entity silviculture
relation country
['silviculture', 'country', 'Spain'] ['silviculture', 'country', 'United States of America']
ASK WHERE { resource:silviculture property:country ?e . VALUES ( ?e ) { ( resource:Spain ) ( resource:United_States_of_America ) } }
[]
system
SYSTEM
NO
(Q720362,P17,Q29) (Q720362,P17,Q30)
action is_in
entity prev_answer
action find
entity Q720362
relation P17
[ANSWER]
['Q720362', 'P17', 'Q29'] ['Q720362', 'P17', 'Q30']
ASK WHERE { resource:Q720362 property:P17 ?e . VALUES ( ?e ) { ( resource:Q29 ) ( resource:Q30 ) } }
No
action is_in
entity prev_answer
action find
entity silviculture
relation country
['silviculture', 'country', 'Spain'] ['silviculture', 'country', 'United States of America']
ASK WHERE { resource:silviculture property:country ?e . VALUES ( ?e ) { ( resource:Spain ) ( resource:United_States_of_America ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q17305708 Q558968 Q7200769
P27
Q15617994
USER
Is Alan H. Borning a citizen of Hendungen and Plainview-Old Bethpage Central School District ?
(Q17305708,P27,Q558968) (Q17305708,P27,Q7200769)
action is_in
entity Q17305708
action intersection
action find_reverse
entity Q558968
relation P27
action find_reverse
entity Q7200769
relation P27
['Q17305708', 'P27', 'Q558968'] ['Q17305708', 'P27', 'Q7200769']
ASK WHERE { resource:Q17305708 property:P27 resource:Q7200769 . resource:Q17305708 property:P27 resource:Q558968 }
Alan H. Borning Hendungen Plainview-Old Bethpage Central School District
action is_in
entity Alan H. Borning
action intersection
action find_reverse
entity Hendungen
relation country of citizenship
action find_reverse
entity Plainview-Old Bethpage Central School District
relation country of citizenship
['Alan H. Borning', 'country of citizenship', 'Hendungen'] ['Alan H. Borning', 'country of citizenship', 'Plainview-Old Bethpage Central School District']
ASK WHERE { resource:Alan_H._Borning property:country_of_citizenship resource:Plainview-Old_Bethpage_Central_School_District . resource:Alan_H._Borning property:country_of_citizenship resource:Hendungen }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q17305708,P27,Q558968) (Q17305708,P27,Q7200769)
action is_in
entity Q17305708
action intersection
action find_reverse
entity Q558968
relation P27
action find_reverse
entity Q7200769
relation P27
[ANSWER]
['Q17305708', 'P27', 'Q558968'] ['Q17305708', 'P27', 'Q7200769']
ASK WHERE { resource:Q17305708 property:P27 resource:Q7200769 . resource:Q17305708 property:P27 resource:Q558968 }
No
action is_in
entity Alan H. Borning
action intersection
action find_reverse
entity Hendungen
relation country of citizenship
action find_reverse
entity Plainview-Old Bethpage Central School District
relation country of citizenship
['Alan H. Borning', 'country of citizenship', 'Hendungen'] ['Alan H. Borning', 'country of citizenship', 'Plainview-Old Bethpage Central School District']
ASK WHERE { resource:Alan_H._Borning property:country_of_citizenship resource:Plainview-Old_Bethpage_Central_School_District . resource:Alan_H._Borning property:country_of_citizenship resource:Hendungen }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q30 Q54799 Q403
P530
Q15617994
USER
Does United States of America have tactful political relations with Khimozi and Serbia ?
(Q30,P530,Q54799) (Q30,P530,Q403)
action is_in
entity Q30
action intersection
action find_reverse
entity Q54799
relation P530
action find_reverse
entity Q403
relation P530
['Q30', 'P530', 'Q54799'] ['Q30', 'P530', 'Q403']
ASK WHERE { resource:Q30 property:P530 resource:Q54799 . resource:Q30 property:P530 resource:Q403 }
United States of America Khimozi Serbia
action is_in
entity United States of America
action intersection
action find_reverse
entity Khimozi
relation diplomatic relation
action find_reverse
entity Serbia
relation diplomatic relation
['United States of America', 'diplomatic relation', 'Khimozi'] ['United States of America', 'diplomatic relation', 'Serbia']
ASK WHERE { resource:United_States_of_America property:diplomatic_relation resource:Khimozi . resource:United_States_of_America property:diplomatic_relation resource:Serbia }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q30,P530,Q54799) (Q30,P530,Q403)
action is_in
entity Q30
action intersection
action find_reverse
entity Q54799
relation P530
action find_reverse
entity Q403
relation P530
[ANSWER]
['Q30', 'P530', 'Q54799'] ['Q30', 'P530', 'Q403']
ASK WHERE { resource:Q30 property:P530 resource:Q54799 . resource:Q30 property:P530 resource:Q403 }
NO and YES respectively
action is_in
entity United States of America
action intersection
action find_reverse
entity Khimozi
relation diplomatic relation
action find_reverse
entity Serbia
relation diplomatic relation
['United States of America', 'diplomatic relation', 'Khimozi'] ['United States of America', 'diplomatic relation', 'Serbia']
ASK WHERE { resource:United_States_of_America property:diplomatic_relation resource:Khimozi . resource:United_States_of_America property:diplomatic_relation resource:Serbia }
[]