:-multifile(cg/4). :-multifile(cgc/5). :-multifile(isa/2). :-multifile(ind/3). :-multifile(kb/6). :-dynamic kb/6. %%%%%%%%%LEVEL THREE%%%%%%%%%%%%%

cgc(90,simple,'entity',[fs(num,sing),fs(quant,lambda)],[]). cgc(91,simple,'typelabel',[fs(num,sing),fs(name,'block')],[]). cgc(92,simple,'color',[fs(num,sing)],[]). cgc(93,simple,'shape',[fs(num,sing)],[]). %$graph$500&C&90&45&11&-20561&-65536&C&92&69&44&-20561&-65536&R&63&24&-16776961&-16738666&C&93&26&45&-20561&-65536&R&28&25&-16776961&-16738666& cg(500,[cgr(attr, [90, 92], _), cgr(chrc, [90, 93], _)], [],

[fs(kind,body_of_type_def), fs(comment,'An entity has attribute color and characteristic shape')]). cgc(94,complex,lambdaexpression,[500],[]). %$graph$501&X&94&72&33&20&25&-16777216&-3618561&C&91&16&9&-20561&-65536&C&90&71&16&-20561&-65536&C&92&84&53&-20561&-65536&R&84&32&-16776961&-16738666&C&93&58&52&-20561&-65536&R&58&32&-16776961&-16738666&R&27&29&-16776961&-16738666& cg(501,[cgr(def, [91, 94], _)], [], [fs(kind,typedef), fs(comment,'')]).

cgc(95,simple,'block',[fs(num,sing)],[]). cgc(96,simple,'location',[fs(num,sing)],[]). cgc(97,simple,'hand',[fs(num,sing)],[]). cgc(98,simple,'act',[fs(quant,lambda)],[]). %$graph$502&C&95&24&10&-20561&-65536&C&96&78&10&-20561&-65536&R&49&10&-16776961&-16738666& cg(502,[cgr(top, [95, 96], _)], [], [fs(kind,body_of_context), fs(comment,'Block on top of location')]). cgc(99,complex,situation,[502],[]). cg(503,[cgr(ptnt, [98, 95], _), cgr(dest, [98, 96], _),cgr(inst, [98, 97], _), cgr(rslt, [98, 99], _)], [],

[fs(kind,body_of_type_def), fs(comment,'')]). cgc(1000,complex,lambdaexpression,[503],[]). cgc(1001,simple,'typelabel',[fs(name,'putdown')],[]). cg(504,[cgr(def, [1001, 1000], _)], [], [fs(kind,typedef), fs(comment,'')]).

%$graph$505&C&97&24&13&-20561&-65536&C&96&77&13&-20561&-65536&R&50&13&-16776961&-16738666& cg(505,[cgr(at, [97, 96], _)], [], [fs(kind,body_of_context), fs(comment,'Hand at location')]). cgc(1002,complex,situation,[505],[]). cg(506,[cgr(dest, [98, 96], _), cgr(inst, [98, 97], _),cgr(rslt, [98, 1002], _)], [], [fs(kind,body_of_type_def), fs(comment,'')]). cgc(1003,complex,lambdaexpression,[506],[]). cgc(1004,simple,'typelabel',[fs(name,'movehand')],[]). cg(507,[cgr(def, [1004, 1003], _)], [], [fs(kind,typedef), fs(comment,'')]).

%$graph$508&C&97&22&14&-20561&-65536&C&95&71&14&-20561&-65536&R&46&14&-16776961&-16738666& cg(508,[cgr(grasp, [97, 95], _)], [], [fs(kind,body_of_context), fs(comment,'Hand grasp block')]). cgc(1005,complex,situation,[508],[]). cg(509,[cgr(ptnt, [98, 95], _), cgr(inst, [98, 97], _),cgr(rslt, [98, 1005], _)], [], [fs(kind,body_of_type_def), fs(comment,'')]). cgc(1006,complex,lambdaexpression,[509],[]). cgc(1007,simple,'typelabel',[fs(name,'pickup')],[]). cg(510,[cgr(def, [1007, 1006], _)], [], [fs(kind,typedef), fs(comment,'')]).

%$graph$511&C&95&33&11&-20561&-65536&C&96&83&11&-20561&-65536&R&57&11&-16776961&-16738666& cg(511,[cgr(at, [95, 96], _)], [], [fs(kind,body_of_context), fs(comment,'Block at location')]). cgc(1008,complex,situation,[511],[]). cg(512,[cgr(dest, [98, 96], _), cgr(ptnt, [98, 95], _),cgr(inst, [98, 97], _), cgr(rslt, [98, 1008], _)], [], [fs(kind,body_of_type_def), fs(comment,'')]). cgc(1009,complex,lambdaexpression,[512],[]). cgc(1010,simple,'typelabel',[fs(name,'moveblock')],[]). cg(513,[cgr(def, [1010, 1009], _)], [], [fs(kind,typedef), fs(comment,'')]).

