The KIF vocabulary for lists as defined in the KIF 3.0 specification.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.
- ;;; Commented out by JPR because SETOF, being a KIF operator should not ;;; be definable like this. Now that I've fixed the parser, it barfs at this. ;(define-function LISTOF (@items) :-> ?list ; "LISTOF is the sequence constructor function for KIF. It takes any finite ;number of arguments and denotes the list (i.e., sequence, tuple) of ;those items. ; LISTOF is an operator in KIF." ; :def (list ?list))
Kif-Numbers
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 ...
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-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
List
Double
Null
Single
Triple
Item Sublist
Adjoin Append Butlast Cons First Last Length Nth Nthrest Remove Rest Revappend Reverse Subst
Nil
Double List Null Single Triple
All constants that were mentioned were defined.