(define-theory Social-Objects (Representation))

(in-theory 'Social-Objects)


(DEFINE-FUNCTION BIRTH-TIME-VALUE (?A) :-> ?B :DEF
 (AND (TIME-VALUE ?A ?B) (ORGANISM ?A) (DATE-VALUE-FILLER ?B)))
(DEFINE-RELATION BIRTH-TIME-VALUE-OF (?A ?B) :IFF-DEF
 (AND (= (INVERSE BIRTH-TIME-VALUE) BIRTH-TIME-VALUE-OF)
      (DATE-VALUE-FILLER ?A)
      (ORGANISM ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE BIRTH-TIME-VALUE-OF ORGANISM)
      (DOMAIN BIRTH-TIME-VALUE-OF
       DATE-VALUE-FILLER)))
(DEFINE-RELATION COMMON-GOAL (?A ?B)
 "COMMON-GOAL is modelled as a goal shared by a group's members." :IFF-DEF
 (AND (GOAL ?A ?B) (GROUP ?A)))
(DEFINE-RELATION COMMON-GOAL-OF (?A ?B) :IFF-DEF
 (AND (GOAL-OF ?A ?B)
      (TEMPORALIZED-ENTITY ?A)
      (*AGENT ?B)
      (GROUP ?B)
      (CARDINALITY (SETOFALL ?C (_DISTRIBUTED ?B ?C)) 1)
      (EXISTS (?D) (AND (MEREOLOGICAL-MEMBER ?B ?D) (PERSON ?D)))
      (CARDINALITY (SETOFALL ?E (_SOCIAL ?B ?E)) 1))
 :CONSTRAINTS
 (AND (*AGENT ?B)
      (GROUP ?B)
      (CARDINALITY (SETOFALL ?F (_DISTRIBUTED ?B ?F)) 1)
      (EXISTS (?G) (AND (MEREOLOGICAL-MEMBER ?B ?G) (PERSON ?G)))
      (CARDINALITY (SETOFALL ?H (_SOCIAL ?B ?H)) 1))
 :AXIOM-CONSTRAINTS
 (DOMAIN COMMON-GOAL-OF TEMPORALIZED-ENTITY))
(DEFINE-FUNCTION CONSTITUTION-TIME-VALUE (?A) :-> ?B :DEF
 (AND (TIME-VALUE ?A ?B) (SOCIAL-OBJECT ?A) (DATE-VALUE-FILLER ?B)))
(DEFINE-RELATION CONSTITUTION-TIME-VALUE-OF (?A ?B) :IFF-DEF
 (AND (= (INVERSE CONSTITUTION-TIME-VALUE)
         CONSTITUTION-TIME-VALUE-OF)
      (DATE-VALUE-FILLER ?A)
      (SOCIAL-OBJECT ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE CONSTITUTION-TIME-VALUE-OF SOCIAL-OBJECT)
      (DOMAIN CONSTITUTION-TIME-VALUE-OF
       DATE-VALUE-FILLER)))
(DEFINE-RELATION CONVENTIONAL-COMMON-GOAL (?A ?B) :IFF-DEF
 (AND (= (INVERSE CONVENTIONAL-COMMON-GOAL-OF)
         CONVENTIONAL-COMMON-GOAL)
      (PROCESS ?A)
      (TEMPORALIZED-ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE CONVENTIONAL-COMMON-GOAL TEMPORALIZED-ENTITY)
      (DOMAIN CONVENTIONAL-COMMON-GOAL PROCESS)))
(DEFINE-RELATION CONVENTIONAL-COMMON-GOAL-OF (?A ?B)
 "COMMON-GOAL must be modelled as a goal shared by a group's members or an institutional
goal of a society or organization. Is it possible distinguishing common and institutional goals otherly than by
specializing its implicit domain (group=>institution)?"
 :DEF
 (AND (EXISTS ?Z (AND (GROUP ?Z) (PERFORMS ?Z ?B)))
      (CONVENTIONAL-GOAL-OF ?A ?B))
 :AXIOM-DEF
 (PROBLEM CONVENTIONAL-COMMON-GOAL-OF
  "COMMON-GOAL must be modelled as a goal shared by a group's members or an institutional
goal of a society or organization. Is it possible distinguishing common and institutional goals otherly than by
specializing its implicit domain (group=>institution)?"))
(DEFINE-FUNCTION DEATH-TIME-VALUE (?A) :-> ?B :DEF
 (AND (TIME-VALUE ?A ?B) (ORGANISM ?A) (DATE-VALUE-FILLER ?B)))
(DEFINE-RELATION DEATH-TIME-VALUE-OF (?A ?B) :IFF-DEF
 (AND (= (INVERSE DEATH-TIME-VALUE) DEATH-TIME-VALUE-OF)
      (DATE-VALUE-FILLER ?A)
      (ORGANISM ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE DEATH-TIME-VALUE-OF ORGANISM)
      (DOMAIN DEATH-TIME-VALUE-OF
       DATE-VALUE-FILLER)))
(DEFINE-RELATION FAMILY-RELATIONSHIP (?A ?B) :DEF
 (SOCIAL-RELATION ?A ?B) :AXIOM-CONSTRAINTS
 (AND (RANGE FAMILY-RELATIONSHIP PHYSICAL-PERSON)
      (DOMAIN FAMILY-RELATIONSHIP PHYSICAL-PERSON)))
(DEFINE-RELATION INVERSE-OF-FAMILY-RELATIONSHIP (?A ?B) :IFF-DEF
 (= (INVERSE FAMILY-RELATIONSHIP) INVERSE-OF-FAMILY-RELATIONSHIP))
(DEFINE-CLASS AGE-GROUP (?SELF)
 "An individual or individuals classified according to their age." :DEF
 (AND (GROUP ?SELF)
      (EXISTS (?A)
              (AND (MEREOLOGICAL-MEMBER ?SELF ?A)
                   (AND (PHYSICAL-PERSON ?A)
                        (EXISTS (?B)
                         (AND (AGE ?A ?B) (AGE-VALUE-FILLER ?B)))
                        (FORALL (?B ?C)
                         (=> (AND (AGE ?A ?B) (AGE ?A ?C)) (= ?B ?C))))))))
(DEFINE-CLASS BEHAVIOR (?SELF)
 "Any of the activities of humans or animals that can be observed directly by 
others or can be made systematically observable by the use of special strategies."
 :DEF
 (AND (ACTIVITY ?SELF)
      (EXISTS (?A) (AND (MANIFESTATION-OF ?SELF ?A) (MENTAL-PROCESS ?A)))
      (EXISTS (?B) (AND (PERFORMED-BY ?SELF ?B) (ANIMAL ?B))))
 :CONSTRAINTS
 (AND (EXISTS (?C)
              (AND (MANIFESTATION-OF ?SELF ?C)
                   (OR (MENTAL-PROCESS ?C)
                       (MENTAL-OR-BEHAVIORAL-DYSFUNCTION ?C))))
      (FORALL (?D)
       (=> (INFLUENCES ?SELF ?D) (OR (MENTAL-PROCESS ?D) (BEHAVIOR ?D))))))
(DEFINE-CLASS BEHAVIORAL-GROUP (?SELF)
:DEF (POPULATION-GROUP ?SELF))
(DEFINE-CLASS CITIZEN (?SELF)
:DEF (PHYSICAL-PERSON ?SELF))
(DEFINE-CLASS COMMUNITY (?SELF)
:DEF (GROUP ?SELF))
(DEFINE-CLASS CULTURAL-GROUP (?SELF)
:DEF (POPULATION-GROUP ?SELF))
(DEFINE-CLASS DAILY-OR-RECREATIONAL-ACTIVITY (?SELF)
 "An activity carried out for recreation or exercise." :DEF
 (AND (HUMAN-ACTIVITY ?SELF)
      (EXISTS (?A) (AND (PERFORMED-BY ?SELF ?A) (HUMAN ?A)))
      (EXISTS (?B)
              (AND (CONVENTIONAL-GOAL ?SELF ?B)
                   (OR (RECREATION ?B) (EXERCISE ?B))))))
(DEFINE-CLASS EDUCATION (?SELF)
:DEF (HUMAN-ACTIVITY ?SELF))
(DEFINE-CLASS EDUCATIONAL-ACTIVITY (?SELF)
 "An activity related to the organization and provision of education." :DEF
 (AND (OCCUPATIONAL-ACTIVITY ?SELF)
      (EXISTS (?A) (AND (CONVENTIONAL-GOAL ?SELF ?A) (EDUCATION ?A)))))
(DEFINE-CLASS ENVIRONMENTAL-EFFECT-OF-HUMANS (?SELF)
 "A change in the natural environment that is a result of the activities of 
human beings."
 :DEF
 (AND (*HUMAN-CAUSED-PHENOMENON-OR-PROCESS ?SELF)
      (EXISTS (?A) (AND (ALTERS ?SELF ?A) (NATURAL-ENVIRONMENT ?A)))))
(DEFINE-CLASS EXERCISE (?SELF)
:DEF (HUMAN-ACTIVITY ?SELF))
(DEFINE-CLASS EXPERIMENTAL-RESULT (?SELF)
:DEF
 (AND (INFORMATION ?SELF)
      (EXISTS (?A) (AND (OUTCOME-OF ?SELF ?A) (EXPERIMENTATION ?A)))))
(DEFINE-CLASS EXPERIMENTATION (?SELF)
:DEF
 (OCCUPATIONAL-ACTIVITY ?SELF))
(DEFINE-CLASS FAMILY (?SELF)
:DEF
 (AND (SOCIAL-OBJECT ?SELF)
      (EXISTS (?A)
              (AND (MEREOLOGICAL-MEMBER ?SELF ?A)
                   (AND (PHYSICAL-PERSON ?A)
                        (EXISTS (?B)
                                (AND (FAMILY-RELATIONSHIP ?A ?B)
                                     (PHYSICAL-PERSON ?B))))))))
(DEFINE-CLASS FAMILY-GROUP (?SELF)
 "An individual or individuals classified according to their 
family relationships or relative position in the family unit."
 :DEF
 (AND (GROUP ?SELF)
      (EXISTS (?A)
              (AND (MEREOLOGICAL-MEMBER ?SELF ?A)
                   (AND (PHYSICAL-PERSON ?A)
                        (EXISTS (?B) (FAMILY-RELATIONSHIP ?A ?B)))))))
(DEFINE-CLASS FINANCIAL-STATUS-GROUP (?SELF)
:DEF
 (POPULATION-GROUP ?SELF))
(DEFINE-CLASS GOVERNMENTAL-OR-REGULATORY-ACTIVITY (?SELF)
 "An activity carried out by officially constituted governments, or an 
activity related to the creation or enforcement of the rules or regulations governing some field of 
endeavor."
 :DEF
 (AND (OCCUPATIONAL-ACTIVITY ?SELF)
      (EXISTS (?A) (AND (PERFORMED-BY ?SELF ?A) (OFFICIAL-GOVERNMENT ?A)))
      (EXISTS (?B) (AND (OUTCOME ?SELF ?B) (REGULATION-OR-LAW ?B)))))
(DEFINE-CLASS GROUP (?SELF)
 "A conceptual entity referring to the classification of individuals 
according to certain shared characteristics."
 :DEF
 (AND (SOCIAL-OBJECT ?SELF)
      (EXISTS (?A) (AND (MEREOLOGICAL-MEMBER ?SELF ?A) (PERSON ?A)))
      (VALUE-CARDINALITY ?SELF _DISTRIBUTED 1))
 :CONSTRAINTS
 (AND (EXISTS (?B) (AND (PERFORMS ?SELF ?B) (ACTIVITY ?B)))
      (EXISTS (?C) (AND (EXHIBITS ?SELF ?C) (BEHAVIOR ?C))))
 :AXIOM-DEF
 (PROBLEM GROUP
  "A group is a classification, but it also individuates some collection
of individuals: is it purely abstract or not? we use layers here, and treat it as a social
object, rather than a 'conceptual' stuff (what is not conceptual???)"))
(DEFINE-CLASS GROUP-ATTRIBUTE (?SELF)
 "A conceptual entity which refers to the frequency or 
distribution of certain characteristics or phenomena in certain groups."
 :DEF
 (AND (NOTION ?SELF)
      (EXISTS (?A) (AND (GENERIC-ASSOCIATION ?SELF ?A) (GROUP ?A))))
 :AXIOM-DEF (MAPPING GROUP-ATTRIBUTE "Look at Metathesaurus instances!"))
(DEFINE-CLASS INDIVIDUAL-BEHAVIOR (?SELF)
 "Behavior exhibited by a human or an animal that is not a direct result of 
interaction with other members of the species, but which may have an effect on others."
 :DEF
 (AND (BEHAVIOR ?SELF)
      (VALUE-TYPE ?SELF DIRECT-RESULT-OF INCOHERENT))
 :CONSTRAINTS (VALUE-TYPE ?SELF PART-OF SOCIAL-BEHAVIOR)
)
(DEFINE-CLASS INSTITUTION (?SELF)
:DEF (ORGANIZATION ?SELF))
(DEFINE-CLASS INSTITUTIONAL-ACTIVITY (?SELF)
:DEF
 (AND (OCCUPATIONAL-ACTIVITY ?SELF)
      (EXISTS (?A) (AND (PERFORMED-BY ?SELF ?A) (INSTITUTION ?A)))))
(DEFINE-CLASS LEGISLATIVE-ACTIVITY (?SELF)
:DEF
 (AND (INSTITUTIONAL-ACTIVITY ?SELF)
      (EXISTS (?A) (AND (PERFORMED-BY ?SELF ?A) (LEGISLATOR ?A)))))
(DEFINE-CLASS LEGISLATOR (?SELF)
:DEF
 (AND (INSTITUTION ?SELF)
      (EXISTS (?A) (AND (PART-OF ?SELF ?A) (OFFICIAL-GOVERNMENT ?A)))))
(DEFINE-CLASS LIVING-PLACE-GROUP (?SELF)
:DEF
 (POPULATION-GROUP ?SELF))
(DEFINE-CLASS MEMBER-OF-ORGANIZATION (?SELF)
:IFF-DEF
 (AND (PERSON ?SELF)
      (EXISTS (?A) (AND (MEREOLOGICAL-MEMBER-OF ?SELF ?A) (ORGANIZATION ?A))))
 :AXIOM-DEF (THE-ARCHETYPE MEMBER-OF-ORGANIZATION REIFIED-ROLE))
(DEFINE-CLASS NATURAL-ENVIRONMENT (?SELF)
:DEF (REGION ?SELF))
(DEFINE-CLASS OCCUPATIONAL-ACTIVITY (?SELF)
 "An activity carried out as part of an occupation or job." :DEF
 (AND (ACTIVITY ?SELF)
      (EXISTS (?A)
              (AND (CONVENTIONAL-WITHIN ?SELF ?A)
                   (OCCUPATION-OR-DISCIPLINE ?A))))
 :CONSTRAINTS
 (FORALL (?B)
  (=> (SUPPORTS ?SELF ?B) (OR (OCCUPATIONAL-ACTIVITY ?B) (PROCEDURE ?B)))))
(DEFINE-CLASS OFFICIAL-GOVERNMENT (?SELF)
:DEF (INSTITUTION ?SELF))
(DEFINE-CLASS ORGANIZATION (?SELF)
 "The result of uniting for a common purpose or function. The continued existence 
of an organization is not dependent on any of its members, its location, or particular facility. 
Components or subparts of organizations are also included here."
 :DEF
 (AND (SOCIAL-OBJECT ?SELF)
      (EXISTS (?A) (AND (PERFORMS ?SELF ?A) (OCCUPATIONAL-ACTIVITY ?A)))
      (MINIMUM-SLOT-CARDINALITY ?SELF COMMON-GOAL 1))
 :CONSTRAINTS
 (FORALL (?B)
  (=> (PRODUCTION-HOST-OF ?SELF ?B)
   (OR (ORGANIZATION ?B) (INTELLECTUAL-PRODUCT ?B))))
 :AXIOM-DEF
 (PROBLEM ORGANIZATION
  "Components or subparts of organizations should not be included here, unless they are
organizations as well. Probably, USN modellers have the latter meaning in mind.")
)
(DEFINE-CLASS PERSON (?SELF)
:DEF
 (AND (SOCIAL-OBJECT ?SELF) (EXISTS (?A) (AND (PERFORMS ?SELF ?A) (ACT ?A))))
 :CONSTRAINTS (EXISTS (?B) (AND (INTERACTS-WITH ?SELF ?B) (SOCIAL-OBJECT ?B))))
(DEFINE-CLASS PHYSICAL-PERSON (?SELF)
:DEF
 (AND (PERSON ?SELF)
      (EXISTS (?A) (AND (STRICTLY-DEPENDS-ON ?SELF ?A) (ORGANISM ?A)))))
(DEFINE-CLASS POPULATION-GROUP (?SELF)
 "An individual or individuals classified according to their sex, racial origin, 
religion, common place of living, financial or social status, or some other cultural or behavioral attribute."
 :DEF (GROUP ?SELF) :AXIOM-DEF
 (PROBLEM POPULATION-GROUP
  "Here they define population in general, which is a quite complex concept to model
-probably a meta-category?. Criteria of population classification are listed extensionally."))
(DEFINE-CLASS PROFESSIONAL-OR-OCCUPATIONAL-GROUP (?SELF)
 "An individual or individuals classified according to their vocation." :DEF
 (AND (GROUP ?SELF)
      (EXISTS (?A) (AND (CARRIES-ON ?SELF ?A) (OCCUPATION-OR-DISCIPLINE ?A))))
 :CONSTRAINTS (VALUE-TYPE ?SELF MANAGES ORGANIZATION))
(DEFINE-CLASS PROFESSIONAL-SOCIETY (?SELF)
 "An organization uniting those who have a common vocation or who are involved 
with a common field of study."
 :DEF
 (AND (ORGANIZATION ?SELF)
      (EXISTS (?A)
              (AND (MEREOLOGICAL-MEMBER ?SELF ?A)
                   (AND (PHYSICAL-PERSON ?A)
                        (EXISTS (?B)
                                (AND (MEREOLOGICAL-MEMBER-OF ?A ?B)
                                     (PROFESSIONAL-OR-OCCUPATIONAL-GROUP
                                      ?B))))))))
(DEFINE-CLASS RACE-GROUP (?SELF)
:DEF (POPULATION-GROUP ?SELF))
(DEFINE-CLASS RECREATION (?SELF)
:DEF (HUMAN-ACTIVITY ?SELF))
(DEFINE-CLASS REGULATION-OR-LAW (?SELF)
 "An intellectual product resulting from legislative or regulatory activity."
 :DEF
 (AND (TEXT ?SELF)
      (EXISTS (?A)
              (AND (OUTCOME-OF ?SELF ?A)
                   (OR (LEGISLATIVE-ACTIVITY ?A) (REGULATORY-ACTIVITY ?A))))
      (EXISTS (?B) (AND (AFFECTS ?SELF ?B) (OR (ORGANIZATION ?B) (GROUP ?B))))))
(DEFINE-CLASS REGULATORY-ACTIVITY (?SELF)
:DEF
 (INSTITUTIONAL-ACTIVITY ?SELF))
(DEFINE-CLASS RELIGIOUS-GROUP (?SELF)
:DEF (POPULATION-GROUP ?SELF))
(DEFINE-CLASS RESEARCH-ACTIVITY (?SELF)
 "An activity carried out as part of research or experimentation." :DEF
 (AND (OCCUPATIONAL-ACTIVITY ?SELF)
      (EXISTS (?A) (AND (CONVENTIONAL-WITHIN ?SELF ?A) (RESEARCH ?A))))
 :CONSTRAINTS
 (VALUE-TYPE ?SELF INSTRUMENT RESEARCH-DEVICE))
(DEFINE-CLASS SEX-GROUP (?SELF)
:DEF (POPULATION-GROUP ?SELF))
(DEFINE-CLASS SOCIAL-BEHAVIOR (?SELF)
 "Behavior that is a direct result or function of the interaction of 
humans or animals with their fellows."
 :DEF
 (AND (BEHAVIOR ?SELF)
      (VALUE-CARDINALITY ?SELF _SOCIAL 1)
      (EXISTS (?A) (AND (DIRECT-RESULT-OF ?SELF ?A) (SOCIAL-INTERACTION ?A))))
 :CONSTRAINTS (VALUE-TYPE ?SELF PART-OF SOCIAL-BEHAVIOR))
(DEFINE-CLASS SOCIAL-INTERACTION (?SELF)
:IFF-DEF
 (AND (ACTIVITY ?SELF) (EXISTS (?A) (AND (PERFORMED-BY ?SELF ?A) (PERSON ?A)))))
(DEFINE-CLASS SOCIAL-ROLE (?SELF)
:DEF (SOCIAL-OBJECT ?SELF)
 :AXIOM-DEF (THE-ARCHETYPE SOCIAL-ROLE REIFIED-ROLE))