allBibs(citKey) :- allBibs(X1),citKey(X1,citKey)::identifier(X1,citKey). authors(citKey,autNm) :- authors(X1),allBibs(X2),isa(X1,X2), autNm(X1,autNm),citKey(X2,citKey)::identifier(X1,autNm), identifier(X2,citKey). citForm(citKey,form) :- citForm(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),form(X1,form)::identifier(X1,form), identifier(X2,citKey). editors(citKey,edNm) :- editors(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),edNm(X1,edNm)::identifier(X1,edNm), identifier(X2,citKey). titles(citKey,title) :- titles(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),title(X1,title)::identifier(X1,title), identifier(X2,citKey). schools(citKey,schoolNm) :- schools(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),schoolNm(X1,schoolNm)::identifier(X1,schoolNm), identifier(X2,citKey). institutions(citKey,institNm) :- institutions(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),instNm(X1,institNm)::identifier(X1,institNm), identifier(X2,citKey). addresses(citKey,address) :- addresses(X1),allBibs(X2),isa(X1,X2), address(X1,address),citKey(X2,citKey)::identifier(X1,address), identifier(X2,citKey). types(citKey,type) :- types(X1),allBibs(X2),isa(X1,X2), type(X1,type),citKey(X2,citKey)::identifier(X1,type), identifier(X2,citKey). ISBN(citKey,isbnNum) :- ISBN(X1),allBibs(X2),isa(X1,X2), isbnNum(X1,isbnNum),citKey(X2,citKey)::identifier(X1,isbnNum), identifier(X2,citKey). notes(citKey,note) :- notes(X1),allBibs(X2),isa(X1,X2), note(X1,note),citKey(X2,citKey)::identifier(X1,note), identifier(X2,citKey). volumes(citKey,volNum) :- volumes(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),volNum(X1,volNum)::identifier(X1,volNum), identifier(X2,citKey). numbers(citKey,num) :- numbers(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),num(X1,num)::identifier(X1,num), identifier(X2,citKey). months(citKey,mon) :- months(X1),allBibs(X2),isa(X1,X2), mn(X1,mon),citKey(X2,citKey):: identifier(X1,mon),identifier(X2,citKey). years(citKey,yr) :- years(X1),allBibs(X2),isa(X1,X2), yr(X1,yr),citKey(X2,citKey)::identifier(X1,yr), identifier(X2,citKey). pages(citKey,pgRange) :- pages(X1),allBibs(X2),isa(X1,X2), citKey(X2,citKey),pgRange(X1,pgRange):: identifier(X1,pgRange),identifier(X2,citKey). abstracts(citKey,txt) :- abstracts(X1),allBibs(X2),isa(X1,X2), txt(X1,txt),citKey(X2,citKey)::identifier(X1,txt), identifier(X2,citKey). publisher(pubNm,pubID) :- publisher(X1),pubID(X1,pubID),pubNm(X1,pubNm):: identifier(X1,pubID). citPublisher(citKey,pubID) :- citPublishers(X1),publisher(X2),citPub(X1,X2),allBibs(X3),isa(X1,X3), pubID(X2,pubID),citKey(X3,citKey)::identifier(X1,citKey), identifier(X2,pubID),identifier(X3,citKey). journal(jrnlNm,jrnlID) :- journal(X1),jrnlID(X1,jrnlID),jrnlNm(X1,jrnlNm):: identifier(X1,jrnlID). citJournal(citKey,jrnlID) :- citJournal(X1),journal(X2),citJrnl(X1,X2),allBibs(X3),isa(X1,X3), jrnlID(X2,jrnlID),citKey(X3,citKey):: identifier(X1,citKey),identifier(X2,jrnlID),identifier(X3,citKey). series(seriesNm,seriesID) :- series(X1),seriesID(X1,seriesID),seriesNm(X1,seriesNm):: identifier(X1,seriesID). citSeries(citKey,seriesID) :- citSeries(X1),series(X2),citSer(X1,X2),allBibs(X3),isa(X1,X3), citKey(X3,citKey),seriesID(X2,seriesID):: identifier(X1,citKey),identifier(X2,seriesID),identifier(X3,citKey). booktitle(bkTitleNm,bktitleID) :- booktitle(X1),bktitleNm(X1,bkTitleNm),bktitleID(X1,bktitleID):: identifier(X1,bktitleID). citBkTitle(citKey,bktitleID) :- citBkTlte(X1),booktitle(X2),citBkTle(X1,X2),allBibs(X3),isa(X1,X3), bktitleID(X2,bktitleID),citKey(X3,citKey):: identifier(X1,citKey),identifier(X2,bktitleID),identifier(X3,citKey). keyWord(word,keyWdID) :- keyWord(X1),word(X1,word),keyWdID(X1,keyWdID):: identifier(X1,keyWdID). citKeyWd(citKey,keyWdID) :- citKeyword(X1),keyWord(X2),citKWd(X1,X2),allBibs(X3),isa(X1,X3), keyWdID(X2,keyWdID),citKey(X3,citKey):: identifier(X1,citKey),identifier(X2,keyWdID),identifier(X3,citKey).