Simple Question (Direct)
Simple Question
Q5536244
P1412
Q34770
USER
Which language is George Anderson capable of writing ?
(Q5536244,P1412,c(Q34770))
action filter_type
action find
entity Q5536244
relation P1412
type Q34770
['Q5536244', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?h WHERE { resource:Q5536244 property:P1412 ?h . ?h rdf:type ontology:Q34770 }
George Anderson
action filter_type
action find
entity George Anderson
relation languages spoken, written or signed
type language
['George Anderson', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?h WHERE { resource:George_Anderson property:languages_spoken,_written_or_signed ?h . ?h rdf:type ontology:language }
[]
language
Q1860
SYSTEM
English
Q1860
(Q5536244,P1412,c(Q34770))
action filter_type
action find
entity Q5536244
relation P1412
type Q34770
Is [ANSWER] is George Anderson capable of writing
['Q5536244', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?h WHERE { resource:Q5536244 property:P1412 ?h . ?h rdf:type ontology:Q34770 }
English
Is English is George Anderson capable of writing
English
action filter_type
action find
entity George Anderson
relation languages spoken, written or signed
type language
['George Anderson', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?h WHERE { resource:George_Anderson property:languages_spoken,_written_or_signed ?h . ?h rdf:type ontology:language }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1860
P2439
Q341
USER
Which free software has a connection with the language that one ?
(c(Q341),P2439,Q1860)
action filter_type
action find_reverse
entity Q1860
relation P2439
type Q341
[{'concept': 'Q341'}, 'P2439', 'Q1860']
SELECT DISTINCT ?y WHERE { ?y property:P2439 resource:Q1860 . ?y rdf:type ontology:Q341 }
English
action filter_type
action find_reverse
entity English
relation language
type free software
[{'concept': 'free software'}, 'language', 'English']
SELECT DISTINCT ?y WHERE { ?y property:language resource:English . ?y rdf:type ontology:free_software }
[]
free software
Q565283
SYSTEM
I2P
Q565283
(c(Q341),P2439,Q1860)
action filter_type
action find_reverse
entity Q1860
relation P2439
type Q341
[ANSWER] has a connection with the language that one
[{'concept': 'Q341'}, 'P2439', 'Q1860']
SELECT DISTINCT ?y WHERE { ?y property:P2439 resource:Q1860 . ?y rdf:type ontology:Q341 }
I2P
I2P has a connection with the language that one
I2P
action filter_type
action find_reverse
entity English
relation language
type free software
[{'concept': 'free software'}, 'language', 'English']
SELECT DISTINCT ?y WHERE { ?y property:language resource:English . ?y rdf:type ontology:free_software }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q565283
P400
Q2424752
USER
Which product is the computing platform for which that free software was specifically designed ?
(Q565283,P400,c(Q2424752))
action filter_type
action find
entity Q565283
relation P400
type Q2424752
['Q565283', 'P400', {'concept': 'Q2424752'}]
SELECT DISTINCT ?a WHERE { resource:Q565283 property:P400 ?a . ?a rdf:type ontology:Q2424752 }
I2P
action filter_type
action find
entity I2P
relation platform
type product
['I2P', 'platform', {'concept': 'product'}]
SELECT DISTINCT ?a WHERE { resource:I2P property:platform ?a . ?a rdf:type ontology:product }
[]
product
Q193321
SYSTEM
Java Virtual Machine
Q193321
(Q565283,P400,c(Q2424752))
action filter_type
action find
entity Q565283
relation P400
type Q2424752
[ANSWER] is the computing platform for which that free software was specifically designed
['Q565283', 'P400', {'concept': 'Q2424752'}]
SELECT DISTINCT ?a WHERE { resource:Q565283 property:P400 ?a . ?a rdf:type ontology:Q2424752 }
Java Virtual Machine
Java Virtual Machine is the computing platform for which that free software was specifically designed
Java Virtual Machine
action filter_type
action find
entity I2P
relation platform
type product
['I2P', 'platform', {'concept': 'product'}]
SELECT DISTINCT ?a WHERE { resource:I2P property:platform ?a . ?a rdf:type ontology:product }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q565283
P277
Q629206
USER
Which computer language is used to develop I2P ?
(Q565283,P277,c(Q629206))
action filter_type
action find
entity Q565283
relation P277
type Q629206
['Q565283', 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ?a WHERE { resource:Q565283 property:P277 ?a . ?a rdf:type ontology:Q629206 }
I2P
action filter_type
action find
entity I2P
relation programming language
type computer language
['I2P', 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ?a WHERE { resource:I2P property:programming_language ?a . ?a rdf:type ontology:computer_language }
[]
computer language
Q15777
SYSTEM
C
Q15777
(Q565283,P277,c(Q629206))
action filter_type
action find
entity Q565283
relation P277
type Q629206
[ANSWER] is used to develop I2P
['Q565283', 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ?a WHERE { resource:Q565283 property:P277 ?a . ?a rdf:type ontology:Q629206 }
C
C is used to develop I2P
C
action filter_type
action find
entity I2P
relation programming language
type computer language
['I2P', 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ?a WHERE { resource:I2P property:programming_language ?a . ?a rdf:type ontology:computer_language }
[]
Simple Question (Ellipsis)
Incomplete|object parent is changed, subject and predicate remain same
Q565283
Q188267
USER
And which programming paradigm?
(Q565283,P277,c(Q188267))
action filter_type
action find
entity Q565283
relation P277
type Q188267
['Q565283', 'P277', {'concept': 'Q188267'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q188267 . resource:Q565283 property:P277 ?u }
I2P
action filter_type
action find
entity I2P
relation programming language
type programming paradigm
['I2P', 'programming language', {'concept': 'programming paradigm'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:programming_paradigm . resource:I2P property:programming_language ?u }
[]
programming paradigm
Q251
SYSTEM
Java
Q251
(Q565283,P277,c(Q188267))
action filter_type
action find
entity Q565283
relation P277
type Q188267
[ANSWER]
['Q565283', 'P277', {'concept': 'Q188267'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q188267 . resource:Q565283 property:P277 ?u }
Java
Java
action filter_type
action find
entity I2P
relation programming language
type programming paradigm
['I2P', 'programming language', {'concept': 'programming paradigm'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:programming_paradigm . resource:I2P property:programming_language ?u }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P275
Q3943414 Q93288 Q629206
USER
Which computer languages are released under exactly 1 free software licenses and contracts ?
(c(Q629206),P275,c(Q3943414)|c(Q93288))
action equal
action union
action find_tuple_counts
relation P275
type Q629206
type Q3943414
action find_tuple_counts
relation P275
type Q629206
type Q93288
value 1
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q3943414'}, {'concept': 'Q93288'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?r WHERE { VALUES ( ?t ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } . ?a rdf:type ?t } GROUP BY ?r } . FILTER ( ?i = 1 ) }
action equal
action union
action find_tuple_counts
relation license
type computer language
type free software license
action find_tuple_counts
relation license
type computer language
type contract
value 1
[{'concept': 'computer language'}, 'license', [{'concept': 'free software license'}, {'concept': 'contract'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?r WHERE { VALUES ( ?t ) { ( ontology:contract ) ( ontology:free_software_license ) } . ?a rdf:type ?t } GROUP BY ?r } . FILTER ( ?i = 1 ) }
[]
free software license contract computer language
Q575650 Q37227 Q20080327
SYSTEM
Rust, Go, Nim
Q3154072 Q7179822 Q648619 Q3816639 Q3337877 Q2618065 Q15971618 Q2438046 Q7253904 Q608565 Q460584 Q575650 Q7372499 Q1106819 Q165372 Q975594 Q20080327 Q3217187 Q212587 Q762464 Q2613697 Q4677478 Q37227 Q369096
(c(Q629206),P275,c(Q3943414)|c(Q93288))
action equal
action union
action find_tuple_counts
relation P275
type Q629206
type Q3943414
action find_tuple_counts
relation P275
type Q629206
type Q93288
value 1
[ANSWERS] are released under exactly 1 free software licenses and contracts
[{'concept': 'Q629206'}, 'P275', [{'concept': 'Q3943414'}, {'concept': 'Q93288'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?r WHERE { VALUES ( ?t ) { ( ontology:Q93288 ) ( ontology:Q3943414 ) } . ?a rdf:type ?t } GROUP BY ?r } . FILTER ( ?i = 1 ) }
Ioke Pforth F♯ Kotlin Neko IronRuby Hack Arc Psake Cobra Scala Rust Roy CoffeeScript CLIPS Cython Nim Red OCaml Squeak Julia ActiveVFP Go Pharo
Rust, Go and Nim are released under exactly 1 free software licenses and contracts
Rust Go Nim
action equal
action union
action find_tuple_counts
relation license
type computer language
type free software license
action find_tuple_counts
relation license
type computer language
type contract
value 1
[{'concept': 'computer language'}, 'license', [{'concept': 'free software license'}, {'concept': 'contract'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?r WHERE { VALUES ( ?t ) { ( ontology:contract ) ( ontology:free_software_license ) } . ?a rdf:type ?t } GROUP BY ?r } . FILTER ( ?i = 1 ) }
[]
Clarification
Comparative|Count over More/Less|Mult. entity type|Indirect
P277
Q629206 Q341 Q1371279
USER
How many computer languages are used to develop less number of free software or server software than that computer language ?
(c(Q341)|c(Q1371279),P277,c(Q629206))
[[{'concept': 'Q341'}, {'concept': 'Q1371279'}], 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?w ) WHERE { { VALUES ( ?i ) { ( ?z ) ( ?x ) } . ?i property:Q9143 ?y } . ?z rdf:type ontology:Q341 . ?y rdf:type ontology:Q629206 . ?x rdf:type ontology:Q1371279 }
[[{'concept': 'free software'}, {'concept': 'server software'}], 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?w ) WHERE { { VALUES ( ?i ) { ( ?z ) ( ?x ) } . ?i property:programming_language ?y } . ?z rdf:type ontology:free_software . ?y rdf:type ontology:computer_language . ?x rdf:type ontology:server_software }
[]
computer language free software server software
Comparative|Count over More/Less|Mult. entity type|Clarification
Q575650
SYSTEM
Did you mean Rust ?
(c(Q341)|c(Q1371279),P277,c(Q629206))
[ANSWER]
[[{'concept': 'Q341'}, {'concept': 'Q1371279'}], 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?w ) WHERE { { VALUES ( ?i ) { ( ?z ) ( ?x ) } . ?i property:Q9143 ?y } . ?z rdf:type ontology:Q341 . ?y rdf:type ontology:Q629206 . ?x rdf:type ontology:Q1371279 }
Did you mean Rust ?
Rust
[[{'concept': 'free software'}, {'concept': 'server software'}], 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?w ) WHERE { { VALUES ( ?i ) { ( ?z ) ( ?x ) } . ?i property:programming_language ?y } . ?z rdf:type ontology:free_software . ?y rdf:type ontology:computer_language . ?x rdf:type ontology:server_software }
[]
Comparative Reasoning (Count) (All)
USER
Yes
(c(Q341)|c(Q1371279),P277,c(Q629206))
[[{'concept': 'Q341'}, {'concept': 'Q1371279'}], 'P277', {'concept': 'Q629206'}]
[[{'concept': 'free software'}, {'concept': 'server software'}], 'programming language', {'concept': 'computer language'}]
[]
SYSTEM
53
Q234657 Q51798 Q4050584 Q7388288 Q319268 Q620464 Q978185 Q961543 Q17118377 Q20870804 Q223433 Q212587 Q11605828 Q188436 Q166074 Q3816639 Q42979 Q849146 Q47607 Q22696099 Q504453 Q2877155 Q22695923 Q1275955 Q2438046 Q810009 Q1141484 Q3493421 Q1106819 Q2160963 Q460584 Q259138 Q5301 Q3317751 Q685820 Q8811 Q34010 Q1486175 Q959549 Q6953629 Q972868 Q2044345 Q1334586 Q22709094 Q1942241 Q50077 Q762464 Q1882973 Q2613697 Q131140 Q539268 Q380523 Q2378
(c(Q341)|c(Q1371279),P277,c(Q629206))
[ANSWER]
[[{'concept': 'Q341'}, {'concept': 'Q1371279'}], 'P277', {'concept': 'Q629206'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?w ) WHERE { { { ?z property:Q9143 ?y } UNION { ?x property:Q9143 ?y } } . ?z rdf:type ontology:Q341 . ?y rdf:type ontology:Q629206 . ?x rdf:type ontology:Q1371279 }
ActionScript Clojure THINK C S3 D G-code TypeScript QML Swift RPython PL/I OCaml BlitzMax ALGOL XHTML Kotlin BASIC Common Lisp SQL Programming Language for Distributed Systems Groovy BLISS PL/X Executive Systems Problem Oriented Language Arc BCPL Web Spice Lisp CoffeeScript PL/M Scala ECMAScript TeX Mocklisp REXX HTML Haskell GNU Assembler shell script NEWP Accent PL/pgSQL Emacs Lisp HolyC Modula-2+ Visual Basic .NET Squeak Maclisp Julia COBOL Inform ABAP Visual Basic
53
[[{'concept': 'free software'}, {'concept': 'server software'}], 'programming language', {'concept': 'computer language'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?w ) WHERE { { { ?z property:programming_language ?y } UNION { ?x property:programming_language ?y } } . ?z rdf:type ontology:free_software . ?y rdf:type ontology:computer_language . ?x rdf:type ontology:server_software }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q830041 Q565283
P306
Q676202
USER
Which system software are associated with I2P or Gnucleus ?
OR((Q565283,P306,c(Q676202)), (Q830041,P306,c(Q676202)))
action filter_type
action union
action find
entity Q565283
relation P306
action find
entity Q830041
relation P306
type Q676202
{'OR': [['Q565283', 'P306', {'concept': 'Q676202'}], ['Q830041', 'P306', {'concept': 'Q676202'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Q565283 property:P306 ?b } UNION { resource:Q830041 property:P306 ?b } } . ?b rdf:type ontology:Q676202 }
Gnucleus I2P
action filter_type
action union
action find
entity I2P
relation operating system
action find
entity Gnucleus
relation operating system
type system software
{'OR': [['I2P', 'operating system', {'concept': 'system software'}], ['Gnucleus', 'operating system', {'concept': 'system software'}]]}
SELECT DISTINCT ?b WHERE { { { resource:I2P property:operating_system ?b } UNION { resource:Gnucleus property:operating_system ?b } } . ?b rdf:type ontology:system_software }
[]
system software
Q1406 Q388
SYSTEM
Microsoft Windows, Linux
Q1406 Q388
OR((Q565283,P306,c(Q676202)), (Q830041,P306,c(Q676202)))
action filter_type
action union
action find
entity Q565283
relation P306
action find
entity Q830041
relation P306
type Q676202
[ANSWERS] are associated with I2P or Gnucleus
{'OR': [['Q565283', 'P306', {'concept': 'Q676202'}], ['Q830041', 'P306', {'concept': 'Q676202'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Q565283 property:P306 ?b } UNION { resource:Q830041 property:P306 ?b } } . ?b rdf:type ontology:Q676202 }
Microsoft Windows Linux
Microsoft Windows and Linux are associated with I2P or Gnucleus
Microsoft Windows Linux
action filter_type
action union
action find
entity I2P
relation operating system
action find
entity Gnucleus
relation operating system
type system software
{'OR': [['I2P', 'operating system', {'concept': 'system software'}], ['Gnucleus', 'operating system', {'concept': 'system software'}]]}
SELECT DISTINCT ?b WHERE { { { resource:I2P property:operating_system ?b } UNION { resource:Gnucleus property:operating_system ?b } } . ?b rdf:type ontology:system_software }
[]
Clarification
Quantitative|Count|Single entity type|Indirect
P144
Q341
USER
How many free software are that system software adapted from ?
(Q388,P144,c(Q341))
['Q388', 'P144', {'concept': 'Q341'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Q261593 property:P144 ?z . ?z rdf:type ontology:Q341 }
['Linux', 'based on', {'concept': 'free software'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Linux property:based_on ?z . ?z rdf:type ontology:free_software }
[]
free software
Quantitative|Count|Single entity type|Clarification
Q1406
SYSTEM
Did you mean Microsoft Windows ?
(Q1406,P144,c(Q341)) (Q388,P144,c(Q341))
[ANSWER]
['Q1406', 'P144', {'concept': 'Q341'}] ['Q388', 'P144', {'concept': 'Q341'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Q261593 property:P144 ?z . ?z rdf:type ontology:Q341 }
Did you mean Microsoft Windows ?
Microsoft Windows
['Microsoft Windows', 'based on', {'concept': 'free software'}] ['Linux', 'based on', {'concept': 'free software'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Linux property:based_on ?z . ?z rdf:type ontology:free_software }
[]
Quantitative Reasoning (Count) (All)
USER
No, I meant Linux. Could you tell me the answer for that?
(Q388,P144,c(Q341))
Q388
['Q388', 'P144', {'concept': 'Q341'}]
['Linux', 'based on', {'concept': 'free software'}]
[]
SYSTEM
1
Q14579
(Q388,P144,c(Q341))
[ANSWER]
['Q388', 'P144', {'concept': 'Q341'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Q261593 property:P144 ?z . ?z rdf:type ontology:Q341 }
Linux kernel
1
['Linux', 'based on', {'concept': 'free software'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?y ) WHERE { resource:Linux property:based_on ?z . ?z rdf:type ontology:free_software }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1121719
P941
Q9143 Q629206 Q629206
USER
Which computer languages have approximately the same number of programming languages or computer languages as source of inspiration as Component Pascal ?
(c(Q629206),P941,c(Q9143)|c(Q629206))
action approx
action union
action find_tuple_counts
relation P941
type Q629206
type Q9143
action find_tuple_counts
relation P941
type Q629206
type Q629206
action count
action filter_multi_types
action find
entity Q1121719
relation P941
type Q9143
type Q629206
[{'concept': 'Q629206'}, 'P941', [{'concept': 'Q9143'}, {'concept': 'Q629206'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?b ) AS ?c ) WHERE { { ?b rdf:type ontology:Q9143 . ?t rdf:type ontology:Q629206 . ?t property:P941 ?b } UNION { ?t property:P941 ?b . ?t rdf:type ontology:Q629206 . ?b rdf:type ontology:Q629206 } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { ?l rdf:type ?g . VALUES ( ?g ) { ( ontology:Q9143 ) ( ontology:Q629206 ) } } . resource:Q1121719 property:P941 ?l } } . FILTER ( ?c = ?v ) }
Component Pascal
action approx
action union
action find_tuple_counts
relation inspired by
type computer language
type programming language
action find_tuple_counts
relation inspired by
type computer language
type computer language
action count
action filter_multi_types
action find
entity Component Pascal
relation inspired by
type programming language
type computer language
[{'concept': 'computer language'}, 'inspired by', [{'concept': 'programming language'}, {'concept': 'computer language'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?b ) AS ?c ) WHERE { { ?b rdf:type ontology:programming_language . ?t rdf:type ontology:computer_language . ?t property:inspired_by ?b } UNION { ?t property:inspired_by ?b . ?t rdf:type ontology:computer_language . ?b rdf:type ontology:computer_language } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { ?l rdf:type ?g . VALUES ( ?g ) { ( ontology:programming_language ) ( ontology:computer_language ) } } . resource:Component_Pascal property:inspired_by ?l } } . FILTER ( ?c = ?v ) }
[]
programming language computer language computer language
Q1121719 Q1106819
SYSTEM
Component Pascal, CoffeeScript
Q1121719 Q1106819
(c(Q629206),P941,c(Q9143)|c(Q629206))
action approx
action union
action find_tuple_counts
relation P941
type Q629206
type Q9143
action find_tuple_counts
relation P941
type Q629206
type Q629206
action count
action filter_multi_types
action find
entity Q1121719
relation P941
type Q9143
type Q629206
[ANSWERS] have approximately the same number of programming languages or computer languages as source of inspiration as Component Pascal
[{'concept': 'Q629206'}, 'P941', [{'concept': 'Q9143'}, {'concept': 'Q629206'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?b ) AS ?c ) WHERE { { ?b rdf:type ontology:Q9143 . ?t rdf:type ontology:Q629206 . ?t property:P941 ?b } UNION { ?t property:P941 ?b . ?t rdf:type ontology:Q629206 . ?b rdf:type ontology:Q629206 } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { ?l rdf:type ?g . VALUES ( ?g ) { ( ontology:Q9143 ) ( ontology:Q629206 ) } } . resource:Q1121719 property:P941 ?l } } . FILTER ( ?c = ?v ) }
Component Pascal CoffeeScript
Component Pascal and CoffeeScript have approximately the same number of programming languages or computer languages as source of inspiration as Component Pascal
Component Pascal CoffeeScript
action approx
action union
action find_tuple_counts
relation inspired by
type computer language
type programming language
action find_tuple_counts
relation inspired by
type computer language
type computer language
action count
action filter_multi_types
action find
entity Component Pascal
relation inspired by
type programming language
type computer language
[{'concept': 'computer language'}, 'inspired by', [{'concept': 'programming language'}, {'concept': 'computer language'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ?t ( COUNT ( ?b ) AS ?c ) WHERE { { ?b rdf:type ontology:programming_language . ?t rdf:type ontology:computer_language . ?t property:inspired_by ?b } UNION { ?t property:inspired_by ?b . ?t rdf:type ontology:computer_language . ?b rdf:type ontology:computer_language } } GROUP BY ?t } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { ?l rdf:type ?g . VALUES ( ?g ) { ( ontology:programming_language ) ( ontology:computer_language ) } } . resource:Component_Pascal property:inspired_by ?l } } . FILTER ( ?c = ?v ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q212324 Q830041
P306
Q676202
USER
Which system software handles Gnucleus or Autodesk 3ds Max ?
OR((Q830041,P306,c(Q676202)), (Q212324,P306,c(Q676202)))
action filter_type
action union
action find
entity Q830041
relation P306
action find
entity Q212324
relation P306
type Q676202
{'OR': [['Q830041', 'P306', {'concept': 'Q676202'}], ['Q212324', 'P306', {'concept': 'Q676202'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?r ) { ( resource:Q830041 ) ( resource:Q212324 ) } . ?r property:P306 ?p } . ?p rdf:type ontology:Q676202 }
Autodesk 3ds Max Gnucleus
action filter_type
action union
action find
entity Gnucleus
relation operating system
action find
entity Autodesk 3ds Max
relation operating system
type system software
{'OR': [['Gnucleus', 'operating system', {'concept': 'system software'}], ['Autodesk 3ds Max', 'operating system', {'concept': 'system software'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?r ) { ( resource:Gnucleus ) ( resource:Autodesk_3ds_Max ) } . ?r property:operating_system ?p } . ?p rdf:type ontology:system_software }
[]
system software
Q1406 Q486487
SYSTEM
Microsoft Windows, Windows NT
Q1406 Q486487
OR((Q830041,P306,c(Q676202)), (Q212324,P306,c(Q676202)))
action filter_type
action union
action find
entity Q830041
relation P306
action find
entity Q212324
relation P306
type Q676202
[ANSWERS] handle Gnucleus or Autodesk 3ds Max
{'OR': [['Q830041', 'P306', {'concept': 'Q676202'}], ['Q212324', 'P306', {'concept': 'Q676202'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?r ) { ( resource:Q830041 ) ( resource:Q212324 ) } . ?r property:P306 ?p } . ?p rdf:type ontology:Q676202 }
Microsoft Windows Windows NT
Microsoft Windows and Windows NT handle Gnucleus or Autodesk 3ds Max
Microsoft Windows Windows NT
action filter_type
action union
action find
entity Gnucleus
relation operating system
action find
entity Autodesk 3ds Max
relation operating system
type system software
{'OR': [['Gnucleus', 'operating system', {'concept': 'system software'}], ['Autodesk 3ds Max', 'operating system', {'concept': 'system software'}]]}
SELECT DISTINCT ?p WHERE { { VALUES ( ?r ) { ( resource:Gnucleus ) ( resource:Autodesk_3ds_Max ) } . ?r property:operating_system ?p } . ?p rdf:type ontology:system_software }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q212324
P306
Q229371
USER
Are Autodesk 3ds Max handled by those ones as the operating system ?
(Q212324,P306,Q1406) (Q212324,P306,Q486487)
action is_in
entity prev_answer
action find
entity Q212324
relation P306
['Q212324', 'P306', 'Q1406'] ['Q212324', 'P306', 'Q486487']
ASK WHERE { resource:Q212324 property:P306 ?x . VALUES ( ?x ) { ( resource:Q1406 ) ( resource:Q486487 ) } }
Autodesk 3ds Max
action is_in
entity prev_answer
action find
entity Autodesk 3ds Max
relation operating system
['Autodesk 3ds Max', 'operating system', 'Microsoft Windows'] ['Autodesk 3ds Max', 'operating system', 'Windows NT']
ASK WHERE { resource:Autodesk_3ds_Max property:operating_system ?x . VALUES ( ?x ) { ( resource:Microsoft_Windows ) ( resource:Windows_NT ) } }
[]
3D computer graphics software
SYSTEM
YES
(Q212324,P306,Q1406) (Q212324,P306,Q486487)
action is_in
entity prev_answer
action find
entity Q212324
relation P306
[ANSWER]
['Q212324', 'P306', 'Q1406'] ['Q212324', 'P306', 'Q486487']
ASK WHERE { resource:Q212324 property:P306 ?x . VALUES ( ?x ) { ( resource:Q1406 ) ( resource:Q486487 ) } }
Yes
action is_in
entity prev_answer
action find
entity Autodesk 3ds Max
relation operating system
['Autodesk 3ds Max', 'operating system', 'Microsoft Windows'] ['Autodesk 3ds Max', 'operating system', 'Windows NT']
ASK WHERE { resource:Autodesk_3ds_Max property:operating_system ?x . VALUES ( ?x ) { ( resource:Microsoft_Windows ) ( resource:Windows_NT ) } }
[]