(In-Package "ONTOLINGUA-USER")

;;; Written by user Fionam from session "Session name not supplied [Tuesday, 25 January 2005, 03:10:57]" owned by group JUST-ME
;;; Date: Jan 25, 2005  10:37
;;; Definitions: 34


(Define-Ontology
     Sumo
     (Frame-Ontology)
   "This is an attempt to recreate a part of the SUMO ontology in KIF to test on the system."
   :Io-Package
   "ONTOLINGUA-USER")


(In-Ontology (Quote AKT))


;;; Start

(Define-Individual Start (Sit-Var) "Not supplied yet.")


;;; Pseudo-Var

(Define-Individual Pseudo-Var (Confirmation-Number) "Not supplied yet.") 


;;; School-Of-Informatics-At-Edinburgh

(Define-Individual School-Of-Informatics-At-Edinburgh (Academic-Unit) "Not supplied yet.") 


;;; Ontology-Refinement

(Define-Individual Ontology-Refinement (Research-Area) "Not supplied yet.") 


;;; Subscription-Fee

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


;;; Research-Agent

(Define-Frame Research-Agent :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Agent)) :Axioms ((Has-Research-Interest Research-Agent Ontology-Refinement [Start]) (Has-Subscription-Fee Research-Agent Subscription-Fee [Start]) (Member-Academic-Unit Research-Agent School-Of-Informatics-At-Edinburgh [Start])))


;;; Refinement-Sig

(Define-Frame Refinement-Sig :Own-Slots ((Documentation "Not supplied yet.") (Instance-Of Sig)) :Axioms ((Has-Research-Interest Refinement-Sig Ontology-Refinement [Start])))


;;; Sit-Var

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


;;; Organization

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


;;; Agent

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


;;; Academic-Unit

(Define-Class Academic-Unit (?X) "Not supplied yet." :Def (And (Organization-Unit ?X))) 


;;; Sig

(Define-Class Sig (?X) "Not supplied yet." :Def (And (Organization ?X))) 


;;; Research-Area

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


;;; Email-Address

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


;;; Fee

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


;;; Confirmation-Number

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


;;; Organization-Unit

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


;;; Generate-Email-Address

(Define-Axiom Generate-Email-Address "Not supplied yet." := (=> (And (Member-Academic-Unit ?Agent ?Unit ?Sit1)) (And (Has-Email-Address ?Agent Pseudo-Var ?Sit2)))) 


;;; Become-Member-Organization

(Define-Axiom Become-Member-Organization "Not supplied yet." := (=> (And (Has-Research-Interest ?Sig ?Research-Area ?Sit1) (Has-Research-Interest ?Agent ?Research-Area ?Sit1) (Has-Subscription-Fee ?Agent ?Fee ?Sit1) (Member-Academic-Unit ?Agent ?Unit ?Sit1)) (And (Member-Organization ?Agent ?Sig ?Sit2))))


;;; Has-Email-Address

(Define-Function Has-Email-Address (?Agent ?Situation) :-> ?Value "Not supplied yet." :Def (And (Agent ?Agent) (Confirmation-Number ?Value) (Sit-Var ?Situation))) 


;;; Has-Research-Interest

(Define-Relation Has-Research-Interest (?Thing ?Area ?Situation) "Not supplied yet." :Def (And (Thing ?Thing) (Research-Area ?Area) (Sit-Var ?Situation)))


;;; Has-Subscription-Fee

(Define-Relation Has-Subscription-Fee (?Agent ?Fee ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Fee ?Fee) (Sit-Var ?Situation)))


;;; Member-Academic-Unit

(Define-Relation Member-Academic-Unit (?Agent ?Unit ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Academic-Unit ?Unit) (Sit-Var ?Situation)))


;;; Member-Organization

(Define-Relation Member-Organization (?Agent ?Organization ?Situation) "Not supplied yet." :Def (And (Agent ?Agent) (Organization ?Organization) (Sit-Var ?Situation)))