(In-Package "ONTOLINGUA-USER")

;;; Written by user Fionam from session "psl start" owned by group JUST-ME
;;; Date: Feb 6, 2005  22:40
;;; Definitions: 24


(Define-Ontology
     Psl-Meta
     (Frame-Ontology)
   "Not supplied yet."
   :Io-Package
   "ONTOLINGUA-USER")


(In-Ontology (Quote Akt-Meta))



;;; Action

(Define-Class Action (?X) "Not supplied yet." :Def (And (Thing ?X))) 


;;; Membership-Agent

(Define-Frame Membership-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Membership-Agent Become-Member-Organization)))


;;; Email-Agent

(Define-Frame Email-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Agent-Needed Email-Agent Generate-Email-Address))) 


;;; Wait-Fact

(Define-Class Wait-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X))) 


;;; Generate-Email-Address

(Define-Individual Generate-Email-Address (Action) "Not supplied yet.") 


;;; Become-Member-Organization

(Define-Individual Become-Member-Organization (Action) "Not supplied yet.")


;;; Inform

(Define-Class Inform (?X) "Not supplied yet." :Def (And (Predicate ?X))) 


;;; Transitive

(Define-Class Transitive (?X) "Not supplied yet." :Def (And (Predicate ?X))) 


;;; Ask-Fact

(Define-Class Ask-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X))) 


;;; Predicate

(Define-Class Predicate (?X) "Not supplied yet." :Def (And (Thing ?X))) 


;;; Agent-Needed

(Define-Relation Agent-Needed (?Agent ?Action) "Not supplied yet." :Def (And (Agent ?Agent) (Action ?Action))) 


;;; Agent

(Define-Class Agent (?X) "Not supplied yet." :Def (And (Thing ?X))) 


;;; My-Fact

(Define-Class My-Fact (?X) "Not supplied yet." :Def (And (Predicate ?X))) 


;;; Has-Research-Interest

(Define-Individual Has-Research-Interest (Predicate) "Not supplied yet.") 


;;; Has-Subscription-Fee

(Define-Individual Has-Subscription-Fee (Predicate) "Not supplied yet.") 


;;; Member-Organization

(Define-Individual Member-Organization (Predicate) "Not supplied yet.") 


;;; Member-Academic-Unit

(Define-Individual Member-Academic-Unit (Predicate) "Not supplied yet.") 


;;; Has-Email-Address

(Define-Frame Has-Email-Address :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Predicate)) :Axioms ((Inform Has-Email-Address)))