UNSAVED Ontology DOCUMENTS-2

Last modified: Wednesday, 8 November 1995
Generality: High
Maturity: Low
I/O Syntax: Case Insensitive
Source code: documents-2.lisp

Ontology documentation:

Not supplied yet.

Notes for Documents-2:

Summary of Documents-2:

Documents-2 includes the following ontologies:

    Slot-Constraint-Sugar
       Frame-Ontology
          Kif-Relations
             Kif-Sets
             Kif-Lists
                Kif-Numbers
          Kif-Extensions
             Kif-Sets
             Kif-Lists ...
             Kif-Numbers
             Kif-Relations ...
          Kif-Meta
             Kif-Sets
             Kif-Lists ...
    Frame-Ontology ...
    Agents
       Slot-Constraint-Sugar ...
       Frame-Ontology ...
    Simple-Time
       Frame-Ontology ...
       Slot-Constraint-Sugar ...
       Ranges
          Frame-Ontology ...

No ontologies include Documents-2.

Class hierarchy (21 classes defined):

    Author
    Document
       Book
          Edited-Book
       Miscellaneous-Publication
          Artwork
          Cartographic-Map
          Computer-Program
          Multimedia-Document
          Technical-Manual
       Periodical-Publication
          Journal
          Magazine
          Newspaper
       Proceedings
       Technical-Document
          Thesis
             Doctoral-Thesis
             Masters-Thesis
       Technical-Report
    Title

4 relations defined:

Has-Author Has-Editor Has-Series-Editor Has-Translator

7 functions defined:

Conference-Of Number-Of-Pages-Of Organization-Of Publication-Date-Of Publisher-Of Series-Title-Of Title-Of

No instances defined.

11 unnamed axioms defined.

No named axioms defined.

21 classes defined:

Artwork Author Book Cartographic-Map Computer-Program Doctoral-Thesis Document Edited-Book Journal Magazine Masters-Thesis Miscellaneous-Publication Multimedia-Document Newspaper Periodical-Publication Proceedings Technical-Document Technical-Manual Technical-Report Thesis Title

:
: