;;; -- Steve Polyak 1 December 1998 -- rewrite for CPF. (in-package "ONTOLINGUA-USER") (define-theory CPO-EXPRESSIONS (frame-ontology slot-constraint-sugar cpo) definitions provide the structure for CPO expressions." :issues ((:copyright "Copyright (c) 1998 Steve Polyak"))) (in-theory 'CPO-EXPRESSIONS) ;;; CPO-ORDERING-EXPRESSION (define-class CPO-ORDERING-RELATION (?x) :iff-def (member ?x (setof 'before 'equal))) (define-relation CPO-ORDERING-EXPRESSION (?x) :iff-def (exists (?r ?tp1 ?tp2) (and (cpo-ordering-relation ?r) (cpo-timepoint ?tp1) (cpo-timepoint ?tp2) (= ?x (cons '" ?r '( ?tp1 ', ?tp2 ')" )))))) ;;; CPO-ISSUE-EXPRESSION (define-class CPO-PROCESS-VERB-RELATION (?x) :def (string ?x) :issues (("Need to flesh this out."))) (define-relation CPO-ISSUE-EXPRESSION (?x) :iff-def (or (exists (?r ?noun-phrase ?quantif-sent) (and (process-verb-relation ?r) (sentence ?noun-phrase) (sentence ?quantif-sent) (= ?x (cons ?r ?noun-phrase ?quantif-sent)))) (exists (?r ?noun-phrase) (and (process-verb-relation ?r) (sentence ?noun-phrase) (= ?x (cons ?r ?noun-phrase)))) (exists (?r) (and (process-verb-relation ?r) (= ?x ?r))))) ;;; CPO-OBJECTIVE-EXPRESSION ;;; CAUSAL LINKS will become part of the input-output world expressions ;;; s=Producer,P=Pattern,c=Consumer ;;;(define-relation DEPENDENCY (?s ?p ?c) ;;; "Dependency relation for expressing causal links." ;;; :def (and (cpo-node ?s) ;;; (string ?p) ;;; (cpo-node ?c)))