• ontology
  • %STRING
  • container
  • definitions
  • import-exp
  • definition
  • class-definition
  • type
  • subclass
  • class-exp
  • set-exp
  • slot-constraint
  • constraint-exp
  • filler-exp
  • %INTEGER
  • filler
  • has-value-exp
  • value-type-exp
  • max-cardinality-exp
  • min-cardinality-exp
  • cardinality-exp
  • expression
  • concrete-type-exp
  • int-exp
  • int-pred
  • string-exp
  • string-pred
  • slot-definition
  • subslot-exp
  • slot-def-exp
  • domain-exp
  • range-exp
  • inverse-exp
  • property-list
  • property
  • axiom
  • disjoint-exp
  • cover-exp
  • disjoint-cover-exp
  • equiv-exp
  • class-name
  • slot-name
  • ind-name
  • URI
  • symbol