Theory TRIAD-MINI-VOCAB

• Last modified: Sunday, 11 September 1994
• Source code: Triad.lisp
• List of other known theories

Theory documentation:

The theory defining the terms and relations of the triad medical vocabulary.

Theories included by Triad-Mini-Vocab:

  Frame-Ontology
  Slot-Constraint-Sugar

No theories include Triad-Mini-Vocab.

10 classes defined:

    Entity
       Procedure
          Diagnostic-Procedure
             Laboratory-Diagnostic-Procedure
                Single-Result-Laboratory-Test
                Multi-Component-Laboratory-Procedure
          Analytic-Technique
    Finding
    Measurable-Substance
    Specimen

11 relations defined:

  Code
  Has-Component-Tests
  Has-Finding
  Has-Specimen
  Has-Units
  Measures
  Print-Name
  Snomed-Code
  Synonym
  Umls-Code
  Units

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
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Integer defined as a class in theory Kif-Numbers
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Slot-Value-Type defined as a relation in theory Frame-Ontology
• String defined as a class in theory Kif-Extensions
• Subclass-Of defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.