%%%%RELATION DEFINITIONS cgc(1011,simple,'location',[fs(num,sing),fs(quant,lambda)],[]). cgc(1012,simple,'entity',[fs(num,sing),fs(quant,lambda)],[]). cg(514,[cgr(pos, [1012, 1011], _)], [], [fs(kind,body_of_rel_def), fs(comment,'')]). cgc(1013,complex,lambdaexpression,[514],[]). cgc(1014,simple,'relationlabel',[fs(name,'at')],[]). cg(515,[cgr(def, [1014, 1013], _)], [], [fs(kind,reldef), fs(comment,'')]).

cgc(1015,simple,'block',[fs(num,sing),fs(quant,lambda)],[]). cgc(1016,simple,'block',[fs(num,sing)],[]). %$graph$516&C&1016&23&17&-20561&-65536&C&1015&81&17&-20561&-65536&R&52&17&-16776961&-16738666& cg(516,[cgr(above, [1016, 1015], _)], [], [fs(kind,body_of_context), fs(comment,'Block above block')]). cgc(1017,complex,situation,[516],[]). cg(517,[cgr(at, [1015, 1011], _), cgr(not, [1017], _)], [],

[fs(kind,body_of_rel_def), fs(comment,'')]). cgc(1018,complex,lambdaexpression,[517],[]). cgc(1019,simple,'relationlabel',[fs(name,'top')],[]). cg(518,[cgr(def, [1019, 1018], _)], [], [fs(kind,reldef), fs(comment,'')]).

cgc(1020,simple,'hand',[fs(num,sing),fs(quant,lambda)],[]). cg(519,[cgr(grasp, [1020, 1016], _)], [], [fs(kind,body_of_context), fs(comment,'Hand grasp block')]). cgc(1021,complex,situation,[519],[]). cg(520,[cgr(not, [1021], _)], [], [fs(kind,body_of_rel_def), fs(comment,'Hand not gpasp block')]). cgc(1022,complex,lambdaexpression,[520],[]). cgc(1023,simple,'relationlabel',[fs(name,'emptyhand')],[]). cg(521,[cgr(def, [1023, 1022], _)], [], [fs(kind,reldef), fs(comment,'')]).

cg(522,[cgr(grasp, [97, 1015], _)], [], [fs(kind,body_of_context), fs(comment,'Hand grasp block')]). cgc(1024,complex,situation,[522],[]). cg(523,[cgr(at, [1015, 1011], _), cgr(not, [1024], _)], [],

[fs(kind,body_fo_rel_def), fs(comment,'')]). cgc(1025,complex,lambdaexpression,[523],[]). cgc(1026,simple,'relationlabel',[fs(name,'ontable')],[]). cg(524,[cgr(def, [1026, 1025], _)], [], [fs(kind,reldef), fs(comment,'')]).

cgc(1027,simple,'block',[fs(num,sing),fs(quant,lambda)],[]). cg(525,[cgr(ontable, [1015, 96], _), cgr(ontable, [1027, 96], _)], [], [fs(kind,body_of_rel_def), fs(comment,'')]). cgc(1028,complex,lambdaexpression,[525],[]). cgc(1029,simple,'relationlabel',[fs(name,'above')],[]). cg(526,[cgr(def, [1029, 1028], _)], [], [fs(kind,reldef), fs(comment,'')]).

%%%%Catalog of Individuals /*ind(IndID,Name,TypeLabel),naprimer [Person:John#1] shte bade ind(1,John,Person)*/ ind(1,_,block). ind(2,_,block). ind(3,_,block). ind(4,_,hand). ind(5,_,location). ind(6,_,location).

%%%%%Assertions cgc(1030,simple,block,[fs(num,plur),fs(type,meas),fs(quant,3)],[fs(kind,assertion)]).

cgc(1031,simple,'block',[fs(num,sing),fs(type,def),fs(refID,1)],[]).

cgc(1032,simple,'color',[fs(num,sing),fs(name,'red')],[]). %$graph$528&C&1031&18&10&-20561&-65536&C&1032&80&10&-20561&-65536&R&49&10&-16776961&-16738666& cg(528,[cgr(attr, [1031, 1032], _)], [], [fs(kind,assertion), fs(comment,'Block 1 has red color')]).

