Ontolingua - Tips

• What is a frame axiom?

  • Any axiom that is part of the standard frame representation. See GFP 2.0 spec.
  • Positive unary, binary, ternary assertions

• What is a non-frame axiom?

  • Important examples: negative statements, existentially quantified statements, disjunctions, general implications.

• How do I assert a non-frame axiom?

  • Use the +axiom button! Enter it in KIF syntax.
  • Copy and paste from emacs!

Previous slide

Next slide

Back to first slide

View graphic version