Definitions that extend KIF in obvious places.
Kif-Sets
Kif-Lists
Kif-Numbers
Kif-Numbers
Kif-Relations
Kif-Sets
Kif-Lists ...
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 ...
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-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 ...
Defined
Finite-Set
Non-Negative-Integer
Positive-Integer
String
Symbol
Undefined
Vector
Cardinality Identity List-To-Set Second-Item
All constants that were mentioned were defined.