;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; Classes
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           person class)
    (isa           person thing)
    (predicate     person person.instance)
    (attribute     person person.firstname)
    (attribute     person person.lastname)
    (attribute     person person.status)
    (attribute     person person.affiliation)
    (attribute     person person.administrator)
    (attribute     person person.office)
    (attribute     person person.telephone)
    (attribute     person person.email)
    (attribute     person person.url)

    (isa           person.instance predicaterelation)
    (isa           person.instance relation)
    (isa           person.instance thing)
    (arity         person.instance 1)

    (isa           person.lastname attributerelation)
    (isa           person.lastname relation)
    (isa           person.lastname thing)
    (arity         person.lastname 2)
    (domain        person.lastname person)
    (range         person.lastname string)
    (unique        person.lastname no)
    (total         person.lastname yes)
    (createstyle   person.lastname stringfield)
    (changestyle   person.lastname stringfield)
    (searchstyle   person.lastname stringfield)
    (comparestyle  person.lastname glyph)
    (inspectstyle  person.lastname glyph)
    (prettyname    person.lastname "Lastname")
    (documentation person.lastname "Lastname: Family name of a person.")

    (isa           person.firstname attributerelation)
    (isa           person.firstname relation)
    (isa           person.firstname thing)
    (arity         person.firstname 2)
    (domain        person.firstname person)
    (range         person.firstname string)
    (unique        person.firstname no)
    (total         person.firstname no)
    (createstyle   person.firstname stringfield)
    (changestyle   person.firstname stringfield)
    (searchstyle   person.firstname stringfield)
    (comparestyle  person.firstname glyph)
    (inspectstyle  person.firstname glyph)
    (prettyname    person.firstname "Firstname")
    (documentation person.fistname "Firstname: Given name of a person.")

    (isa           person.status attributerelation)
    (isa           person.status relation)
    (isa           person.status thing)
    (arity         person.status 2)
    (domain        person.status person)
    (range         person.status status)
    (unique        person.status no)
    (total         person.status yes)
    (createstyle   person.status dropdownlist)
    (changestyle   person.status dropdownlist)
    (searchstyle   person.status dropdownlist)
    (comparestyle  person.status glyph)
    (inspectstyle  person.status glyph)
    (option        person.status faculty)
    (option        person.status staff)
    (option        person.status student)
    (prettyname    person.status "Status")

    (isa           person.affiliation attributerelation)
    (isa           person.affiliation relation)
    (isa           person.affiliation thing)
    (arity         person.affiliation 2)
    (domain        person.affiliation person)
    (range         person.affiliation group)
    (unique        person.affiliation no)
    (total         person.affiliation yes)
    (createstyle   person.affiliation dropdownlist)
    (changestyle   person.affiliation dropdownlist)
    (searchstyle   person.affiliation dropdownlist)
    (comparestyle  person.affiliation glyph)
    (inspectstyle  person.affiliation glyph)
    (prettyname    person.affiliation "Affiliation")
    (documentation person.affiliation "Affiliation: The group with which a person is affiliated.")

    (isa           person.administrator attributerelation)
    (isa           person.administrator relation)
    (isa           person.administrator thing)
    (arity         person.administrator 2)
    (domain        person.administrator person)
    (range         person.administrator person)
    (unique        person.administrator no)
    (total         person.administrator yes)
    (createstyle   person.administrator dropdownlist)
    (changestyle   person.administrator dropdownlist)
    (searchstyle   person.administrator dropdownlist)
    (comparestyle  person.administrator noshow)
    (inspectstyle  person.administrator glyph)
    (prettyname    person.administrator "Administrator")
    (documentation person.administrator "Administrator: The administrator or or the secretary of a person.")

    (isa           person.office attributerelation)
    (isa           person.office relation)
    (isa           person.office thing)
    (arity         person.office 2)
    (domain        person.office person)
    (range         person.office office)
    (unique        person.office no)
    (total         person.office no)
    (createstyle   person.office dropdownlist)
    (changestyle   person.office dropdownlist)
    (searchstyle   person.office dropdownlist)
    (comparestyle  person.office noshow)
    (inspectstyle  person.office glyph)
    (prettyname    person.office "Office")
    (documentation person.office "Office: Office of a person.")

    (isa           person.telephone attributerelation)
    (isa           person.telephone relation)
    (isa           person.telephone thing)
    (arity         person.telephone 2)
    (domain        person.telephone person)
    (range         person.telephone string)
    (unique        person.telephone no)
    (total         person.telephone no)
    (createstyle   person.telephone stringfield)
    (changestyle   person.telephone stringfield)
    (searchstyle   person.telephone stringfield)
    (comparestyle  person.telephone noshow)
    (inspectstyle  person.telephone glyph)
    (searchdefault person.telephone "@cs.stanford.edu")
    (prettyname    person.telephone "Telephone")
    (documentation person.telephone "Telephone: Office telephone number of the person.")

    (isa           person.email attributerelation)
    (isa           person.email relation)
    (isa           person.email thing)
    (arity         person.email 2)
    (domain        person.email person)
    (range         person.email string)
    (unique        person.email no)
    (total         person.email yes)
    (createstyle   person.email stringfield)
    (changestyle   person.email stringfield)
    (searchstyle   person.email stringfield)
    (comparestyle  person.email noshow)
    (inspectstyle  person.email glyph)
    (searchdefault person.email "@cs.stanford.edu")
    (prettyname    person.email "Email")
    (documentation person.email "Email: Email address of the person.")

    (isa           person.url attributerelation)
    (isa           person.url relation)
    (isa           person.url thing)
    (arity         person.url 2)
    (domain        person.url person)
    (range         person.url string)
    (unique        person.url yes)
    (total         person.url no)
    (createstyle   person.url stringfield)
    (changestyle   person.url stringfield)
    (searchstyle   person.url stringfield)
    (comparestyle  person.url noshow)
    (inspectstyle  person.url glyph)
    (prettyname    person.url "URL")
    (documentation person.url "URL: A WWW pointer to a description of a person.")

    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           group class)
    (predicate     group group.instance)
    (attribute     group group.name)
    (attribute     group group.director)
    (attribute     group group.url)

    (isa           group.instance predicaterelation)
    (isa           group.instance relation)
    (isa           group.instance thing)
    (arity         group.instance 1)

    (isa           group.name attributerelation)
    (isa           group.name relation)
    (isa           group.name thing)
    (arity         group.name 2)
    (domain        group.name group)
    (range         group.name string)
    (unique        group.name yes)
    (total         group.name no)
    (createstyle   group.name stringfield)
    (changestyle   group.name stringfield)
    (searchstyle   group.name stringfield)
    (comparestyle  group.name glyph)
    (inspectstyle  group.name glyph)
    (prettyname    group.name "Name")

    (isa           group.director attributerelation)
    (isa           group.director relation)
    (isa           group.director thing)
    (arity         group.director 2)
    (domain        group.director group)
    (range         group.director person)
    (unique        group.director no)
    (total         group.director yes)
    (createstyle   group.director dropdownlist)
    (changestyle   group.director dropdownlist)
    (searchstyle   group.director dropdownlist)
    (comparestyle  group.director glyph)
    (inspectstyle  group.director glyph)
    (prettyname    group.director "Director")

    (isa           group.url attributerelation)
    (isa           group.url relation)
    (isa           group.url thing)
    (arity         group.url 2)
    (domain        group.url group)
    (range         group.url string)
    (unique        group.url yes)
    (total         group.url no)
    (createstyle   group.url stringfield)
    (changestyle   group.url stringfield)
    (searchstyle   group.url stringfield)
    (comparestyle  group.url noshow)
    (inspectstyle  group.url glyph)
    (prettyname    group.url "URL")

    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           classroom class)
    (predicate     classroom classroom.instance)
    (attribute     classroom classroom.feature)
    (attribute     classroom classroom.floor)
    (attribute     classroom classroom.capacity)
    (attribute     classroom classroom.contact)
    (attribute     classroom classroom.backup)
    (attribute     classroom classroom.telephone)

    (isa           classroom.instance predicaterelation)
    (isa           classroom.instance relation)
    (isa           classroom.instance thing)
    (arity         classroom.instance 1)

    (isa           classroom.feature attributerelation)
    (isa           classroom.feature relation)
    (isa           classroom.feature thing)
    (arity         classroom.feature 2)
    (domain        classroom.feature classroom)
    (range         classroom.feature feature)
    (unique        classroom.feature no)
    (total         classroom.feature no)
    (createstyle   classroom.feature dropdownlist)
    (changestyle   classroom.feature dropdownlist)
    (searchstyle   classroom.feature dropdownlist)
    (comparestyle  classroom.feature glyph)
    (inspectstyle  classroom.feature glyph)
    (option        classroom.feature computer)
    (option        classroom.feature computer-projector)
    (option        classroom.feature overhead-projector)
    (option        classroom.feature slide-projector)
    (option        classroom.feature tv)
    (option        classroom.feature vcr)
    (prettyname    classroom.feature "Feature")
    (documentation classroom.feature "Classroom Feature: Multimedia capability available in a classroom.</P>")

    (isa           classroom.telephone attributerelation)
    (isa           classroom.telephone relation)
    (isa           classroom.telephone thing)
    (arity         classroom.telephone 2)
    (domain        classroom.telephone classroom)
    (range         classroom.telephone string)
    (unique        classroom.telephone no)
    (total         classroom.telephone no)
    (createstyle   classroom.telephone stringfield)
    (changestyle   classroom.telephone stringfield)
    (searchstyle   classroom.telephone stringfield)
    (comparestyle  classroom.telephone glyph)
    (inspectstyle  classroom.telephone glyph)
    (prettyname    classroom.telephone "Telephone")
    (documentation classroom.telephone "Telephone: Telephone number of the phone in the room.")

    (isa           classroom.floor attributerelation)
    (isa           classroom.floor relation)
    (isa           classroom.floor thing)
    (arity         classroom.floor 2)
    (domain        classroom.floor classroom)
    (range         classroom.floor floor)
    (unique        classroom.floor yes)
    (total         classroom.floor yes)
    (createstyle   classroom.floor dropdownlist)
    (changestyle   classroom.floor dropdownlist)
    (searchstyle   classroom.floor dropdownlist)
    (comparestyle  classroom.floor glyph)
    (inspectstyle  classroom.floor glyph)
    (option        classroom.floor basement)
    (option        classroom.floor firstfloor)
    (option        classroom.floor secondfloor)
    (option        classroom.floor thirdfloor)
    (option        classroom.floor fourthfloor)
    (prettyname    classroom.floor "Floor")
    (documentation classroom.floor "Classroom Floor: Floor on which a meeting room is located.")

    (isa           classroom.capacity attributerelation)
    (isa           classroom.capacity relation)
    (isa           classroom.capacity thing)
    (arity         classroom.capacity 2)
    (domain        classroom.capacity classroom)
    (range         classroom.capacity number)
    (unique        classroom.capacity yes)
    (total         classroom.capacity yes)
    (createstyle   classroom.capacity typein)
    (changestyle   classroom.capacity typein)
    (searchstyle   classroom.capacity interval)
    (comparestyle  classroom.capacity glyph)
    (inspectstyle  classroom.capacity glyph)
    (prettyname    classroom.capacity "Capacity")
    (documentation classroom.capacity "Classroom Capacity: The number of people that fit in a classroom.")

    (isa           classroom.contact attributerelation)
    (isa           classroom.contact relation)
    (isa           classroom.contact thing)
    (arity         classroom.contact 2)
    (domain        classroom.contact classroom)
    (range         classroom.contact person)
    (unique        classroom.contact yes)
    (total         classroom.contact yes)
    (createstyle   classroom.contact dropdownlist)
    (changestyle   classroom.contact dropdownlist)
    (searchstyle   classroom.contact dropdownlist)
    (comparestyle  classroom.contact glyph)
    (inspectstyle  classroom.contact glyph)
    (prettyname    classroom.contact "Contact")
    (documentation classroom.contact "Classroom Contact: The main contact for a classroom.  When a reservation is made in the system the contact receives a notification through an email.")

    (isa           classroom.backup attributerelation)
    (isa           classroom.backup relation)
    (isa           classroom.backup thing)
    (arity         classroom.backup 2)
    (domain        classroom.backup classroom)
    (range         classroom.backup person)
    (unique        classroom.backup yes)
    (total         classroom.backup yes)
    (createstyle   classroom.backup dropdownlist)
    (changestyle   classroom.backup dropdownlist)
    (searchstyle   classroom.backup dropdownlist)
    (comparestyle  classroom.backup noshow)
    (inspectstyle  classroom.backup glyph)
    (prettyname    classroom.backup "Backup")
    (documentation classroom.backup "Classroom Backup: The backup contact for a classroom.  When a reservation is made in the system the backup contact receives a notification through an email.")

    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           office class)
    (predicate     office office.instance)
    (attribute     office office.occupant)

    (isa           office.instance predicaterelation)
    (isa           office.instance relation)
    (isa           office.instance thing)
    (arity         office.instance 1)

    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           feature class)
    (predicate     feature feature.instance)

    (isa           feature.instance predicaterelation)
    (isa           feature.instance relation)
    (isa           feature.instance thing)
    (arity         feature.instance 1)

    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           floor class)
    (predicate     floor floor.instance)

    (isa           floor.instance predicaterelation)
    (isa           floor.instance relation)
    (isa           floor.instance thing)
    (arity         floor.instance 1)

    ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

    (isa           status class)
    (predicate     status status.instance)
    (attribute     status status.person)

    (isa           status.instance predicaterelation)
    (isa           status.instance relation)
    (isa           status.instance thing)
    (arity         status.instance 1)

    (isa           status.person attributerelation)
    (isa           status.person relation)
    (isa           status.person thing)
    (arity         status.person 2)
    (domain        status.person status)
    (range         status.person person)
    (unique        status.person no)
    (total         status.person yes)
    (createstyle   status.person dropdownlist)
    (changestyle   status.person dropdownlist)
    (searchstyle   status.person dropdownlist)
    (comparestyle  status.person glyph)
    (inspectstyle  status.person glyph)
    (prettyname    status.person "Person")
    (documentation status.person "Status Person: Person who has a given status.")