Library of ontologies

Theories defined:

• Abstract-Algebra
• Cml
• Configuration-Design
• Dme
• Frame-Ontology
• Generic-Bibliography
• Jat-Generic
• Job-Assignment-Task
• Kif-Lists
• Kif-Meta
• Kif-Numbers
• Kif-Ontology
• Kif-Relations
• Kif-Sets
• Physical-Quantities
• Scalar-Quantities
• Simple-Bikes
• Slot-Constraint-Sugar
• Standard-Units
• Thermodynamics
• Unary-Scalar-Functions
• User-Theory
• Vector-Quantities
• Vt-Design
• Vt-Domain
• Vt-Example

Related documents

• Ontolingua Reference Manual
• Configuration-design-intro.text
• Engineering-math.text
• Kif-misc.lisp
• Spring-example-1.text
• Spring-example-2.text