(define-theory Topics (Actors Assessment))

(in-theory 'Topics)


(DEFINE-CLASS BIOCHEMISTRY (?SELF)
:DEF (LIFE-SCIENCE ?SELF))
(DEFINE-CLASS BIOMEDICAL-OCCUPATION-OR-DISCIPLINE (?SELF)
 "A vocation, academic discipline, or field of study related to 
biomedicine."
 :DEF
 (AND (OCCUPATION-OR-DISCIPLINE ?SELF)
      (EXISTS (?A) (AND (CONVENTIONAL-WITHIN ?SELF ?A) (BIOMEDICINE ?A))))
 :AXIOM-DEF
 (MAPPING BIOMEDICAL-OCCUPATION-OR-DISCIPLINE
  "It should be split into BIOMEDICAL-OCCUPATION (OCCUPATION which is conventional 
within BIOMEDICINE) and BIOMEDICAL-DISCIPLINE (DISCIPLINE which is part of BIOMEDICINE)."))
(DEFINE-CLASS BIOMEDICINE (?SELF)
:DEF (LIFE-SCIENCE ?SELF))
(DEFINE-CLASS DISCIPLINE (?SELF)
:DEF (TOPIC ?SELF))
(DEFINE-CLASS GEOGRAPHY (?SELF)
:DEF (DISCIPLINE ?SELF))
(DEFINE-CLASS LIFE-SCIENCE (?SELF)
:DEF (DISCIPLINE ?SELF))
(DEFINE-CLASS LIFE-SCIENCE-RESEARCH (?SELF)
:DEF
 (AND (RESEARCH ?SELF)
      (EXISTS (?A) (AND (CONVENTIONAL-WITHIN ?SELF ?A) (LIFE-SCIENCE ?A)))))
(DEFINE-CLASS MEDICAL-DISCIPLINE (?SELF)
:DEF
 (BIOMEDICAL-OCCUPATION-OR-DISCIPLINE ?SELF))
(DEFINE-CLASS MEDICINE (?SELF)
:DEF (LIFE-SCIENCE ?SELF)
 :CONSTRAINTS (EXISTS (?A) (AND (PART-OF ?SELF ?A) (BIOMEDICINE ?A))))
(DEFINE-CLASS MOLECULAR-BIOLOGY (?SELF)
:DEF (LIFE-SCIENCE ?SELF))
(DEFINE-CLASS OCCUPATION (?SELF)
:DEF (TOPIC ?SELF))
(DEFINE-CLASS OCCUPATION-OR-DISCIPLINE (?SELF)
:IFF-DEF
 (AND (THING ?SELF) (OR (OCCUPATION ?SELF) (DISCIPLINE ?SELF))) :CONSTRAINTS
 (VALUE-TYPE ?SELF PART-OF OCCUPATION-OR-DISCIPLINE) :AXIOM-DEF
 (AND (USN-DOCUMENTATION OCCUPATION-OR-DISCIPLINE
       "A vocation, academic discipline, or field of study, or a subpart of 
an occupation or discipline. If the term refers to the individuals who have the vocation, the type 
'Professional or Occupational Group' is assigned.")
      (MAPPING OCCUPATION-OR-DISCIPLINE
       "It should be split into OCCUPATION (a kind of ACTIVITY) and DISCIPLINE (a kind of
topic). Anyway, there exists a type: OCCUPATIONAL-ACTIVITY, thus this is a kind of topic.")))
(DEFINE-CLASS PHYSICS (?SELF)
:DEF (DISCIPLINE ?SELF))
(DEFINE-CLASS RESEARCH (?SELF)
:DEF (OCCUPATION ?SELF))
(DEFINE-CLASS TOPOGRAPHY (?SELF)
:DEF (DISCIPLINE ?SELF))