Ontology KIF-EXTENSIONS


Ontology documentation:

Definitions that extend KIF in obvious places.

Summary of Kif-Extensions:

No translations

No shadowed words

No public words

No private words

Kif-Extensions includes the following ontologies:

    Kif-Sets
    Kif-Lists
       Kif-Numbers
    Kif-Numbers
    Kif-Relations
       Kif-Sets
       Kif-Lists ...

Kif-Extensions also references these ontologies:

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

Ontologies that include Kif-Extensions:

    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

Other ontologies that reference Kif-Extensions:

    Kif-Relations
       Frame-Ontology ...
       Kif-Numbers
          Frame-Ontology ...
          Kif-Lists
             Kif-Relations ...
             Frame-Ontology ...
             Kif-Sets
                Kif-Relations ...
                Frame-Ontology ...
                Kif-Lists ...
                Kif-Extensions ...
                Slot-Constraint-Sugar ...
                Kif-Meta
                   Frame-Ontology ...
                   Cml ...
                   Agents ...
                   Documents ...
                   Bibliographic-Data
                   Parametric-Constraints ...
                   Vt-Design ...
                   Enterprise-V1.0
                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-Extensions ...
             Kif-Meta ...
             Physical-Quantities ...
             Basic-Matrix-Algebra ...
             Interface-Definition-Language
             Unary-Scalar-Functions ...
             Bibliographic-Data
             Parametric-Constraints ...
             Enterprise-V1.0
          Kif-Extensions ...
          Slot-Constraint-Sugar ...
          Kif-Meta ...
          Physical-Quantities ...
          Basic-Matrix-Algebra ...
          Interface-Definition-Language
          Interface-Ontology ...
          Cml ...
          Unary-Scalar-Functions ...
          Standard-Dimensions ...
          Ranges ...
          Simple-Time ...
          Documents ...
          Bibliographic-Data
          Standard-Units ...
          Scalar-Quantities ...
          Tensor-Quantities ...
          3d-Tensor-Quantities ...
          Simple-Geometry ...
          Mechanical-Components ...
          Mace-Domain
          Vt-Design ...
          Vt-Domain ...
          Device-Ontology ...
          Hp-Product-Ontology ...
          Vehicles
          Enterprise-V1.0
       Kif-Sets ...
       Kif-Lists ...
       Kif-Extensions ...
       Slot-Constraint-Sugar ...
       Kif-Meta ...
       Physical-Quantities ...
       Basic-Matrix-Algebra ...
       Interface-Definition-Language
       Interface-Ontology ...
       Cml ...
       Unary-Scalar-Functions ...
       Component-Assemblies ...
       Ranges ...
       Simple-Time ...
       Agents ...
       Documents ...
       Bibliographic-Data
       Abstract-Algebra ...
       Scalar-Quantities ...
       Dme-Cml
       Parametric-Constraints ...
       Components-With-Constraints ...
       Quantity-Spaces ...
       Tensor-Quantities ...
       3d-Tensor-Quantities ...
       Simple-Geometry ...
       Mechanical-Components ...
       Job-Assignment-Task
       Mace-Domain
       Vt-Design ...
       Vt-Domain ...
       Product-Ontology ...
       Device-Ontology ...
       Hp-Product-Ontology ...
       Vehicles
       Enterprise-V1.0
    Kif-Numbers ...
    Kif-Sets ...

Kif-Extensions uses the same ontologies as it includes.

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

Class hierarchy (8 classes defined):

    Defined
    Finite-Set
    Non-Negative-Integer
    Positive-Integer
    String
    Symbol
    Undefined
    Vector

No relations defined.

4 functions defined:

  Cardinality
  Identity
  List-To-Set
  Second-Item

No instances defined.

19 unnamed axioms defined.

No named axioms defined.

All constants that were mentioned were defined.