Theory DIAGRAMS

• Last modified: Saturday, 23 December 2000
• Source code: Diagrams.lisp
• List of other known theories

Theory documentation:

Theories included by Diagrams:

  Representation

Theories that include Diagrams:

  Planning

22 classes defined:

    Diagram
       Flow-Chart
       Petri-Net
       State-Transition-Diagram
       Table
          Look-Up-Table
    Diagram-Object
       Fc-Node
          Cycle-Node
          Fork-Node
          Join-Node
          Simple-Node
       Pn-Arrow
       Pn-Bar
       Pn-Circle
       Std-Arrow
       Std-Circle
    Flow-Chart-Component
       The-First-Node
       The-Last-Node
    Graph
    Graph-Theory

10 relations defined:

  Diagram-Direct-Predecessor
  Diagram-Direct-Successor
  Diagram-Predecessor
  Diagram-Subdivision
  Diagram-Subdivision-Of
  Diagram-Successor
  First-Node
  First-Node-Of
  Last-Node
  Last-Node-Of

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Document defined as a class in theory Representation
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Icon defined as a class in theory Representation
• Inverse defined as a function in theory Kif-Relations
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Range defined as a relation in theory Frame-Ontology
• Reified-Property defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• Representation-Relation defined as a relation in theory Structuring-Concepts
• Represented-By defined as a relation in theory Representation
• Represents defined as a relation in theory Representation
• Strictly-Depends-On defined as a relation in theory Dependence
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subclass-Partition defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Theory defined as a class in theory Representation
• Thing defined as a class in theory Frame-Ontology
• Time-Span defined as a class in theory Top-Level
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology
• Visual-Document defined as a class in theory Representation
• _Formal defined as a relation in theory Assessment
• _Structured defined as a relation in theory Assessment

The following constants were used from theories not included:

• *Event defined as a class in theory Procedures
• *Phase defined as a class in theory Procedures
• *State defined as a class in theory Procedures
• Part defined as a relation in theory Mereology
• Part-Of defined as a relation in theory Mereology
• Precedes defined as a relation in theory Unrestricted-Time
• The-Archetype defined as a function in theory Built-In-Theory

All constants that were mentioned were defined.