;Transcript of executing sedative.demo (demo "sedative.demo") File /scratch/tutorial/project/sedative.demo is now the source of input. CPU time : 0.01 * ; ======================================================================= ; FILENAME: sedative.demo ; PROGRAMMER: Kompalli Suryaprakash ; Clear the SNePS network: (resetnet t) Net reset CPU time : 0.01 * ; Turn off inference tracing. ; This is optional; if tracing is desired, then delete this. ^( --> setq snip:*infertrace* nil) nil CPU time : 0.00 * ; Load the appropriate definition algorithm: ^( --> load "/projects/rapaport/CVA/STN2/defun_noun.cl") ; Loading /projects/rapaport/CVA/STN2/defun_noun.cl t CPU time : 0.17 * ; load all pre-defined relations: (intext "/projects/rapaport/CVA/STN2/demos/rels") File /projects/rapaport/CVA/STN2/demos/rels is now the source of input. CPU time : 0.00 * (a1 a2 a3 a4 after agent against antonym associated before cause class direction equiv etime event from in indobj instr into lex location manner member mode object on onto part place possessor proper-name property rel skf sp-rel stime subclass superclass subset superset synonym time to whole kn_cat) CPU time : 0.01 * End of file /projects/rapaport/CVA/STN2/demos/rels CPU time : 0.01 * ; load all pre-defined path definitions: (intext "/projects/rapaport/CVA/mkb3.CVA/paths/paths") File /projects/rapaport/CVA/mkb3.CVA/paths/paths is now the source of input. CPU time : 0.00 * before implied by the path (compose before (kstar (compose after- ! before))) before- implied by the path (compose (kstar (compose before- ! after)) before-) CPU time : 0.00 * after implied by the path (compose after (kstar (compose before- ! after))) after- implied by the path (compose (kstar (compose after- ! before)) after-) CPU time : 0.00 * sub1 implied by the path (compose object1- superclass- ! subclass superclass- ! subclass) sub1- implied by the path (compose subclass- ! superclass subclass- ! superclass object1) CPU time : 0.00 * super1 implied by the path (compose superclass subclass- ! superclass object1- ! object2) super1- implied by the path (compose object2- ! object1 superclass- ! subclass superclass-) CPU time : 0.00 * superclass implied by the path (or superclass super1) superclass- implied by the path (or superclass- super1-) CPU time : 0.00 * End of file /projects/rapaport/CVA/mkb3.CVA/paths/paths CPU time : 0.00 * ; CASSIE READS THE PASSAGE: ; ========================= ;; (o) Versed is a drug. (describe (assert member (build lex "Versed") class (build lex "Drug"))) (m3! (class (m2 (lex Drug))) (member (m1 (lex Versed)))) (m3!) CPU time : 0.00 * ;; (q) Versed is a sedative. (describe (assert member (build lex "Versed") class (build lex "Sedative"))) (m5! (class (m4 (lex Sedative))) (member (m1 (lex Versed)))) (m5!) CPU time : 0.00 * ;; (r1) It can be used as a light sedative to help alleviate a child's anxiety. (describe (assert agent (build lex "Versed") act (build action (build lex "Alleviate") object (build lex "anxiety")))) (m9! (act (m8 (action (m6 (lex Alleviate))) (object (m7 (lex anxiety))))) (agent (m1 (lex Versed)))) (m9!) CPU time : 0.00 * (describe (assert agent (build lex "Versed") act (build action (build lex "Causes") object (build lex "Sedation")))) (m13! (act (m12 (action (m10 (lex Causes))) (object (m11 (lex Sedation))))) (agent (m1 (lex Versed)))) (m13!) CPU time : 0.00 * ; Ask Cassie what "Sedative" means: ^( --> defineNoun "Sedative") Definition of Sedative: Possible Class Inclusions: Drug, Possible Actions: Causes Sedation, Alleviate anxiety, nil