Theory PRODUCT-THEORY

• Last modified: Tuesday, 6 December 1994
• Source code: product-theory.lisp
• List of all known theories

Theory documentation:

The general product ontology defines the terms used for describing products, objects that are typically bought and sold.

Cross Reference Report:

Theories included by Product-Theory:

  Bibliographic-Data
  Frame-Ontology
  Scalar-Quantities
  Slot-Constraint-Sugar
  Standard-Units

Theories that include Product-Theory:

  Device-Theory

22 classes defined:

    Agreement
       Purchasing-Agreement
       Service-Agreement
       Warranty
    Corporation
    Currency-Quantity
    Discount
       Government-Discount
       Quantity-Discount
       School-Discount
    Functional-Document
    Installation-Document
    Maintenance
    Model-Number
    Obligation
    Product
       Service
          Installation
       Service-Agreement
       Tangible-Product
    Support-Response
    Support-Service-Type
    Use-Document

12 relations defined:

  Agreeing-Agents
  Associated-Documents
  Buyer
  Currency-Transferred
  Has-Model-Number
  Has-Special-Discount
  Has-Support-Response
  List-Price
  Object-Sold
  Obligation-In
  Seller
  Support-For

2 functions defined:

  Maximum-Storage-Temperature
  Minimum-Storage-Temperature

5 instances defined:

  On-Site-4-Hrs
  On-Site-8-Hrs
  Return-To-Vendor
  Us-Cent
  Us-Dollar

22 classes defined:

  Agreement
  Corporation
  Currency-Quantity
  Discount
  Functional-Document
  Government-Discount
  Installation
  Installation-Document
  Maintenance
  Model-Number
  Obligation
  Product
  Purchasing-Agreement
  Quantity-Discount
  School-Discount
  Service
  Service-Agreement
  Support-Response
  Support-Service-Type
  Tangible-Product
  Use-Document
  Warranty

All constants that were mentioned were defined.

The following constants are defined in this theory and in an included theory without the definition in this theory being polymorphic:

• Us-Dollar defined in Standard-Units
• Us-Cent defined in Standard-Units