Simple Question (Direct)
Simple Question
Q1260211
P22
Q502895
USER
Who was the dad of Martin Hilti ?
(Q1260211,P22,c(Q502895))
action filter_type
action find
entity Q1260211
relation P22
type Q502895
['Q1260211', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?g WHERE { resource:Q1260211 property:P22 ?g . ?g rdf:type ontology:Q502895 }
Martin Hilti
action filter_type
action find
entity Martin Hilti
relation father
type common name
['Martin Hilti', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?g WHERE { resource:Martin_Hilti property:father ?g . ?g rdf:type ontology:common_name }
[]
common name
Q26261182
SYSTEM
Josef Hilti
Q26261182
(Q1260211,P22,c(Q502895))
action filter_type
action find
entity Q1260211
relation P22
type Q502895
The dad of Martin Hilti was [ANSWER]
['Q1260211', 'P22', {'concept': 'Q502895'}]
SELECT DISTINCT ?g WHERE { resource:Q1260211 property:P22 ?g . ?g rdf:type ontology:Q502895 }
Josef Hilti
The dad of Martin Hilti was Josef Hilti
Josef Hilti
action filter_type
action find
entity Martin Hilti
relation father
type common name
['Martin Hilti', 'father', {'concept': 'common name'}]
SELECT DISTINCT ?g WHERE { resource:Martin_Hilti property:father ?g . ?g rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1260211
P40
Q502895
USER
Who has Martin Hilti as an offspring ?
(c(Q502895),P40,Q1260211)
action filter_type
action find_reverse
entity Q1260211
relation P40
type Q502895
[{'concept': 'Q502895'}, 'P40', 'Q1260211']
SELECT DISTINCT ?p WHERE { ?p property:P40 resource:Q1260211 . ?p rdf:type ontology:Q502895 }
Martin Hilti
action filter_type
action find_reverse
entity Martin Hilti
relation child
type common name
[{'concept': 'common name'}, 'child', 'Martin Hilti']
SELECT DISTINCT ?p WHERE { ?p property:child resource:Martin_Hilti . ?p rdf:type ontology:common_name }
[]
common name
Q26261182
SYSTEM
Josef Hilti
Q26261182
(c(Q502895),P40,Q1260211)
action filter_type
action find_reverse
entity Q1260211
relation P40
type Q502895
[ANSWER] has Martin Hilti as an offspring
[{'concept': 'Q502895'}, 'P40', 'Q1260211']
SELECT DISTINCT ?p WHERE { ?p property:P40 resource:Q1260211 . ?p rdf:type ontology:Q502895 }
Josef Hilti
Josef Hilti has Martin Hilti as an offspring
Josef Hilti
action filter_type
action find_reverse
entity Martin Hilti
relation child
type common name
[{'concept': 'common name'}, 'child', 'Martin Hilti']
SELECT DISTINCT ?p WHERE { ?p property:child resource:Martin_Hilti . ?p rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q26261182
P27
Q15617994
USER
Which administrative territory does that person belong to ?
(Q26261182,P27,c(Q15617994))
action filter_type
action find
entity Q26261182
relation P27
type Q15617994
['Q26261182', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q26261182 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
Josef Hilti
action filter_type
action find
entity Josef Hilti
relation country of citizenship
type designation for an administrative territorial entity
['Josef Hilti', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Josef_Hilti property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q347
SYSTEM
Liechtenstein
Q347
(Q26261182,P27,c(Q15617994))
action filter_type
action find
entity Q26261182
relation P27
type Q15617994
That person belongs to the [ANSWER]
['Q26261182', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q26261182 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
Liechtenstein
That person belongs to the Liechtenstein
Liechtenstein
action filter_type
action find
entity Josef Hilti
relation country of citizenship
type designation for an administrative territorial entity
['Josef Hilti', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Josef_Hilti property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q15617994
USER
Which political territories have diplomatic relationships with atmost 70 administrative territories ?
(c(Q15617994),P530,c(Q1048835))
action atmost
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 70
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?f ) WHERE { ?h property:P530 ?x . ?x rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q1048835 } GROUP BY ?h } . FILTER ( ?f <= 70 ) }
action atmost
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 70
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?f ) WHERE { ?h property:diplomatic_relation ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:political_territorial_entity } GROUP BY ?h } . FILTER ( ?f <= 70 ) }
[]
political territorial entity designation for an administrative territorial entity
Q35 Q16 Q40
SYSTEM
Denmark, Canada, Austria
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q15617994),P530,c(Q1048835))
action atmost
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 70
[ANSWERS] have diplomatic relationships with atmost 70 administrative territories
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?f ) WHERE { ?h property:P530 ?x . ?x rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q1048835 } GROUP BY ?h } . FILTER ( ?f <= 70 ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Denmark, Canada and Austria have diplomatic relationships with atmost 70 administrative territories
Denmark Canada Austria
action atmost
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 70
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?x ) AS ?f ) WHERE { ?h property:diplomatic_relation ?x . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:political_territorial_entity } GROUP BY ?h } . FILTER ( ?f <= 70 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q26261182
P21 P22
Q502895
USER
Which people have Josef Hilti as dad and have the gender as male ?
AND((c(Q502895),P22,Q26261182), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q26261182
relation P22
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P22', 'Q26261182'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?x WHERE { ?x property:P22 resource:Q26261182 . ?x property:P21 resource:Q6581097 . ?x rdf:type ontology:Q502895 }
male Josef Hilti
action filter_type
action intersection
action find_reverse
entity Josef Hilti
relation father
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'father', 'Josef Hilti'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?x WHERE { ?x property:father resource:Josef_Hilti . ?x property:gender resource:male . ?x rdf:type ontology:common_name }
[]
common name
Q1251822 Q1279308 Q1260211 Q26261174
SYSTEM
Gottfried Hilti, Toni Hilti, Martin Hilti, Eugen Hilti
Q1251822 Q1279308 Q1260211 Q26261174
AND((c(Q502895),P22,Q26261182), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q26261182
relation P22
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] have Josef Hilti as dad and have the gender as male
{'AND': [[{'concept': 'Q502895'}, 'P22', 'Q26261182'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?x WHERE { ?x property:P22 resource:Q26261182 . ?x property:P21 resource:Q6581097 . ?x rdf:type ontology:Q502895 }
Gottfried Hilti Toni Hilti Martin Hilti Eugen Hilti
Gottfried Hilti, Toni Hilti, Martin Hilti and Eugen Hilti have Josef Hilti as dad and have the gender as male
Gottfried Hilti Toni Hilti Martin Hilti Eugen Hilti
action filter_type
action intersection
action find_reverse
entity Josef Hilti
relation father
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'father', 'Josef Hilti'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?x WHERE { ?x property:father resource:Josef_Hilti . ?x property:gender resource:male . ?x rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q16943776
P40
Q502895
USER
Do Ann Glenday have those ones as an offspring ?
(Q16943776,P40,Q1251822) (Q16943776,P40,Q1279308) (Q16943776,P40,Q1260211) (Q16943776,P40,Q26261174)
action is_in
entity prev_answer
action find
entity Q16943776
relation P40
['Q16943776', 'P40', 'Q1251822'] ['Q16943776', 'P40', 'Q1279308'] ['Q16943776', 'P40', 'Q1260211'] ['Q16943776', 'P40', 'Q26261174']
ASK WHERE { resource:Q16943776 property:P40 ?b . VALUES ( ?b ) { ( resource:Q1251822 ) ( resource:Q1279308 ) ( resource:Q1260211 ) } }
Ann Glenday
action is_in
entity prev_answer
action find
entity Ann Glenday
relation child
['Ann Glenday', 'child', 'Gottfried Hilti'] ['Ann Glenday', 'child', 'Toni Hilti'] ['Ann Glenday', 'child', 'Martin Hilti'] ['Ann Glenday', 'child', 'Eugen Hilti']
ASK WHERE { resource:Ann_Glenday property:child ?b . VALUES ( ?b ) { ( resource:Gottfried_Hilti ) ( resource:Toni_Hilti ) ( resource:Martin_Hilti ) } }
[]
common name
SYSTEM
NO
(Q16943776,P40,Q1251822) (Q16943776,P40,Q1279308) (Q16943776,P40,Q1260211) (Q16943776,P40,Q26261174)
action is_in
entity prev_answer
action find
entity Q16943776
relation P40
[ANSWER]
['Q16943776', 'P40', 'Q1251822'] ['Q16943776', 'P40', 'Q1279308'] ['Q16943776', 'P40', 'Q1260211'] ['Q16943776', 'P40', 'Q26261174']
ASK WHERE { resource:Q16943776 property:P40 ?b . VALUES ( ?b ) { ( resource:Q1251822 ) ( resource:Q1279308 ) ( resource:Q1260211 ) } }
No
action is_in
entity prev_answer
action find
entity Ann Glenday
relation child
['Ann Glenday', 'child', 'Gottfried Hilti'] ['Ann Glenday', 'child', 'Toni Hilti'] ['Ann Glenday', 'child', 'Martin Hilti'] ['Ann Glenday', 'child', 'Eugen Hilti']
ASK WHERE { resource:Ann_Glenday property:child ?b . VALUES ( ?b ) { ( resource:Gottfried_Hilti ) ( resource:Toni_Hilti ) ( resource:Martin_Hilti ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q35
P1313
Q12737077
USER
Which occupation serves as the political office that is fulfilled by the head of the government of Denmark ?
(Q35,P1313,c(Q12737077))
action filter_type
action find
entity Q35
relation P1313
type Q12737077
['Q35', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?k WHERE { resource:Q35 property:P1313 ?k . ?k rdf:type ontology:Q12737077 }
Denmark
action filter_type
action find
entity Denmark
relation office held by head of government
type occupation
['Denmark', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?k WHERE { resource:Denmark property:office_held_by_head_of_government ?k . ?k rdf:type ontology:occupation }
[]
occupation
Q795477
SYSTEM
Prime Minister of Denmark
Q795477
(Q35,P1313,c(Q12737077))
action filter_type
action find
entity Q35
relation P1313
type Q12737077
The [ANSWER] serves as the political office that is fulfilled by the head of the government of Denmark
['Q35', 'P1313', {'concept': 'Q12737077'}]
SELECT DISTINCT ?k WHERE { resource:Q35 property:P1313 ?k . ?k rdf:type ontology:Q12737077 }
Prime Minister of Denmark
The Prime Minister of Denmark serves as the political office that is fulfilled by the head of the government of Denmark
Prime Minister of Denmark
action filter_type
action find
entity Denmark
relation office held by head of government
type occupation
['Denmark', 'office held by head of government', {'concept': 'occupation'}]
SELECT DISTINCT ?k WHERE { resource:Denmark property:office_held_by_head_of_government ?k . ?k rdf:type ontology:occupation }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q16
P1001
Q53463
USER
Which constitutional amendments preside the jurisdiction over Canada ?
(c(Q53463),P1001,Q16)
action filter_type
action find_reverse
entity Q16
relation P1001
type Q53463
[{'concept': 'Q53463'}, 'P1001', 'Q16']
SELECT DISTINCT ?v WHERE { ?v property:P1001 resource:Q16 . ?v rdf:type ontology:Q53463 }
Canada
action filter_type
action find_reverse
entity Canada
relation applies to jurisdiction
type constitutional amendment
[{'concept': 'constitutional amendment'}, 'applies to jurisdiction', 'Canada']
SELECT DISTINCT ?v WHERE { ?v property:applies_to_jurisdiction resource:Canada . ?v rdf:type ontology:constitutional_amendment }
[]
constitutional amendment
Q15651546 Q15651562 Q15634432
SYSTEM
British North America (No. 2) Act, 1949, British North America Act, 1951, British North America Act, 1946
Q15634421 Q15710824 Q15710200 Q15651546 Q15634310 Q15632057 Q15651562 Q15651608 Q7604615 Q15692600 Q15651586 Q15710815 Q7604619 Q15634432 Q15689951 Q15632496 Q15634306 Q15651574 Q15633215 Q15697931 Q15629653 Q15633218 Q15710808 Q15692612 Q15634416 Q15710827
(c(Q53463),P1001,Q16)
action filter_type
action find_reverse
entity Q16
relation P1001
type Q53463
[ANSWERS]
[{'concept': 'Q53463'}, 'P1001', 'Q16']
SELECT DISTINCT ?v WHERE { ?v property:P1001 resource:Q16 . ?v rdf:type ontology:Q53463 }
Constitution Act (No. 2), 1975 Constitution Amendment, 2001 (Newfoundland and Labrador) Constitution Amendment, 1997 (Quebec) British North America (No. 2) Act, 1949 Constitution Act, 1974 Constitution Act, 1915 British North America Act, 1951 Constitution Act, 1985 (Representation) Statute Law Revision Act 1893 Constitution Amendment, 1993 (New Brunswick) Constitution Amendment Proclamation, 1983 Constitution Act, 1999 (Nunavut) Statute Law Revision Act 1927 British North America Act, 1946 Constitution Amendment, 1987 (Newfoundland Act) Constitution Act, 1940 Constitution Act, 1965 British North America Act, 1952 Constitution Act, 1960 Constitution Amendment, 1997 (Newfoundland Act) Statute Law Revision Act 1950 Constitution Act, 1964 Constitution Amendment, 1998 (Newfoundland Act) Constitution Amendment, 1993 (Prince Edward Island) Constitution Act (No. 1), 1975 Fair Representation Act
British North America (No. 2) Act, 1949, British North America Act, 1951 and British North America Act, 1946 preside the jurisdiction over Canada
British North America (No. 2) Act, 1949 British North America Act, 1951 British North America Act, 1946
action filter_type
action find_reverse
entity Canada
relation applies to jurisdiction
type constitutional amendment
[{'concept': 'constitutional amendment'}, 'applies to jurisdiction', 'Canada']
SELECT DISTINCT ?v WHERE { ?v property:applies_to_jurisdiction resource:Canada . ?v rdf:type ontology:constitutional_amendment }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q15651546 Q15651562 Q15634432
P1001
Q1048835
USER
Which political territories belong to jurisdiction of British North America (No. 2) Act, 1949, British North America Act, 1951 and British North America Act, 1946 ?
(Q15651546,P1001,c(Q1048835)) (Q15651562,P1001,c(Q1048835)) (Q15634432,P1001,c(Q1048835))
action union
action filter_type
action find
entity Q15651546
relation P1001
type Q1048835
action filter_type
action find
entity Q15651562
relation P1001
type Q1048835
action filter_type
action find
entity Q15634432
relation P1001
type Q1048835
['Q15651546', 'P1001', {'concept': 'Q1048835'}] ['Q15651562', 'P1001', {'concept': 'Q1048835'}] ['Q15634432', 'P1001', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { { resource:Q15651546 property:P1001 ?b . ?b rdf:type ontology:Q1048835 } UNION { resource:Q15651562 property:P1001 ?b . ?b rdf:type ontology:Q1048835 } }
British North America (No. 2) Act, 1949 British North America Act, 1951 British North America Act, 1946
action union
action filter_type
action find
entity British North America (No. 2) Act, 1949
relation applies to jurisdiction
type political territorial entity
action filter_type
action find
entity British North America Act, 1951
relation applies to jurisdiction
type political territorial entity
action filter_type
action find
entity British North America Act, 1946
relation applies to jurisdiction
type political territorial entity
['British North America (No. 2) Act, 1949', 'applies to jurisdiction', {'concept': 'political territorial entity'}] ['British North America Act, 1951', 'applies to jurisdiction', {'concept': 'political territorial entity'}] ['British North America Act, 1946', 'applies to jurisdiction', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { { resource:British_North_America_(No._2)_Act,_1949 property:applies_to_jurisdiction ?b . ?b rdf:type ontology:political_territorial_entity } UNION { resource:British_North_America_Act,_1951 property:applies_to_jurisdiction ?b . ?b rdf:type ontology:political_territorial_entity } }
[]
political territorial entity
Q16 Q16 Q16
SYSTEM
Canada
Q16 Q16 Q16
(Q15651546,P1001,c(Q1048835)) (Q15651562,P1001,c(Q1048835)) (Q15634432,P1001,c(Q1048835))
action union
action filter_type
action find
entity Q15651546
relation P1001
type Q1048835
action filter_type
action find
entity Q15651562
relation P1001
type Q1048835
action filter_type
action find
entity Q15634432
relation P1001
type Q1048835
[ANSWER] [ANSWER], [ANSWER] and [ANSWER] belong to jurisdiction of British North America (No. 2) Act, 1949, British North America Act, 1951 and British North America Act, 1946
['Q15651546', 'P1001', {'concept': 'Q1048835'}] ['Q15651562', 'P1001', {'concept': 'Q1048835'}] ['Q15634432', 'P1001', {'concept': 'Q1048835'}]
SELECT DISTINCT ?b WHERE { { resource:Q15651546 property:P1001 ?b . ?b rdf:type ontology:Q1048835 } UNION { resource:Q15651562 property:P1001 ?b . ?b rdf:type ontology:Q1048835 } }
Canada Canada Canada
Canada Canada, Canada and Canada belong to jurisdiction of British North America (No. 2) Act, 1949, British North America Act, 1951 and British North America Act, 1946
Canada Canada Canada
action union
action filter_type
action find
entity British North America (No. 2) Act, 1949
relation applies to jurisdiction
type political territorial entity
action filter_type
action find
entity British North America Act, 1951
relation applies to jurisdiction
type political territorial entity
action filter_type
action find
entity British North America Act, 1946
relation applies to jurisdiction
type political territorial entity
['British North America (No. 2) Act, 1949', 'applies to jurisdiction', {'concept': 'political territorial entity'}] ['British North America Act, 1951', 'applies to jurisdiction', {'concept': 'political territorial entity'}] ['British North America Act, 1946', 'applies to jurisdiction', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?b WHERE { { resource:British_North_America_(No._2)_Act,_1949 property:applies_to_jurisdiction ?b . ?b rdf:type ontology:political_territorial_entity } UNION { resource:British_North_America_Act,_1951 property:applies_to_jurisdiction ?b . ?b rdf:type ontology:political_territorial_entity } }
[]