Simple Question (Direct)
Simple Question
Q1281716
P463
Q3947
USER
Which organization was Georg Karo a member of ?
(Q1281716,P463,c(Q3947))
action filter_type
action find
entity Q1281716
relation P463
type Q3947
['Q1281716', 'P463', {'concept': 'Q3947'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q3947 . resource:Q1281716 property:P463 ?z }
Georg Karo
action filter_type
action find
entity Georg Karo
relation member of
type house
['Georg Karo', 'member of', {'concept': 'house'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:house . resource:Georg_Karo property:member_of ?z }
[]
house
Q414188
SYSTEM
Göttingen Academy of Sciences
Q414188
(Q1281716,P463,c(Q3947))
action filter_type
action find
entity Q1281716
relation P463
type Q3947
Which organization was Georg Karo a member of
['Q1281716', 'P463', {'concept': 'Q3947'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q3947 . resource:Q1281716 property:P463 ?z }
Göttingen Academy of Sciences
Which organization was Georg Karo a member of
Göttingen Academy of Sciences
action filter_type
action find
entity Georg Karo
relation member of
type house
['Georg Karo', 'member of', {'concept': 'house'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:house . resource:Georg_Karo property:member_of ?z }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1281716
P21
Q290
USER
Which sex does Georg Karo have ?
(Q1281716,P21,c(Q290))
action filter_type
action find
entity Q1281716
relation P21
type Q290
['Q1281716', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?l WHERE { resource:Q1281716 property:P21 ?l . ?l rdf:type ontology:Q290 }
Georg Karo
action filter_type
action find
entity Georg Karo
relation gender
type sex
['Georg Karo', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?l WHERE { resource:Georg_Karo property:gender ?l . ?l rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q1281716,P21,c(Q290))
action filter_type
action find
entity Q1281716
relation P21
type Q290
Georg Karo has a [ANSWER]
['Q1281716', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?l WHERE { resource:Q1281716 property:P21 ?l . ?l rdf:type ontology:Q290 }
male
Georg Karo has a male
male
action filter_type
action find
entity Georg Karo
relation gender
type sex
['Georg Karo', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?l WHERE { resource:Georg_Karo property:gender ?l . ?l rdf:type ontology:sex }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q6581097 Q559058
P21
Q502895
USER
Is Christopher Massey a that sex ?
(Q559058,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q559058
relation P21
['Q559058', 'P21', 'Q6581097']
ASK WHERE { resource:Q559058 property:P21 resource:Q6581097 }
male Christopher Massey
action is_in
entity male
action find
entity Christopher Massey
relation gender
['Christopher Massey', 'gender', 'male']
ASK WHERE { resource:Christopher_Massey property:gender resource:male }
[]
common name
SYSTEM
YES
(Q559058,P21,Q6581097)
action is_in
entity Q6581097
action find
entity Q559058
relation P21
[ANSWER]
['Q559058', 'P21', 'Q6581097']
ASK WHERE { resource:Q559058 property:P21 resource:Q6581097 }
Yes
action is_in
entity male
action find
entity Christopher Massey
relation gender
['Christopher Massey', 'gender', 'male']
ASK WHERE { resource:Christopher_Massey property:gender resource:male }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1281716 Q1633201
P27
Q1048835
USER
Does Georg Karo belong to Fuentespina ?
(Q1281716,P27,Q1633201)
action is_in
entity Q1633201
action find
entity Q1281716
relation P27
['Q1281716', 'P27', 'Q1633201']
ASK WHERE { resource:Q1281716 property:P27 resource:Q1633201 }
Georg Karo Fuentespina
action is_in
entity Fuentespina
action find
entity Georg Karo
relation country of citizenship
['Georg Karo', 'country of citizenship', 'Fuentespina']
ASK WHERE { resource:Georg_Karo property:country_of_citizenship resource:Fuentespina }
[]
political territorial entity
SYSTEM
NO
(Q1281716,P27,Q1633201)
action is_in
entity Q1633201
action find
entity Q1281716
relation P27
[ANSWER]
['Q1281716', 'P27', 'Q1633201']
ASK WHERE { resource:Q1281716 property:P27 resource:Q1633201 }
No
action is_in
entity Fuentespina
action find
entity Georg Karo
relation country of citizenship
['Georg Karo', 'country of citizenship', 'Fuentespina']
ASK WHERE { resource:Georg_Karo property:country_of_citizenship resource:Fuentespina }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q1281716 Q19957306
P937
Q56061
USER
How many administrative territories are the work locations of Georg Karo or Mims Davies ?
(Q1281716,P937,c(Q56061)) (Q19957306,P937,c(Q56061))
action count
action union
action filter_type
action find
entity Q1281716
relation P937
type Q56061
action filter_type
action find
entity Q19957306
relation P937
type Q56061
['Q1281716', 'P937', {'concept': 'Q56061'}] ['Q19957306', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) WHERE { { resource:Q19957306 property:P937 ?q . ?q rdf:type ontology:Q56061 } UNION { ?q rdf:type ontology:Q56061 . resource:Q1281716 property:P937 ?q } }
Georg Karo Mims Davies
action count
action union
action filter_type
action find
entity Georg Karo
relation work location
type administrative territorial entity
action filter_type
action find
entity Mims Davies
relation work location
type administrative territorial entity
['Georg Karo', 'work location', {'concept': 'administrative territorial entity'}] ['Mims Davies', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) WHERE { { resource:Mims_Davies property:work_location ?q . ?q rdf:type ontology:administrative_territorial_entity } UNION { ?q rdf:type ontology:administrative_territorial_entity . resource:Georg_Karo property:work_location ?q } }
[]
administrative territorial entity
SYSTEM
3
Q1524 Q2814 Q84
(Q1281716,P937,c(Q56061)) (Q19957306,P937,c(Q56061))
action count
action union
action filter_type
action find
entity Q1281716
relation P937
type Q56061
action filter_type
action find
entity Q19957306
relation P937
type Q56061
[ANSWER]
['Q1281716', 'P937', {'concept': 'Q56061'}] ['Q19957306', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) WHERE { { resource:Q19957306 property:P937 ?q . ?q rdf:type ontology:Q56061 } UNION { ?q rdf:type ontology:Q56061 . resource:Q1281716 property:P937 ?q } }
Athens Halle (Saale) London
3
action count
action union
action filter_type
action find
entity Georg Karo
relation work location
type administrative territorial entity
action filter_type
action find
entity Mims Davies
relation work location
type administrative territorial entity
['Georg Karo', 'work location', {'concept': 'administrative territorial entity'}] ['Mims Davies', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?q ) AS ?t ) WHERE { { resource:Mims_Davies property:work_location ?q . ?q rdf:type ontology:administrative_territorial_entity } UNION { ?q rdf:type ontology:administrative_territorial_entity . resource:Georg_Karo property:work_location ?q } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q414188
P17
Q1048835
USER
Which political territory is Göttingen Academy of Sciences a part of ?
(Q414188,P17,c(Q1048835))
action filter_type
action find
entity Q414188
relation P17
type Q1048835
['Q414188', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?r WHERE { resource:Q414188 property:P17 ?r . ?r rdf:type ontology:Q1048835 }
Göttingen Academy of Sciences
action filter_type
action find
entity Göttingen Academy of Sciences
relation country
type political territorial entity
['Göttingen Academy of Sciences', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:Göttingen_Academy_of_Sciences property:country ?r . ?r rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q414188,P17,c(Q1048835))
action filter_type
action find
entity Q414188
relation P17
type Q1048835
[ANSWER] is Göttingen Academy of Sciences a part of
['Q414188', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?r WHERE { resource:Q414188 property:P17 ?r . ?r rdf:type ontology:Q1048835 }
Germany
Germany is Göttingen Academy of Sciences a part of
Germany
action filter_type
action find
entity Göttingen Academy of Sciences
relation country
type political territorial entity
['Göttingen Academy of Sciences', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:Göttingen_Academy_of_Sciences property:country ?r . ?r rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q183 Q739 Q5604894
P530
Q15617994
USER
Does that political territory have diplomatic associations with Colombia and Greenwich Township School District ?
(Q183,P530,Q739) (Q183,P530,Q5604894)
action is_in
entity Q183
action intersection
action find_reverse
entity Q739
relation P530
action find_reverse
entity Q5604894
relation P530
['Q183', 'P530', 'Q739'] ['Q183', 'P530', 'Q5604894']
ASK WHERE { resource:Q183 property:P530 resource:Q739 . resource:Q183 property:P530 resource:Q5604894 }
Germany Colombia Greenwich Township School District
action is_in
entity Germany
action intersection
action find_reverse
entity Colombia
relation diplomatic relation
action find_reverse
entity Greenwich Township School District
relation diplomatic relation
['Germany', 'diplomatic relation', 'Colombia'] ['Germany', 'diplomatic relation', 'Greenwich Township School District']
ASK WHERE { resource:Germany property:diplomatic_relation resource:Colombia . resource:Germany property:diplomatic_relation resource:Greenwich_Township_School_District }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q183,P530,Q739) (Q183,P530,Q5604894)
action is_in
entity Q183
action intersection
action find_reverse
entity Q739
relation P530
action find_reverse
entity Q5604894
relation P530
[ANSWER]
['Q183', 'P530', 'Q739'] ['Q183', 'P530', 'Q5604894']
ASK WHERE { resource:Q183 property:P530 resource:Q739 . resource:Q183 property:P530 resource:Q5604894 }
YES and NO respectively
action is_in
entity Germany
action intersection
action find_reverse
entity Colombia
relation diplomatic relation
action find_reverse
entity Greenwich Township School District
relation diplomatic relation
['Germany', 'diplomatic relation', 'Colombia'] ['Germany', 'diplomatic relation', 'Greenwich Township School District']
ASK WHERE { resource:Germany property:diplomatic_relation resource:Colombia . resource:Germany property:diplomatic_relation resource:Greenwich_Township_School_District }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q40
P530
Q1048835 Q15617994 Q1048835
USER
How many political territories have diplomatic associations with lesser number of political territories and administrative territories than Austria ?
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action count
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q40
relation P530
type Q1048835
type Q15617994
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?l ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?h ) ?l WHERE { { ?l property:P530 ?s . ?s rdf:type ontology:Q1048835 . ?l rdf:type ontology:Q1048835 } UNION { ?l property:P530 ?s . ?l rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q15617994 } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?d ) WHERE { resource:Q40 property:P530 ?z . { ?z rdf:type ?w . VALUES ( ?w ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } } } } . FILTER ( ?h < ?d ) }
Austria
action count
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Austria
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?l ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?h ) ?l WHERE { { ?l property:diplomatic_relation ?s . ?s rdf:type ontology:political_territorial_entity . ?l rdf:type ontology:political_territorial_entity } UNION { ?l property:diplomatic_relation ?s . ?l rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?d ) WHERE { resource:Austria property:diplomatic_relation ?z . { ?z rdf:type ?w . VALUES ( ?w ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } } } } . FILTER ( ?h < ?d ) }
[]
political territorial entity designation for an administrative territorial entity political territorial entity
SYSTEM
9
Q1000 Q781 Q778 Q769 Q685 Q35 Q691 Q664 Q766
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action count
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q40
relation P530
type Q1048835
type Q15617994
[ANSWER]
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?l ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?h ) ?l WHERE { { ?l property:P530 ?s . ?s rdf:type ontology:Q1048835 . ?l rdf:type ontology:Q1048835 } UNION { ?l property:P530 ?s . ?l rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q15617994 } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?d ) WHERE { resource:Q40 property:P530 ?z . { ?z rdf:type ?w . VALUES ( ?w ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } } } } . FILTER ( ?h < ?d ) }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea New Zealand Jamaica
9
action count
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Austria
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?l ) AS ?t ) WHERE { { SELECT DISTINCT ( COUNT ( ?s ) AS ?h ) ?l WHERE { { ?l property:diplomatic_relation ?s . ?s rdf:type ontology:political_territorial_entity . ?l rdf:type ontology:political_territorial_entity } UNION { ?l property:diplomatic_relation ?s . ?l rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?d ) WHERE { resource:Austria property:diplomatic_relation ?z . { ?z rdf:type ?w . VALUES ( ?w ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } } } } . FILTER ( ?h < ?d ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q408
P530
Q1048835 Q15617994 Q1048835
USER
And how about Australia?
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action count
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q408
relation P530
type Q1048835
type Q15617994
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?i rdf:type ?f } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { resource:Q408 property:P530 ?z . { { ?z rdf:type ontology:Q15617994 } UNION { ?z rdf:type ontology:Q1048835 } } } } . FILTER ( ?h < ?j ) }
Australia
action count
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Australia
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?i rdf:type ?f } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { resource:Australia property:diplomatic_relation ?z . { { ?z rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?z rdf:type ontology:political_territorial_entity } } } } . FILTER ( ?h < ?j ) }
[]
political territorial entity designation for an administrative territorial entity political territorial entity
SYSTEM
11
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q1048835),P530,c(Q1048835)|c(Q15617994))
action count
action less
action union
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find
entity Q408
relation P530
type Q1048835
type Q15617994
[ANSWER]
[{'concept': 'Q1048835'}, 'P530', [{'concept': 'Q1048835'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } . ?i rdf:type ?f } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { resource:Q408 property:P530 ?z . { { ?z rdf:type ontology:Q15617994 } UNION { ?z rdf:type ontology:Q1048835 } } } } . FILTER ( ?h < ?j ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
11
action count
action less
action union
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Australia
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', [{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?h ) WHERE { VALUES ( ?f ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } . ?i rdf:type ?f } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) WHERE { resource:Australia property:diplomatic_relation ?z . { { ?z rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?z rdf:type ontology:political_territorial_entity } } } } . FILTER ( ?h < ?j ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q414188
P1435
Q811430
USER
Which construction gives the heritage status of Göttingen Academy of Sciences ?
(Q414188,P1435,c(Q811430))
action filter_type
action find
entity Q414188
relation P1435
type Q811430
['Q414188', 'P1435', {'concept': 'Q811430'}]
SELECT DISTINCT ?o WHERE { resource:Q414188 property:P1435 ?o . ?o rdf:type ontology:Q811430 }
Göttingen Academy of Sciences
action filter_type
action find
entity Göttingen Academy of Sciences
relation heritage status
type construction
['Göttingen Academy of Sciences', 'heritage status', {'concept': 'construction'}]
SELECT DISTINCT ?o WHERE { resource:Göttingen_Academy_of_Sciences property:heritage_status ?o . ?o rdf:type ontology:construction }
[]
construction
Q811165
SYSTEM
architectural heritage monument
Q811165
(Q414188,P1435,c(Q811430))
action filter_type
action find
entity Q414188
relation P1435
type Q811430
The [ANSWER] gives the heritage status of Göttingen Academy of Sciences
['Q414188', 'P1435', {'concept': 'Q811430'}]
SELECT DISTINCT ?o WHERE { resource:Q414188 property:P1435 ?o . ?o rdf:type ontology:Q811430 }
architectural heritage monument
The architectural heritage monument gives the heritage status of Göttingen Academy of Sciences
architectural heritage monument
action filter_type
action find
entity Göttingen Academy of Sciences
relation heritage status
type construction
['Göttingen Academy of Sciences', 'heritage status', {'concept': 'construction'}]
SELECT DISTINCT ?o WHERE { resource:Göttingen_Academy_of_Sciences property:heritage_status ?o . ?o rdf:type ontology:construction }
[]