Function ORGANIZATION.NAME

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

Slots on this function:

Documentation:

The name by which organizations go by. One name per place.

Instance-Of: Function

Arity: 2

Domain: Organization

Range: Biblio-name

Subrelation-Of: Agent.name

Other Related Axioms:

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

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

(Subrelation-Of Publisher.Name Organization.Name)

(Inherited-Facet-Value Same-Slot-Values
                       Thesis-Reference
                       Ref.Publisher
                       (Compose Organization.Name Thesis.University))

(=> (Thesis-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Thesis)
         (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Thesis.University))))

(Inherited-Facet-Value Same-Slot-Values
                       Technical-Report-Reference
                       Ref.Publisher
                       (Compose Organization.Name Doc.Institution))

(=> (Technical-Report-Reference ?Ref)
    (And (Value-Cardinality ?Ref Ref.Publisher 1)
         (Same-Values ?Ref
                      Ref.Publisher
                      (Compose Organization.Name Doc.Institution))))