Simple Question (Direct)
Simple Question
Q1331402
P512
Q3412758
USER
Which qualification does Rolf Müller hold ?
(Q1331402,P512,c(Q3412758))
action filter_type
action find
entity Q1331402
relation P512
type Q3412758
['Q1331402', 'P512', {'concept': 'Q3412758'}]
SELECT DISTINCT ?w WHERE { resource:Q1331402 property:P512 ?w . ?w rdf:type ontology:Q3412758 }
Rolf Müller
action filter_type
action find
entity Rolf Müller
relation academic degree
type qualification
['Rolf Müller', 'academic degree', {'concept': 'qualification'}]
SELECT DISTINCT ?w WHERE { resource:Rolf_Müller property:academic_degree ?w . ?w rdf:type ontology:qualification }
[]
qualification
Q849697
SYSTEM
doctoral degree
Q849697
(Q1331402,P512,c(Q3412758))
action filter_type
action find
entity Q1331402
relation P512
type Q3412758
Rolf Müller holds a [ANSWER]
['Q1331402', 'P512', {'concept': 'Q3412758'}]
SELECT DISTINCT ?w WHERE { resource:Q1331402 property:P512 ?w . ?w rdf:type ontology:Q3412758 }
doctoral degree
Rolf Müller holds a doctoral degree
doctoral degree
action filter_type
action find
entity Rolf Müller
relation academic degree
type qualification
['Rolf Müller', 'academic degree', {'concept': 'qualification'}]
SELECT DISTINCT ?w WHERE { resource:Rolf_Müller property:academic_degree ?w . ?w rdf:type ontology:qualification }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1331402
P106
Q12737077
USER
Which occupations are the professions of Rolf Müller ?
(Q1331402,P106,c(Q12737077))
action filter_type
action find
entity Q1331402
relation P106
type Q12737077
['Q1331402', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?b WHERE { resource:Q1331402 property:P106 ?b . ?b rdf:type ontology:Q12737077 }
Rolf Müller
action filter_type
action find
entity Rolf Müller
relation occupation
type occupation
['Rolf Müller', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?b WHERE { resource:Rolf_Müller property:occupation ?b . ?b rdf:type ontology:occupation }
[]
occupation
Q1622272 Q15839206
SYSTEM
university teacher, molecular biologist
Q1622272 Q15839206
(Q1331402,P106,c(Q12737077))
action filter_type
action find
entity Q1331402
relation P106
type Q12737077
The professions of Rolf Müller are a [ANSWERS]
['Q1331402', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?b WHERE { resource:Q1331402 property:P106 ?b . ?b rdf:type ontology:Q12737077 }
university teacher molecular biologist
The professions of Rolf Müller are a university teacher and molecular biologist
university teacher molecular biologist
action filter_type
action find
entity Rolf Müller
relation occupation
type occupation
['Rolf Müller', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?b WHERE { resource:Rolf_Müller property:occupation ?b . ?b rdf:type ontology:occupation }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q471360
Q12737077
USER
And what about Tigran Gharabaghtsyan?
(Q471360,P106,c(Q12737077))
action filter_type
action find
entity Q471360
relation P106
type Q12737077
['Q471360', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q12737077 . resource:Q471360 property:P106 ?p }
Tigran Gharabaghtsyan
action filter_type
action find
entity Tigran Gharabaghtsyan
relation occupation
type occupation
['Tigran Gharabaghtsyan', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:occupation . resource:Tigran_Gharabaghtsyan property:occupation ?p }
[]
occupation
Q937857
SYSTEM
association football player
Q937857
(Q471360,P106,c(Q12737077))
action filter_type
action find
entity Q471360
relation P106
type Q12737077
[ANSWER]
['Q471360', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q12737077 . resource:Q471360 property:P106 ?p }
association football player
association football player
action filter_type
action find
entity Tigran Gharabaghtsyan
relation occupation
type occupation
['Tigran Gharabaghtsyan', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:occupation . resource:Tigran_Gharabaghtsyan property:occupation ?p }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q937857 Q7348251
P106
Q502895
USER
Does Robert Pack have the profession as that occupation ?
(Q7348251,P106,Q937857)
action is_in
entity Q7348251
action find
entity Q937857
relation P106
['Q7348251', 'P106', 'Q937857']
ASK WHERE { resource:Q937857 property:P106 resource:Q7348251 }
association football player Robert Pack
action is_in
entity Robert Pack
action find
entity association football player
relation occupation
['Robert Pack', 'occupation', 'association football player']
ASK WHERE { resource:association_football_player property:occupation resource:Robert_Pack }
[]
common name
SYSTEM
NO
(Q7348251,P106,Q937857)
action is_in
entity Q7348251
action find
entity Q937857
relation P106
[ANSWER]
['Q7348251', 'P106', 'Q937857']
ASK WHERE { resource:Q937857 property:P106 resource:Q7348251 }
No
action is_in
entity Robert Pack
action find
entity association football player
relation occupation
['Robert Pack', 'occupation', 'association football player']
ASK WHERE { resource:association_football_player property:occupation resource:Robert_Pack }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q1622272 Q15839206
P106
Q502895
USER
Which people have the profession of molecular biologist but not university teacher ?
AND((c(Q502895),P106,Q15839206), NOT((c(Q502895),P106,Q1622272)))
action filter_type
action difference
action find_reverse
entity Q15839206
relation P106
action find_reverse
entity Q1622272
relation P106
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P106', 'Q15839206'], {'NOT': [[{'concept': 'Q502895'}, 'P106', 'Q1622272']]}]}
SELECT DISTINCT ?q WHERE { ?q property:P106 resource:Q15839206 . FILTER NOT EXISTS { ?q property:P106 resource:Q1622272 } . ?q rdf:type ontology:Q502895 }
university teacher molecular biologist
action filter_type
action difference
action find_reverse
entity molecular biologist
relation occupation
action find_reverse
entity university teacher
relation occupation
type common name
{'AND': [[{'concept': 'common name'}, 'occupation', 'molecular biologist'], {'NOT': [[{'concept': 'common name'}, 'occupation', 'university teacher']]}]}
SELECT DISTINCT ?q WHERE { ?q property:occupation resource:molecular_biologist . FILTER NOT EXISTS { ?q property:occupation resource:university_teacher } . ?q rdf:type ontology:common_name }
[]
common name
Q3299305 Q2068397 Q109559 Q7645785 Q20742605 Q15823700 Q7325062 Q1494839 Q257008 Q5497126
SYSTEM
Some of them are Wendy Northcutt, Walter Fiers, Thomas A. Steitz, Suresh Subramani, Bernd Bukau, Klaus-Armin Nave, Richard D. Wood, Gary Felsenfeld, Martha Chase, Frederic Rousseau
Q7373005 Q18763976 Q15823700 Q18638375 Q17478655 Q8015418 Q4719549 Q1678456 Q15820773 Q217486 Q8044253 Q1063996 Q6130824 Q2425089 Q541682 Q20511651 Q1545000 Q19803275 Q2562350 Q7645785 Q17517335 Q15989340 Q2068397 Q5492405 Q2899584 Q5982928 Q16732884 Q6112804 Q11469416 Q15989733 Q7146198 Q1494839 Q1769254 Q109559 Q16012430 Q19799524 Q6169071 Q17517088 Q5300567 Q20742605 Q16733863 Q732418 Q8074400 Q26321 Q26322 Q1175415 Q1417617 Q6416145 Q16734398 Q8963160 Q1589024 Q3420950 Q16910862 Q4865062 Q5219240 Q7194091 Q709063 Q951559 Q21165834 Q1458503 Q1388486 Q7326144 Q23068005 Q340546 Q734552 Q11251973 Q6298519 Q900944 Q17966249 Q7960706 Q1251783 Q104600 Q15994566 Q6969569 Q15989696 Q5497126 Q2301630 Q8003593 Q5934562 Q4754986 Q7599797 Q18719177 Q2063918 Q2159209 Q437333 Q16527091 Q6215425 Q1296661 Q6181188 Q157224 Q15989785 Q1252427 Q4756335 Q3299305 Q1329654 Q18207526 Q3074353 Q4762704 Q7352863 Q1602688 Q735982 Q19766380 Q23015706 Q6613821 Q4346847 Q27493182 Q1506798 Q562321 Q1744990 Q1690001 Q257008 Q21694018 Q5257071 Q232295 Q275103 Q11763228 Q5201119 Q21062334 Q7050937 Q5297775 Q19766375 Q21166781 Q12374983 Q23710229 Q14682610 Q5724012 Q102250 Q7323571 Q7325062 Q15055173 Q91442 Q19516500 Q2286440 Q918650 Q6229234 Q108602 Q2355365 Q19766191 Q20986533 Q3430470 Q19007641 Q1447762 Q21263411 Q6282538 Q24565099 Q21016483 Q3316066 Q56068 Q18212258 Q1717105 Q22212795 Q481407 Q1600049 Q6709287 Q2645388 Q5394133 Q15433389 Q6167355 Q7448980
AND((c(Q502895),P106,Q15839206), NOT((c(Q502895),P106,Q1622272)))
action filter_type
action difference
action find_reverse
entity Q15839206
relation P106
action find_reverse
entity Q1622272
relation P106
type Q502895
[ANSWERS] have the profession of molecular biologist but not university teacher
{'AND': [[{'concept': 'Q502895'}, 'P106', 'Q15839206'], {'NOT': [[{'concept': 'Q502895'}, 'P106', 'Q1622272']]}]}
SELECT DISTINCT ?q WHERE { ?q property:P106 resource:Q15839206 . FILTER NOT EXISTS { ?q property:P106 resource:Q1622272 } . ?q rdf:type ontology:Q502895 }
Roy John Britten Alan J. Cooper Klaus-Armin Nave László Orosz Gabriel Waksman William McGinnis Alexander Markham Richard Henderson Jan Hoeijmakers Walter Gilbert Xiaofeng Zhou Charles Coutelle James C. Wang Thomas Jentsch Fotis Kafatos Yuri Aleksanyan Greg Winter Pilar Santisteban Werner Reutter Suresh Subramani Niraj Rai Richard Ambler Walter Fiers Frans Van Roy Bertrand Jordan John Medina Brian Morris Jack Greenblatt Tadashi Yamamoto Ali Shilatifard Patrick Callaerts Gary Felsenfeld Napoleone Ferrara Thomas A. Steitz Ernst Freese Salomé Prat Jean-Christophe Marine Glenda Gobe Doug Hilton Bernd Bukau Mary Osborn Matthieu Ricard Zoran T. Popovski Elizabeth Blackburn Carol Greider David MacLennan William A. Haseltine Kirstin Matthews Richard Perham Fàtima Bosch i Tubert Klaus Kühn Raymond Jeener Inger Sandlie Bart De Strooper Daniela Rhodes Pill-Soon Song Arthur D. Levinson Giulio Superti-Furga Ronald Hay Friedrich Bonhoeffer Pierre Chambon Richard H. Ebright Upulie Divisekera Achmad Mochtar Jean-Pierre Lecocq Helen Saibil Joël Vandekerckhove Graham Cairns-Smith Darja Marolt Wajih Owais Jan-Michael Peters Jack Szostak Tony Kouzarides Nathaniel David Frederick M. Ausubel Frederic Rousseau Sonja Hammerschmid Willem P.C. Stemmer Hugo Van Heuverswyn Andrea Brand Stanley Michael Gartler Pamela J. Green Robin Holliday Robert Williamson Cynthia Kenyon Anne Imberty Johan Thevelein Jan Ellenberg Jeremy C. Smith Kary Mullis Joyce Taylor-Papadimitriou Douglas Prasher Andrew Berglund Wendy Northcutt Elisa Izaurralde Isidro A. T. Savillo Flossie Wong-Staal Angelika Amon Robin Weiss James F. Gusella Sol Spiegelman Elena Ramírez Parra Markus Michael Simon William H. Andrews Masaru Tomita Lynn Dalgarno George A.M. Cross William Astbury Klaus Dieter Pfeffer Joachim Burger Martha Chase Marie Pagès Denis Alexander John Kendrew Tomoko Ohta Luca Turin Cyrus Levinthal Susan M. Gasser Noreen Murray Dorian Bevec Pilar Carbonero Zalduegui Harvey McMahon Siiri Iismaa Michael Hengartner Shirley Knauer Henry John Woods Peter Agre Richard A. Houghten Richard D. Wood Hayashizaki Yoshihide Axel Ullrich Walter Schaffner Silvana Konermann Leonard Adleman John Derek Smith Susumu Tonegawa Jon Edward Ahlquist María Ángela Nieto Toledano Nektarios Tavernarakis Richard Anthony Jefferson Géza Dénes Reiner Klingholz Johanna Ivaska Joseph DeRisi Jan Strugnell Oscar Touster Mirko Beljanski Jennifer Doudna Flora de Pablo Jürgen Drews Daisy Dussoix Alexander Rich Heinz Bielka Lynn W. Enquist Yoshiyuki Sakaki Ernesto Bustamante Gregor Eichele Jay Winsten Sema Sgaier
Wendy Northcutt, Walter Fiers, Thomas A. Steitz, Suresh Subramani, Bernd Bukau, Klaus-Armin Nave, Richard D. Wood, Gary Felsenfeld, Martha Chase and Frederic Rousseau have the profession of molecular biologist but not university teacher
Wendy Northcutt Walter Fiers Thomas A. Steitz Suresh Subramani Bernd Bukau Klaus-Armin Nave Richard D. Wood Gary Felsenfeld Martha Chase Frederic Rousseau
action filter_type
action difference
action find_reverse
entity molecular biologist
relation occupation
action find_reverse
entity university teacher
relation occupation
type common name
{'AND': [[{'concept': 'common name'}, 'occupation', 'molecular biologist'], {'NOT': [[{'concept': 'common name'}, 'occupation', 'university teacher']]}]}
SELECT DISTINCT ?q WHERE { ?q property:occupation resource:molecular_biologist . FILTER NOT EXISTS { ?q property:occupation resource:university_teacher } . ?q rdf:type ontology:common_name }
[]