cgc(1033,simple,'block',[fs(num,sing),fs(type,def),fs(refID,2)],[]). cgc(1034,simple,'color',[fs(num,sing),fs(name,'blue')],[]). %$graph$529&C&1033&15&16&-20561&-65536&C&1034&78&16&-20561&-65536&R&48&16&-16776961&-16738666& cg(529,[cgr(attr, [1033, 1034], _)], [], [fs(kind,assertion), fs(comment,'Block 2 has blue color')]).

cgc(1035,simple,'block',[fs(num,sing),fs(type,def),fs(refID,3)],[]). cgc(1036,simple,'color',[fs(num,sing),fs(name,'green')],[]). %$graph$530&C&1035&25&12&-20561&-65536&C&1036&86&12&-20561&-65536&R&59&12&-16776961&-16738666& cg(530,[cgr(attr, [1035, 1036], _)], [], [fs(kind,assertion), fs(comment,'Block 3 has green color')]).

cgc(1037,simple,'location',[fs(num,sing),fs(type,def),fs(refID,5)],[]). %$graph$531&C&1031&27&15&-20561&-65536&C&1037&75&15&-20561&-65536&R&50&15&-16776961&-16738666& cg(531,[cgr(ontable, [1031, 1037], _)], [], [fs(kind,assertion), fs(comment,'Block 1 on table location 5')]).

cgc(1038,simple,'location',[fs(num,sing),fs(type,def),fs(refID,6)],[]). %$graph$532&C&1035&16&10&-20561&-65536&C&1037&81&10&-20561&-65536&R&50&10&-16776961&-16738666& cg(532,[cgr(ontable, [1035, 1037], _)], [], [fs(kind,assertion), fs(comment,'Block 3 on table location 5')]).

cg(532,[cgr(ontable, [1035, 1037], _)], [], [fs(kind,assertion), fs(comment,'Block 3 on table location 5')]).

%$graph$533&C&1031&82&15&-20561&-65536&C&1035&26&15&-20561&-65536&R&56&15&-16776961&-16738666& cg(533,[cgr(above, [1031, 1035], _)], [], [fs(kind,assertion), fs(comment,'Block 1 above block 3')]).

cgc(1039,simple,'hand',[fs(num,sing),fs(refID,4)],[]). %$graph$534&C&1039&61&23&-20561&-65536&R&26&12&-16776961&-16738666& cg(534,[cgr(emptyhand, [1039], _)], [], [fs(kind,assertion), fs(comment,'Emptyhand 4')]).

%$graph$535&C&1031&20&17&-20561&-65536&C&1034&76&17&-20561&-65536&R&45&17&-16776961&-16738666& cg(535,[cgr(attr, [1031, 1034], _)], [], [fs(kind,body_of_context), fs(comment,'Block 1 has blue color')]). cgc(1040,complex,or,[535],[]).

%$graph$536&C&1033&20&16&-20561&-65536&C&1034&72&16&-20561&-65536&R&45&16&-16776961&-16738666& cg(536,[cgr(attr, [1033, 1034], _)], [], [fs(kind,body_of_context), fs(comment,'Block 2 has blue color')]). cgc(1041,complex,or,[536],[]).

cgc(1042,complex,either,[535,536],[fs(kind,assertion)]).

cgc(1043,simple,'block',[fs(num,sing),fs(quant,every)],[]). cgc(1044,simple,'shape',[fs(num,sing),fs(name,'cubical')],[]). %$graph$537&C&1034&81&16&-20561&-65536&C&1044&29&16&-20561&-65536&R&57&16&-16776961&-16738666& cg(537,[cgr(char, [1034, 1044], _)], [], [fs(kind,assertion), fs(comment,'Every block has cubical shape')]).

find_th(TH):-findall(isa(X,Y),isa(X,Y),TH). find_td_gr(TD):-findall(Id,(cg(Id,_,_,F),member(fs(kind,typedef),F)),TD).

find_rh(RH):-findall(isa_rel(X,Y),isa(X,Y),RH). find_rd_gr(TR):-findall(Id,(cg(Id,_,_,F),member(fs(kind,reldef),F)),TR).

find_Ind(Ind):-findall(ind(X,Y,Z),ind(X,Y,Z),Ind).

find_Ass(Ass):- findall(GrID,(cg(GrID,_,_,F),member(fs(kind,assertion),F)),A1), findall(CID,(cgc(CID,_,_,_,F),member(fs(kind,assertion),F)),A2), append(A1,A2,Ass). kb:-find_th(TH),find_td_gr(TD),find_rh(RH),find_rd_gr(RD),find_Ind(Ind), find_Ass(Ass),assert(kb(TH,TD,RH,RD,Ind,Ass)). :-kb.