Simple Question (Direct)
Simple Question
Q166731
P2348
Q3024240
USER
Which former country did Licinius II belong to ?
(Q166731,P2348,c(Q3024240))
action filter_type
action find
entity Q166731
relation P2348
type Q3024240
['Q166731', 'P2348', {'concept': 'Q3024240'}]
SELECT DISTINCT ?r WHERE { resource:Q166731 property:P2348 ?r . ?r rdf:type ontology:Q3024240 }
Licinius II
action filter_type
action find
entity Licinius II
relation period
type former country
['Licinius II', 'period', {'concept': 'former country'}]
SELECT DISTINCT ?r WHERE { resource:Licinius_II property:period ?r . ?r rdf:type ontology:former_country }
[]
former country
Q2277
SYSTEM
Roman Empire
Q2277
(Q166731,P2348,c(Q3024240))
action filter_type
action find
entity Q166731
relation P2348
type Q3024240
[ANSWER] did Licinius II belong to
['Q166731', 'P2348', {'concept': 'Q3024240'}]
SELECT DISTINCT ?r WHERE { resource:Q166731 property:P2348 ?r . ?r rdf:type ontology:Q3024240 }
Roman Empire
Roman Empire did Licinius II belong to
Roman Empire
action filter_type
action find
entity Licinius II
relation period
type former country
['Licinius II', 'period', {'concept': 'former country'}]
SELECT DISTINCT ?r WHERE { resource:Licinius_II property:period ?r . ?r rdf:type ontology:former_country }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q166731
P39
Q12737077
USER
What were the positions held by that person ?
(Q2277,P39,c(Q12737077))
action filter_type
action find
entity Q166731
relation P39
type Q12737077
['Q2277', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q12737077 . resource:Q166731 property:P39 ?e }
Licinius II
action filter_type
action find
entity Licinius II
relation position held
type occupation
['Roman Empire', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:occupation . resource:Licinius_II property:position_held ?e }
[]
occupation
Q20056508 Q26203875
SYSTEM
Ancient Roman senator, consul of the Roman Empire
Q20056508 Q26203875
(Q2277,P39,c(Q12737077))
action filter_type
action find
entity Q166731
relation P39
type Q12737077
The positions held by that person were [ANSWERS]
['Q2277', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q12737077 . resource:Q166731 property:P39 ?e }
Ancient Roman senator consul of the Roman Empire
The positions held by that person were Ancient Roman senator and consul of the Roman Empire
Ancient Roman senator consul of the Roman Empire
action filter_type
action find
entity Licinius II
relation position held
type occupation
['Roman Empire', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:occupation . resource:Licinius_II property:position_held ?e }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q3801119 Q2277
P36
Q56061
USER
Which administrative territories are the capitals of Roman Empire or Sokolki Parish ?
OR((Q2277,P36,c(Q56061)), (Q3801119,P36,c(Q56061)))
action filter_type
action union
action find
entity Q2277
relation P36
action find
entity Q3801119
relation P36
type Q56061
{'OR': [['Q2277', 'P36', {'concept': 'Q56061'}], ['Q3801119', 'P36', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Q3801119 property:P36 ?u } UNION { resource:Q2277 property:P36 ?u } } . ?u rdf:type ontology:Q56061 }
Sokolki Parish Roman Empire
action filter_type
action union
action find
entity Roman Empire
relation capital
action find
entity Sokolki Parish
relation capital
type administrative territorial entity
{'OR': [['Roman Empire', 'capital', {'concept': 'administrative territorial entity'}], ['Sokolki Parish', 'capital', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Sokolki_Parish property:capital ?u } UNION { resource:Roman_Empire property:capital ?u } } . ?u rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q220 Q15219825 Q16869
SYSTEM
Rome, Strupļi, Constantinople
Q220 Q15219825 Q16869
OR((Q2277,P36,c(Q56061)), (Q3801119,P36,c(Q56061)))
action filter_type
action union
action find
entity Q2277
relation P36
action find
entity Q3801119
relation P36
type Q56061
[ANSWERS] are the capitals of Roman Empire or Sokolki Parish
{'OR': [['Q2277', 'P36', {'concept': 'Q56061'}], ['Q3801119', 'P36', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Q3801119 property:P36 ?u } UNION { resource:Q2277 property:P36 ?u } } . ?u rdf:type ontology:Q56061 }
Rome Strupļi Constantinople
Rome, Strupļi and Constantinople are the capitals of Roman Empire or Sokolki Parish
Rome Strupļi Constantinople
action filter_type
action union
action find
entity Roman Empire
relation capital
action find
entity Sokolki Parish
relation capital
type administrative territorial entity
{'OR': [['Roman Empire', 'capital', {'concept': 'administrative territorial entity'}], ['Sokolki Parish', 'capital', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Sokolki_Parish property:capital ?u } UNION { resource:Roman_Empire property:capital ?u } } . ?u rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q3801119
P1376
Q56061
USER
Which administrative territory is center of administration for Sokolki Parish ?
(c(Q56061),P1376,Q3801119)
action filter_type
action find_reverse
entity Q3801119
relation P1376
type Q56061
[{'concept': 'Q56061'}, 'P1376', 'Q3801119']
SELECT DISTINCT ?d WHERE { ?d property:P1376 resource:Q3801119 . ?d rdf:type ontology:Q56061 }
Sokolki Parish
action filter_type
action find_reverse
entity Sokolki Parish
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', 'Sokolki Parish']
SELECT DISTINCT ?d WHERE { ?d property:capital_of resource:Sokolki_Parish . ?d rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q15219825
SYSTEM
Strupļi
Q15219825
(c(Q56061),P1376,Q3801119)
action filter_type
action find_reverse
entity Q3801119
relation P1376
type Q56061
Is [ANSWER] is center of administration for Sokolki Parish
[{'concept': 'Q56061'}, 'P1376', 'Q3801119']
SELECT DISTINCT ?d WHERE { ?d property:P1376 resource:Q3801119 . ?d rdf:type ontology:Q56061 }
Strupļi
Is Strupļi is center of administration for Sokolki Parish
Strupļi
action filter_type
action find_reverse
entity Sokolki Parish
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', 'Sokolki Parish']
SELECT DISTINCT ?d WHERE { ?d property:capital_of resource:Sokolki_Parish . ?d rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q15219825
P17
Q15617994
USER
Which administrative territory is that administrative territory present in ?
(Q15219825,P17,c(Q15617994))
action filter_type
action find
entity Q15219825
relation P17
type Q15617994
['Q15219825', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { resource:Q15219825 property:P17 ?t . ?t rdf:type ontology:Q15617994 }
Strupļi
action filter_type
action find
entity Strupļi
relation country
type designation for an administrative territorial entity
['Strupļi', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Strupļi property:country ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q211
SYSTEM
Latvia
Q211
(Q15219825,P17,c(Q15617994))
action filter_type
action find
entity Q15219825
relation P17
type Q15617994
That administrative territory is in [ANSWER]
['Q15219825', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?t WHERE { resource:Q15219825 property:P17 ?t . ?t rdf:type ontology:Q15617994 }
Latvia
That administrative territory is in Latvia
Latvia
action filter_type
action find
entity Strupļi
relation country
type designation for an administrative territorial entity
['Strupļi', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Strupļi property:country ?t . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q15219825 Q667576
P1376
Q13220204
USER
How many administrative country subdivisions have Strupļi or Hua Hin as their county seat ?
(Q15219825,P1376,c(Q13220204)) (Q667576,P1376,c(Q13220204))
action count
action union
action filter_type
action find
entity Q15219825
relation P1376
type Q13220204
action filter_type
action find
entity Q667576
relation P1376
type Q13220204
['Q15219825', 'P1376', {'concept': 'Q13220204'}] ['Q667576', 'P1376', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?p ) WHERE { { resource:Q15219825 property:P1376 ?o . ?o rdf:type ontology:Q13220204 } UNION { resource:Q667576 property:P1376 ?o . ?o rdf:type ontology:Q13220204 } }
Strupļi Hua Hin
action count
action union
action filter_type
action find
entity Strupļi
relation capital of
type second-level administrative country subdivision
action filter_type
action find
entity Hua Hin
relation capital of
type second-level administrative country subdivision
['Strupļi', 'capital of', {'concept': 'second-level administrative country subdivision'}] ['Hua Hin', 'capital of', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?p ) WHERE { { resource:Strupļi property:capital_of ?o . ?o rdf:type ontology:second-level_administrative_country_subdivision } UNION { resource:Hua_Hin property:capital_of ?o . ?o rdf:type ontology:second-level_administrative_country_subdivision } }
[]
second-level administrative country subdivision
SYSTEM
2
Q1666491 Q3801119
(Q15219825,P1376,c(Q13220204)) (Q667576,P1376,c(Q13220204))
action count
action union
action filter_type
action find
entity Q15219825
relation P1376
type Q13220204
action filter_type
action find
entity Q667576
relation P1376
type Q13220204
[ANSWER]
['Q15219825', 'P1376', {'concept': 'Q13220204'}] ['Q667576', 'P1376', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?p ) WHERE { { resource:Q15219825 property:P1376 ?o . ?o rdf:type ontology:Q13220204 } UNION { resource:Q667576 property:P1376 ?o . ?o rdf:type ontology:Q13220204 } }
Hua Hin Sokolki Parish
2
action count
action union
action filter_type
action find
entity Strupļi
relation capital of
type second-level administrative country subdivision
action filter_type
action find
entity Hua Hin
relation capital of
type second-level administrative country subdivision
['Strupļi', 'capital of', {'concept': 'second-level administrative country subdivision'}] ['Hua Hin', 'capital of', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?o ) AS ?p ) WHERE { { resource:Strupļi property:capital_of ?o . ?o rdf:type ontology:second-level_administrative_country_subdivision } UNION { resource:Hua_Hin property:capital_of ?o . ?o rdf:type ontology:second-level_administrative_country_subdivision } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q96
P530
Q15617994 Q15617994
USER
Which administrative territories have tactful political relations with less number of administrative territories than Mexico ?
(c(Q15617994),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q96
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?f ) WHERE { ?b property:P530 ?w . ?w rdf:type ontology:Q15617994 . ?b rdf:type ontology:Q15617994 } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { resource:Q96 property:P530 ?v . ?v rdf:type ontology:Q15617994 } } . FILTER ( ?f < ?x ) }
Mexico
action less
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Mexico
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?f ) WHERE { ?b property:diplomatic_relation ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { resource:Mexico property:diplomatic_relation ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?f < ?x ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q55 Q20 Q33
SYSTEM
Netherlands, Norway, Finland
Q702 Q804 Q800 Q55 Q262 Q783 Q265 Q712 Q837 Q398 Q657 Q792 Q790 Q954 Q958 Q986 Q242 Q244 Q811 Q33 Q924 Q983 Q851 Q29999 Q854 Q734 Q819 Q424 Q730 Q736 Q236 Q232 Q233 Q238 Q20 Q1045 Q1041 Q921 Q1049 Q1027 Q1020 Q189 Q842 Q1029 Q1028 Q786 Q224 Q221 Q229 Q1036 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q695 Q115 Q117 Q754 Q750 Q211 Q217 Q214 Q215 Q219 Q912 Q917 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q683 Q34020 Q686 Q836 Q574 Q878 Q774 Q817 Q810 Q1019 Q945 Q678 Q33788 Q869
(c(Q15617994),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q96
relation P530
type Q15617994
[ANSWERS] have tactful political relations with less number of administrative territories than Mexico
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?f ) WHERE { ?b property:P530 ?w . ?w rdf:type ontology:Q15617994 . ?b rdf:type ontology:Q15617994 } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { resource:Q96 property:P530 ?v . ?v rdf:type ontology:Q15617994 } } . FILTER ( ?f < ?x ) }
Federated States of Micronesia Panama Costa Rica Netherlands Algeria Honduras Uzbekistan Fiji Nepal Bahrain Chad El Salvador Haiti Zimbabwe South Sudan Eritrea Belize Barbados Nicaragua Finland Tanzania Equatorial Guinea Saudi Arabia Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Suriname Ecuador Montenegro Kazakhstan Malta San Marino Norway Somalia Senegal Brunei Sudan Mauritius Malawi Iceland Oman Mozambique Morocco Dominican Republic Croatia Republic of Macedonia Cyprus Uganda Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Palau Ethiopia Ghana Trinidad and Tobago Bolivia Latvia Republic of Moldova Slovakia Slovenia Bulgaria Mali Bhutan Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Samoa Niue Vanuatu Myanmar East Timor United Arab Emirates Guatemala Kuwait Jordan Madagascar Togo Tonga New Caledonia Thailand
Netherlands, Norway and Finland have tactful political relations with less number of administrative territories than Mexico
Netherlands Norway Finland
action less
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Mexico
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?f ) WHERE { ?b property:diplomatic_relation ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { resource:Mexico property:diplomatic_relation ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?f < ?x ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q1016
P530
Q15617994 Q15617994
USER
And what about Libya?
(c(Q15617994),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q1016
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?r ) WHERE { ?x property:P530 ?a . ?x rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q15617994 } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?p ) WHERE { resource:Q1016 property:P530 ?n . ?n rdf:type ontology:Q15617994 } } . FILTER ( ?r < ?p ) }
Libya
action less
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Libya
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?r ) WHERE { ?x property:diplomatic_relation ?a . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?p ) WHERE { resource:Libya property:diplomatic_relation ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?r < ?p ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q55 Q36 Q96
SYSTEM
Netherlands, Poland, Mexico
Q702 Q804 Q800 Q419 Q55 Q262 Q783 Q265 Q712 Q717 Q837 Q398 Q657 Q792 Q790 Q954 Q958 Q881 Q986 Q242 Q244 Q811 Q33 Q924 Q36 Q34 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q424 Q730 Q736 Q236 Q232 Q233 Q238 Q20 Q1045 Q1041 Q28 Q921 Q1049 Q1027 Q1020 Q189 Q842 Q1029 Q1028 Q786 Q228 Q227 Q224 Q221 Q96 Q229 Q1036 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q117 Q754 Q750 Q211 Q217 Q214 Q215 Q219 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q683 Q34020 Q686 Q836 Q574 Q77 Q878 Q774 Q817 Q810 Q1019 Q945 Q678 Q29 Q33788 Q869
(c(Q15617994),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q1016
relation P530
type Q15617994
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?r ) WHERE { ?x property:P530 ?a . ?x rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q15617994 } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?p ) WHERE { resource:Q1016 property:P530 ?n . ?n rdf:type ontology:Q15617994 } } . FILTER ( ?r < ?p ) }
Federated States of Micronesia Panama Costa Rica Peru Netherlands Algeria Honduras Uzbekistan Fiji Venezuela Nepal Bahrain Chad El Salvador Haiti Zimbabwe South Sudan Vietnam Eritrea Belize Barbados Nicaragua Finland Tanzania Poland Sweden Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Suriname Ecuador Montenegro Kazakhstan Malta San Marino Norway Somalia Senegal Hungary Brunei Sudan Mauritius Malawi Iceland Oman Mozambique Morocco Dominican Republic Andorra Azerbaijan Croatia Republic of Macedonia Mexico Cyprus Uganda Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Ghana Trinidad and Tobago Bolivia Latvia Republic of Moldova Slovakia Slovenia Bulgaria Mali Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Samoa Niue Vanuatu Myanmar East Timor Uruguay United Arab Emirates Guatemala Kuwait Jordan Madagascar Togo Tonga Spain New Caledonia Thailand
Netherlands Poland Mexico
action less
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Libya
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?r ) WHERE { ?x property:diplomatic_relation ?a . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?p ) WHERE { resource:Libya property:diplomatic_relation ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?r < ?p ) }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q79 Q96
P495
Q838948
USER
Which works of art originated in Mexico and Egypt ?
AND((c(Q838948),P495,Q96), (c(Q838948),P495,Q79))
action filter_type
action intersection
action find_reverse
entity Q96
relation P495
action find_reverse
entity Q79
relation P495
type Q838948
{'AND': [[{'concept': 'Q838948'}, 'P495', 'Q96'], [{'concept': 'Q838948'}, 'P495', 'Q79']]}
SELECT DISTINCT ?v WHERE { ?v property:P495 resource:Q96 . ?v property:P495 resource:Q79 . ?v rdf:type ontology:Q838948 }
Egypt Mexico
action filter_type
action intersection
action find_reverse
entity Mexico
relation country of origin
action find_reverse
entity Egypt
relation country of origin
type work of art
{'AND': [[{'concept': 'work of art'}, 'country of origin', 'Mexico'], [{'concept': 'work of art'}, 'country of origin', 'Egypt']]}
SELECT DISTINCT ?v WHERE { ?v property:country_of_origin resource:Mexico . ?v property:country_of_origin resource:Egypt . ?v rdf:type ontology:work_of_art }
[]
work of art
Q603857
SYSTEM
11'09"01 September 11
Q603857
AND((c(Q838948),P495,Q96), (c(Q838948),P495,Q79))
action filter_type
action intersection
action find_reverse
entity Q96
relation P495
action find_reverse
entity Q79
relation P495
type Q838948
[ANSWER] originated in Mexico and Egypt
{'AND': [[{'concept': 'Q838948'}, 'P495', 'Q96'], [{'concept': 'Q838948'}, 'P495', 'Q79']]}
SELECT DISTINCT ?v WHERE { ?v property:P495 resource:Q96 . ?v property:P495 resource:Q79 . ?v rdf:type ontology:Q838948 }
11'09"01 September 11
11'09"01 September 11 originated in Mexico and Egypt
11'09"01 September 11
action filter_type
action intersection
action find_reverse
entity Mexico
relation country of origin
action find_reverse
entity Egypt
relation country of origin
type work of art
{'AND': [[{'concept': 'work of art'}, 'country of origin', 'Mexico'], [{'concept': 'work of art'}, 'country of origin', 'Egypt']]}
SELECT DISTINCT ?v WHERE { ?v property:country_of_origin resource:Mexico . ?v property:country_of_origin resource:Egypt . ?v rdf:type ontology:work_of_art }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q603857 Q7817063
P161
Q502895
USER
Was Tom Nugent casted in 11'09"01 September 11 ?
(Q603857,P161,Q7817063)
action is_in
entity Q7817063
action find
entity Q603857
relation P161
['Q603857', 'P161', 'Q7817063']
ASK WHERE { resource:Q603857 property:P161 resource:Q7817063 }
11'09"01 September 11 Tom Nugent
action is_in
entity Tom Nugent
action find
entity 11'09"01 September 11
relation cast member
['11\'09"01 September 11', 'cast member', 'Tom Nugent']
ASK WHERE { resource:11'09"01_September_11 property:cast_member resource:Tom_Nugent }
[]
common name
SYSTEM
NO
(Q603857,P161,Q7817063)
action is_in
entity Q7817063
action find
entity Q603857
relation P161
[ANSWER]
['Q603857', 'P161', 'Q7817063']
ASK WHERE { resource:Q603857 property:P161 resource:Q7817063 }
No
action is_in
entity Tom Nugent
action find
entity 11'09"01 September 11
relation cast member
['11\'09"01 September 11', 'cast member', 'Tom Nugent']
ASK WHERE { resource:11'09"01_September_11 property:cast_member resource:Tom_Nugent }
[]