Library of Ontologies Table of Contents
These documents are indexed so that
references to formal terms point to their definitions. They serve as
introductions and reference manuals for the ontologies.
Below are the ontologies listed in alphabetical order, with the date of last modification.
3d-Tensor-Quantities 1 July 1994 (3 definitions)
Abstract-Algebra 2 May 1994 (25 definitions)
Basic-Matrix-Algebra 5 July 1994 (26 definitions)
Bibliographic-Data 27 September 1994 (142 definitions)
Cml 22 September 1994 (38 definitions)
Component-Assemblies 7 September 1994 (9 definitions)
Components-With-Constraints 30 July 1994 (7 definitions)
Device-Theory 6 December 1994 (39 definitions)
Dme-Cml 16 September 1994 (7 definitions)
Dme-Kb 25 August 1994 (141 definitions)
Frame-Ontology 25 November 1994 (63 definitions)
Interval-Theory No source file available (0 definitions)
Jat-Generic 29 April 1994 (81 definitions)
Job-Assignment-Task 29 June 1993 (20 definitions)
Kif-Extensions 5 October 1994 (11 definitions)
Kif-Lists 6 June 1994 (23 definitions)
Kif-Meta 10 July 1994 (39 definitions)
Kif-Numbers 8 April 1994 (89 definitions)
Kif-Relations 8 April 1994 (18 definitions)
Kif-Sets 8 September 1994 (32 definitions)
Mace-Domain 10 July 1994 (26 definitions)
Mechanical-Components 10 July 1994 (8 definitions)
National-Semiconductor-Product-Theory 6 December 1994 (53 definitions)
Parametric-Constraints 31 July 1994 (24 definitions)
Physical-Quantities 6 December 1994 (27 definitions)
Product-Theory 6 December 1994 (41 definitions)
Quantity-Spaces 31 July 1994 (3 definitions)
Scalar-Quantities 1 July 1994 (8 definitions)
Simple-Geometry 5 July 1994 (8 definitions)
Slot-Constraint-Sugar 5 July 1994 (18 definitions)
Standard-Dimensions 4 December 1994 (17 definitions)
Standard-Units 6 December 1994 (40 definitions)
Tensor-Quantities 21 September 1994 (25 definitions)
Thermal-System 2 August 1994 (394 definitions)
Unary-Scalar-Functions 5 July 1994 (15 definitions)
User-Theory No source file available (0 definitions)
Vt-Design 30 July 1994 (12 definitions)
Vt-Domain 27 September 1994 (769 definitions)
Vt-Example 3 November 1993 (1 definitions)
Below is the lattice of ontologies in this library. Each ontology defines a
set of formal terms. Ontologies include (import from) other
ontologies. Terms in an included ontology are in the namespace of the ontologies
that include it. In the lattice below, an ontology includes those
ontologies that it is indented under.
Kif-Sets
Kif-Relations
Kif-Extensions
Frame-Ontology
Slot-Constraint-Sugar
Bibliographic-Data
Product-Theory
Device-Theory
National-Semiconductor-Product-Theory
Product-Theory ...
Dme-Kb
Bibliographic-Data ...
Component-Assemblies
Dme-Cml
Thermal-System
Components-With-Constraints
Mace-Domain
Vt-Design
Vt-Domain
Vt-Example
Mechanical-Components
Mace-Domain
Parametric-Constraints
Components-With-Constraints ...
Abstract-Algebra
Physical-Quantities
Quantity-Spaces
Simple-Geometry
Mechanical-Components ...
Scalar-Quantities
Unary-Scalar-Functions
Cml
Dme-Cml ...
Thermal-System
Mace-Domain
Tensor-Quantities
3d-Tensor-Quantities
Simple-Geometry ...
Vt-Design ...
Product-Theory ...
Standard-Dimensions
Unary-Scalar-Functions ...
Simple-Geometry ...
Standard-Units
Product-Theory ...
Vt-Design ...
Basic-Matrix-Algebra
Tensor-Quantities ...
Jat-Generic
Job-Assignment-Task
Product-Theory ...
Frame-Ontology ...
Kif-Meta
Parametric-Constraints ...
Kif-Extensions ...
Kif-Numbers
Kif-Lists
Kif-Relations ...
Kif-Meta ...
Kif-Extensions ...
Kif-Extensions ...
User-Theory
Interval-Theory
Dme-Kb
This file was generated by Ontolingua on Tuesday, 6 December 1994