Library of Ontologies

Preferred Ontologies

  Documents-2                 8 November 1995  [Unsaved]    (32 definitions)
  Documents-2-Just-Me-Newest  8 November 1995               (32 definitions)
  User-Ontology      No source file available               (0 definitions)

Loaded Ontologies

  3d-Tensor-Quantities                                20 September 1995  [Read only]  (3 definitions)
  Abstract-Algebra                                    20 September 1995  [Read only]  (25 definitions)
  Agents                                                30 October 1995  [Read only]  (8 definitions)
  Basic-Matrix-Algebra                                20 September 1995  [Read only]  (26 definitions)
  Bibliographic-Data                                    30 October 1995  [Read only]  (79 definitions)
  Cml                                                   19 October 1995  [Read only]  (67 definitions)
  Component-Assemblies                                20 September 1995  [Read only]  (9 definitions)
  Components-And-Connections                            7 November 1995  [Read only]  (8 definitions)
  Components-With-Constraints                         20 September 1995  [Read only]  (7 definitions)
  Device-Ontology                                       31 October 1995  [Read only]  (28 definitions)
  Dme-Cml                                             20 September 1995  [Read only]  (9 definitions)
  Documents                                             30 October 1995  [Read only]  (31 definitions)
  Documents-2                                           8 November 1995  [Unsaved]    (32 definitions)
  Documents-2-Just-Me-Newest                            8 November 1995               (32 definitions)
  Frame-Ontology                                        30 October 1995  [Read only]  (66 definitions)
  Hp-Product-Ontology                                   25 October 1995  [Read only]  (124 definitions)
  Interface-Definition-Language                       20 September 1995  [Read only]  (23 definitions)
  Interface-Ontology                                    11 October 1995  [Read only]  (2 definitions)
  Job-Assignment-Task                                   30 October 1995  [Read only]  (20 definitions)
  Kif-Extensions                                      20 September 1995  [Read only]  (11 definitions)
  Kif-Lists                                           20 September 1995  [Read only]  (22 definitions)
  Kif-Meta                                              28 October 1995  [Read only]  (39 definitions)
  Kif-Numbers                                         20 September 1995  [Read only]  (89 definitions)
  Kif-Relations                                       20 September 1995  [Read only]  (18 definitions)
  Kif-Sets                                            20 September 1995  [Read only]  (31 definitions)
  Mace-Domain                                         20 September 1995  [Read only]  (26 definitions)
  Mechanical-Components                               20 September 1995  [Read only]  (8 definitions)
  Parametric-Constraints                              20 September 1995  [Read only]  (24 definitions)
  Physical-Quantities                                 20 September 1995  [Read only]  (28 definitions)
  Product-Ontology                                      31 October 1995  [Read only]  (46 definitions)
  Quantity-Spaces                                     20 September 1995  [Read only]  (3 definitions)
  Ranges                                                27 October 1995  [Read only]  (6 definitions)
  Scalar-Quantities                                   20 September 1995  [Read only]  (8 definitions)
  Simple-Geometry                                     20 September 1995  [Read only]  (8 definitions)
  Simple-Time                                           30 October 1995  [Read only]  (66 definitions)
  Slot-Constraint-Sugar                               20 September 1995  [Read only]  (14 definitions)
  Standard-Dimensions                                    24 August 1995  [Read only]  (28 definitions)
  Standard-Units                                        30 October 1995  [Read only]  (51 definitions)
  Tensor-Quantities                                   20 September 1995  [Read only]  (25 definitions)
  Thermal-System                                        30 October 1995  [Read only]  (394 definitions)
  Unary-Scalar-Functions                              20 September 1995  [Read only]  (14 definitions)
  User-Ontology                                No source file available               (0 definitions)
  Vehicles                                            20 September 1995  [Read only]  (19 definitions)
  Vt-Design                                           20 September 1995  [Read only]  (12 definitions)
  Vt-Domain                                           20 September 1995  [Read only]  (769 definitions)
  Vt-Example                                          20 September 1995  [Read only]  (1 definitions)

Unloaded Ontologies

  Accounting-Information-System   [Not loaded]
  Cars                            [Not loaded]
  Classified-Advertisements       [Not loaded]
  Ieee-Std-1175                   [Not loaded]
  Intermed-March                  [Not loaded]
  Kqml-Aco                        [Not loaded]
  Pif                             [Not loaded]
  Pif-Hc                          [Not loaded]
  Pif-Tz                          [Not loaded]