Ontology KIF-LISTS


Ontology documentation:

The KIF vocabulary for lists as defined in the KIF 3.0 specification.

Notes:


Summary of Kif-Lists:

No translations

No shadowed words

No public words

No private words

Kif-Lists includes the following ontologies:

    Kif-Numbers

Kif-Lists also references these ontologies:

    Kif-Sets
       Kif-Extensions
          Frame-Ontology
             Interface-Ontology
                Kif-Numbers
                   Kif-Extensions ...
                   Kif-Relations
                      Kif-Sets ...
                      Kif-Lists
                         Kif-Sets ...
                         Kif-Relations ...
                         Kif-Numbers ...
                         Frame-Ontology ...
                      Kif-Extensions ...
                      Frame-Ontology ...
                   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 ...
                   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-Relations ...
    Frame-Ontology ...

Ontologies that include Kif-Lists:

    Kif-Relations
       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
       Kif-Extensions
          Frame-Ontology ...
    Kif-Extensions ...
    Kif-Meta
       Frame-Ontology ...
       Parametric-Constraints ...

Other ontologies that reference Kif-Lists:

    Kif-Sets
       Kif-Relations ...
       Frame-Ontology ...
       Kif-Lists ...
       Kif-Extensions ...
       Slot-Constraint-Sugar ...
       Kif-Meta ...
       Physical-Quantities ...
       Cml ...
       Unary-Scalar-Functions ...
       Standard-Dimensions ...
       Simple-Time ...
       Dme-Cml
       Parametric-Constraints ...
       Quantity-Spaces ...
       Tensor-Quantities ...
       Simple-Geometry ...
       Job-Assignment-Task
       Vt-Design ...
       Device-Ontology ...
       Hp-Product-Ontology ...
       Digital-Designer-Query-Ontology
       Physicist-Query-Ontology
       Enterprise-V1.0

Kif-Lists uses the same ontologies as it includes.

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

Class hierarchy (5 classes defined):

    List
       Double
       Null
       Single
       Triple

2 relations defined:

  Item
  Sublist

14 functions defined:

  Adjoin
  Append
  Butlast
  Cons
  First
  Last
  Length
  Nth
  Nthrest
  Remove
  Rest
  Revappend
  Reverse
  Subst

1 instance defined:

  Nil

33 unnamed axioms defined.

No named axioms defined.

5 classes defined:

  Double
  List
  Null
  Single
  Triple

All constants that were mentioned were defined.