The axioms below use the following symbols:
Variables: T, U, V, W, X, Y, and Z.
Meta-ontological predicates: frame, concept, instance, slot, and ancestor. Frame, concept, and instance are one-place predicates; ancestor is a two place predicate, indicating whether the second argument is an ancestor of the first. Slot is a 4-place predicate, its argument being the concept, the slot, the facet, and the filler.
Other predicates: =, subset-of,
string, literal, and scalar. The predicate
is to be read as ``belongs to'' and indicates
membership in a set. String, literal, and scalar are one-place
predicates indicating whether a constant is a string, a scalar (i.e.,
a number or a range of numbers), or a literal symbol. Subset-of is
used in a generic sense and includes the relationship between a scalar
range and its subranges.
Logical symbols:
and
Constants from the ontology: ALL, OBJECT, EVENT, PROPERTY, RELATION, ATTRIBUTE, LITERAL-ATTRIBUTE, SCALAR-ATTRIBUTE, IS-A, INSTANCE-OF, SUBCLASSES, INSTANCES, DEFINITION, TIME-STAMP, DOMAIN, RANGE, INVERSE, *NOTHING*, VALUE, SEM, and DEFAULT.
Kavi Mahesh