The KIF vocabulary concerning numbers and arithmetic.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.
- - Arithmetic Functions and friends These are deliberately not axiomatized, waiting for a proper treatment. Might want to leave room for operator overloading.
Kif-Numbers includes no 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 ...
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.
Number
Complex-Number
Negative
Positive
Real-Number
Rational-Number
Integer
Even-Integer
Natural
Nonnegative-Integer
Odd-Integer
Zero
< =< > >= Logbit Logtest
* + - / 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
The-Exponentiation-Constant-E
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.