Ontology KIF-META

• Last modified: Monday, 20 November 1995
• Generality: Very high
• Maturity: Very high
• I/O Syntax: Case Insensitive
• Private by default: No
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-meta.lisp

Ontology documentation:

The KIF vocabulary for representing metalinguistic knowledge.

Notes:

• If you load this file (with translation into the "KIF" implementation -- the default ), then the definitions are saved on property lists and can be used for online documentation and in cross-reference reports.

Summary of Kif-Meta:

No translations

No shadowed words

No public words

No private words

Kif-Meta includes the following ontologies:

    Kif-Sets
    Kif-Lists
       Kif-Numbers

Kif-Meta also references these ontologies:

    Kif-Relations
       Kif-Sets
          Kif-Extensions
             Frame-Ontology
                Interface-Ontology
                   Kif-Numbers
                      Kif-Extensions ...
                      Kif-Relations ...
                      Frame-Ontology ...
                   Kif-Extensions ...
                   Simple-Time
                      Kif-Numbers ...
                      Kif-Relations ...
                      Kif-Sets ...
                      Ranges
                         Kif-Relations ...
                         Frame-Ontology ...
                         Kif-Numbers ...
                      Frame-Ontology ...
                      Slot-Constraint-Sugar
                         Kif-Numbers ...
                         Frame-Ontology ...
                         Kif-Relations ...
                         Kif-Sets ...
                   Agents
                      Kif-Relations ...
                      Kif-Meta
                         Kif-Relations ...
                         Kif-Numbers ...
                         Frame-Ontology ...
                         Kif-Sets ...
                         Kif-Lists
                            Kif-Sets ...
                            Kif-Relations ...
                            Kif-Numbers ...
                            Frame-Ontology ...
                      Frame-Ontology ...
                      Slot-Constraint-Sugar ...
                   Frame-Ontology ...
                   Kif-Relations ...
                Kif-Numbers ...
                Kif-Lists ...
                Kif-Sets ...
                Kif-Meta ...
                Kif-Extensions ...
                Kif-Relations ...
             Kif-Relations ...
             Kif-Numbers ...
             Kif-Lists ...
             Kif-Sets ...
          Kif-Lists ...
          Kif-Relations ...
          Frame-Ontology ...
       Kif-Lists ...
       Kif-Extensions ...
       Frame-Ontology ...
    Frame-Ontology ...

Ontologies that include Kif-Meta:

    Frame-Ontology
       Slot-Constraint-Sugar
          Simple-Time
             Interface-Ontology
                Interface-Definition-Language
                Device-Ontology
                   Hp-Product-Ontology
                      Digital-Designer-Query-Ontology
                      Physicist-Query-Ontology
                Hp-Product-Ontology ...
                Digital-Designer-Query-Ontology
                Physicist-Query-Ontology
             Documents
                Bibliographic-Data
                Product-Ontology
                   Device-Ontology ...
                   Hp-Product-Ontology ...
                   Vehicles
             Bibliographic-Data
             Job-Assignment-Task
             Enterprise-V1.0
          Agents
             Interface-Ontology ...
             Documents ...
             Bibliographic-Data
             Product-Ontology ...
          Documents ...
          Bibliographic-Data
          Product-Ontology ...
       Basic-Matrix-Algebra
          Tensor-Quantities
             3d-Tensor-Quantities
                Simple-Geometry
                   Mechanical-Components
                      Mace-Domain
       Interface-Definition-Language
       Interface-Ontology ...
       Component-Assemblies
          Dme-Cml
          Components-With-Constraints
             Mace-Domain
             Vt-Design
                Vt-Domain
                   Vt-Example
          Mechanical-Components ...
       Ranges
          Simple-Time ...
       Simple-Time ...
       Agents ...
       Documents ...
       Bibliographic-Data
       Abstract-Algebra
          Physical-Quantities
             Standard-Dimensions
                Unary-Scalar-Functions
                   Cml
                      Dme-Cml
                   Mace-Domain
                Standard-Units
                   Cml ...
                   Product-Ontology ...
                   Device-Ontology ...
                Simple-Geometry ...
                Vt-Design ...
             Scalar-Quantities
                Unary-Scalar-Functions ...
                Tensor-Quantities ...
                Vt-Design ...
                Product-Ontology ...
             Quantity-Spaces
                Simple-Geometry ...
             Device-Ontology ...
          Product-Ontology ...
       Parametric-Constraints
          Components-With-Constraints ...
       Job-Assignment-Task
       Product-Ontology ...
       Digital-Designer-Query-Ontology
       Physicist-Query-Ontology
       User-Ontology
       Enterprise-V1.0
    Parametric-Constraints ...

Kif-Meta uses the same ontologies as it includes.

Ontologies using Kif-Meta are the same as those that include it.

Class hierarchy (36 classes defined):

    Expression
       Sentence
          Analytic-Truth
          Logconst
          Logsent
             Conjunction
             Disjunction
             Equivalence
             Implication
             Negation
             Reverse-Implication
          Quantsent
          Relsent
             Equation
             Inequality
          Truth
       Term
          Funterm
          Listterm
          Logterm
          Quanterm
          Quoterm
          Setterm
       Word
          Constant
             Funconst
             Objconst
             Relconst
          Variable
             Indvar
             Seqvar
    Operator
       Defop
       Ruleop
       Sentop
       Termop

1 relation defined:

  Defining-Axiom

2 functions defined:

  Denotation
  Name

No instances defined.

54 unnamed axioms defined.

No named axioms defined.

36 classes defined:

  Analytic-Truth
  Conjunction
  Constant
  Defop
  Disjunction
  Equation
  Equivalence
  Expression
  Funconst
  Funterm
  Implication
  Indvar
  Inequality
  Listterm
  Logconst
  Logsent
  Logterm
  Negation
  Objconst
  Operator
  Quanterm
  Quantsent
  Quoterm
  Relconst
  Relsent
  Reverse-Implication
  Ruleop
  Sentence
  Sentop
  Seqvar
  Setterm
  Term
  Termop
  Truth
  Variable
  Word

All constants that were mentioned were defined.