Interlingua for Multi-Use Knowledge

• Knowledge Interchange Format (KIF)

  • First order predicate logic
  • Includes numbers, lists, and strings
  • Linear ASCII syntax
  • In the process of becoming an ANSI standard

Previous slide

Next slide

Back to first slide

View graphic version