The KIF vocabulary for set ontology as defined in the KIF 3.0specification.
Notes:
- Source: KIF Version 3.0 Specification
- 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 SETOF (@members) :-> ?set ; "SETOF is the set constructor function for KIF. It takes any finite ;number of arguments and denotes the set of those things." ; :def (simple-set ?set) ; :issues ((:source " KIF Version 3.0 Specification ")))
- ;;; 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-relation = (?x ?y) ; "= is the equality relation for KIF. It is defined as an operator, ;but is in practice like every other relation. Two things are = to ;each other if they are exactly the same thing. How these two things ;are denoted in some ontology is an entirely different issue. ; = is an operator in KIF." ; :issues ((:source " KIF Version 3.0 Specification ") ; "Equality is built in to KIF; = and /= are operators. ; However, it helps to have them be proper relations in the ontology. ; For instance, other relations may be subsumed by them in a taxonomy." ; (:see-also /=) ; "We put the equality relations in the SET ontology, because it is ; the most primitive ontology in KIF and equality is intrinsic to ; the definition of set membership."))
Kif-Sets 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-Lists ...
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-Lists
Kif-Relations ...
Frame-Ontology ...
Kif-Sets ...
Kif-Extensions ...
Kif-Meta ...
Physical-Quantities ...
Basic-Matrix-Algebra ...
Interface-Definition-Language
Unary-Scalar-Functions ...
Bibliographic-Data
Parametric-Constraints ...
Enterprise-V1.0
Kif-Sets uses no ontologies.
Bounded
Simple-Set
Empty
Individual
Set
Proper-Set
Simple-Set
Unbounded
Disjoint Member Mutually-Disjoint Pairwise-Disjoint Proper-Subset Set-Cover Set-Partition Subset
Complement Difference Generalized-Intersection Generalized-Union Intersection Union
False True
Axiom-Of-Choice Axiom-Of-Infinity Axiom-Of-Regularity Extensionality-Property-Of-Sets Finite-Set-Axiom Intersection-Axiom Subset-Axiom Union-Axiom
Bounded Empty Individual Proper-Set Set Simple-Set Unbounded
All constants that were mentioned were defined.