Class CITY-ADDRESS

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

Slots on this class:

Documentation:

A city-address is a string that identifies a city somewhere in the world. We distinguish it from other names to facilitate integrating it with ontologies that include representations for locations and alternative ways of identifying places.

Instance-Of: Class

Subclass-Of: Biblio-name

Range-Of: Conf.address, Publisher.address, Ref.address

Other Related Axioms:

(=> (Publisher.Address $X $Y) (City-Address $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Conference
                       Conf.Address
                       City-Address)

(=> (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.Address $X $Y) (City-Address $Y))

(=> (Ref.Address $X $Y) (City-Address $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Newspaper-Article-Reference
                       Ref.Address
                       City-Address)

(=> (Newspaper-Article-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Newspaper)
         (Value-Cardinality ?Ref Ref.Newspaper-Name 1)
         (Same-Values ?Ref Ref.Magazine-Name Ref.Periodical)
         (Value-Cardinality ?Ref Ref.Month 1)
         (Value-Cardinality ?Ref Ref.Day 1)
         (Value-Type ?Ref Ref.Address City-Address)))