symbol0_r(Subject,Name,Object,When)?
;
;
;
;
;
;
;
;
symbol1_r(Subject,Predicate,Verb,When)?
;
;
;
;
;
;
;
;
;
;
;
;
experiences(S,When,Sense_data)?
;
;
;
sub_sd_object(Sense_data, Sub_sense_data )?
;
;
;
;
perceptual_obj_relation(Sub_sense_data, Perc_obj_relation)?
;
;
;
;
;
;
perceptual_pred_relation(Sense_pred, Sence_property)?
;
;
;
;
;
normal_obj_conditions(Property, Object)?
;
;
;
;
normal_pred_conditions(Predicate, Property)?
;
;
;
;

toms_sns_red(X)?
;
toms_sns_blue(X)?
;
harrys_sns_red(X)?
;
harrys_sns_green(X)?
;
red(Property)?
;
phys_pred(Predicate)?
;
phys_obj(Object)?
;
predicative(Verb,Predicate)?
;
;
;
;
;
;
;
;
;
;
;
belief_psy_1(S ,T,U,W,X,Y,Z)?
;

belief_r(S,Verb,Who,Verb2,Verb3,When)?






