Class ORGANIZATION

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this class:

Documentation:

An organization is a corporate or similar institution, distinguished from persons and other agents.

Instance-Of: Class

Subclass-Of: Agent

Domain-Of: Organization.name

Range-Of: Conf.organization, Doc.institution, Ref.organization

Superclass-Of: Publisher, University

Other Related Axioms:

(Subclass-Partition Agent (Setof Person Organization))

(=> (Organization.Name $X $Y) (Organization $X))

(Inherited-Facet-Value Slot-Value-Type
                       Conference
                       Conf.Organization
                       Organization)

(=> (Conference ?X)
    (And (Value-Cardinality ?X Conf.Name 1)
         (Value-Type ?X Conf.Name Biblio-Name)
         (Value-Cardinality ?X Conf.Organization 1)
         (Value-Type ?X Conf.Organization Organization)
         (Value-Cardinality ?X Conf.Date 1)
         (Value-Type ?X Conf.Date Calendar-Date)
         (Value-Type ?X Conf.Address City-Address)
         (Maximum-Value-Cardinality ?X Conf.Address 1)))

(=> (Conf.Organization $X $Y) (Organization $Y))

(=> (Doc.Institution $X $Y) (Organization $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Technical-Report
                       Doc.Institution
                       Organization)

(=> (Technical-Report ?X)
    (And (Minimum-Value-Cardinality ?X Doc.Author 1)
         (Value-Cardinality ?X Doc.Title 1)
         (Value-Cardinality ?X Doc.Publication-Date 1)
         (Value-Cardinality ?X Doc.Institution 1)
         (Value-Type ?X Doc.Institution Organization)))

(=> (Ref.Organization $X $Y) (Organization $Y))