Ontology KIF-NUMBERS


Ontology documentation:

The KIF vocabulary concerning numbers and arithmetic.

Notes:


Summary of Kif-Numbers:

No translations

No shadowed words

No public words

No private words

Kif-Numbers includes no ontologies.

Kif-Numbers also references these ontologies:

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

Ontologies that include Kif-Numbers:

    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 ...
    Kif-Extensions ...

Kif-Numbers uses no ontologies.

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

Class hierarchy (12 classes defined):

    Number
       Complex-Number
       Negative
       Positive
       Real-Number
          Rational-Number
             Integer
                Even-Integer
                Natural
                Nonnegative-Integer
                Odd-Integer
                Zero

6 relations defined:

  <
  =<
  >
  >=
  Logbit
  Logtest

70 functions defined:

  *
  +
  -
  /
  1+
  1-
  Abs
  Acos
  Acosh
  Ash
  Asin
  Asinh
  Atan
  Atanh
  Boole
  Ceiling
  Cis
  Conjugate
  Cos
  Cosh
  Decode-Float
  Denominator
  Exp
  Expt
  Fceiling
  Ffloor
  Float
  Float-Digits
  Float-Precision
  Float-Radix
  Float-Sign
  Floor
  Fround
  Ftruncate
  Gcd
  Imagpart
  Integer-Decode-Float
  Integer-Length
  Isqrt
  Lcm
  Log
  Logand
  Logandc1
  Logandc2
  Logcount
  Logeqv
  Logior
  Lognand
  Lognor
  Lognot
  Logorc1
  Logorc2
  Logxor
  Max
  Min
  Mod
  Numerator
  Phase
  Rationalize
  Realpart
  Rem
  Round
  Scale-Float
  Signum
  Sin
  Sinh
  Sqrt
  Tan
  Tanh
  Truncate

1 instance defined:

  The-Exponentiation-Constant-E

30 unnamed axioms defined.

No named axioms defined.

12 classes defined:

  Complex-Number
  Even-Integer
  Integer
  Natural
  Negative
  Nonnegative-Integer
  Number
  Odd-Integer
  Positive
  Rational-Number
  Real-Number
  Zero

All constants that were mentioned were defined.