(define-theory Abstract-Objects (Social-Objects))
(in-theory 'Abstract-Objects)


(DEFINE-CLASS INTELLECTUAL-PRODUCT (?SELF)
 "A conceptual entity resulting from human endeavor. Terms assigned to this 
type generally refer to information created by humans for some purpose."
 :DEF
 (AND (INFORMATION ?SELF)
      (EXISTS (?A) (AND (CREATED-BY ?SELF ?A) (*AGENT ?A)))
      (EXISTS (?B) (AND (MEDIUM-OF ?SELF ?B) (TELIC-EVENT ?B)))))
(DEFINE-CLASS NOTION (?SELF)
 "An abstract concept, such as a social, religious or philosophical concept."
 :DEF (ABSTRACTION ?SELF))
(DEFINE-CLASS QUALITATIVE-CONCEPT (?SELF)
 "A concept which is an assessment of some quality, rather than a direct 
measurement. Following Guarino's top-level, mappable to 'feature'."
 :DEF (NOTION ?SELF) :CONSTRAINTS
 (VALUE-TYPE ?SELF JUDGMENT-OF ACTIVITY) :AXIOM-DEF
 (MAPPING QUALITATIVE-CONCEPT
  "Investigate UMLS instances: this should be a class of properties and relations 
concerning assessment, specialized in the medical domain. Maybe they are simply value fillers."))
(DEFINE-CLASS TEMPORAL-CONCEPT (?SELF)
 "A concept which pertains to time or duration." :DEF (NOTION ?SELF) :AXIOM-DEF
 (MAPPING TEMPORAL-CONCEPT
  "Consider mapping directly to 'temporal relation' or some other notion in 
theory:time. On the other hand, many instances in the Metathesaurus may be temporally-valued concepts
but not structuring concepts. To be further refined after instance analysis."))