The frame ontology defines the terms that capture conventions used in object-centered knowledge representation systems. Since these terms are built on the semantics of KIF, one can think of KIF plus the frame-ontology as a specialized representation language. One purpose of this ontology is to enable people using different representation systems to share ontologies that are organized along object-centered, term-subsumption lines. Translators of ontologies written in KIF using the frame ontology, such as those provided by Ontolingua, allow one to work from a common source format and yet continue to use existing representation systems. The definitions in this ontology include and extend the Generic Frame Protocol knowledge model (version 2.0). This ontology is specified using the definitional forms provided by Ontolingua. All of the embedded sentences are in KIF 3.0, and the entire thing can be translated into pure KIF top level forms without loss of information. The basic ontological commitments of this ontology are - Relations are sets of tuples -- named by predicates - Functions are a special case of relations - Classes are unary relations -- no special syntax for types - Extensional semantics for classes -- defined as sets, not descriptions - No special treatment of slots, just binary relations and unary functions - KL-ONE style specs are relations on relations (second-order relations, not metalinguistic or modal)
Kif-Relations Kif-Sets Frame-Ontology Kif-Relations ... Kif-Extensions Kif-Sets ... Kif-Lists Kif-Numbers Frame-Ontology ... Kif-Numbers ... Kif-Relations ... Kif-Meta Kif-Sets ... Kif-Lists ... Okbc-Ontology Kif-Relations ... Kif-Extensions ... Kif-Meta ... Kif-Lists ... Kif-Extensions ... Kif-Meta ... Okbc-Ontology ...
No ontologies include Frame-Ontology.
Binary-Relation@Ol-User%Kif-Relations Antisymmetric-Relation Asymmetric-Relation Partial-Order-Relation Total-Order-Relation Irreflexive-Relation Asymmetric-Relation Many-To-Many-Relation Many-To-One-Relation One-To-Many-Relation Reflexive-Relation Equivalence-Relation Partial-Order-Relation ... Symmetric-Relation Equivalence-Relation Transitive-Relation Equivalence-Relation Partial-Order-Relation ... Weak-Transitive-Relation Class Class-Partition Function Many-To-One-Relation Individual-Thing Named-Axiom One-To-One-Relation Relation Unary-Relation@Ol-User%Kif-Relations
Alias Composition-Of Default-Facet-Value Default-Slot-Value Default-Template-Facet-Value Default-Template-Slot-Value Disjoint-Decomposition Documentation Domain-Of Exhaustive-Decomposition Has-Author Has-Instance Has-Source Has-Subdefinition Has-Subrelation Inherited-Facet-Value Inherited-Slot-Value Nth-Argument-Name Nth-Domain Nth-Domain-Subclass-Of Obsolete-Same-Values Obsolete-Value-Type Onto Partition Range-Of Range-Subclass-Of Related-Axioms Single-Valued-Slot Slot-Documentation Subrelation-Of Total-On
All-Instances All-Values Arity Compose Domain-Name Exact-Domain Exact-Range Function-Arity Obsolete-Slot-Cardinality Projection Range-Name Relation-Universe Subdefinition-Of
Antisymmetric-Relation Asymmetric-Relation Binary-Relation@Ol-User%Kif-Relations Class Class-Partition Equivalence-Relation Function Individual-Thing Irreflexive-Relation Many-To-Many-Relation Many-To-One-Relation Named-Axiom One-To-Many-Relation One-To-One-Relation Partial-Order-Relation Reflexive-Relation Relation Symmetric-Relation Total-Order-Relation Transitive-Relation Unary-Relation@Ol-User%Kif-Relations Weak-Transitive-Relation