Interlingua for Multi-Use Knowledge

• Knowledge Interchange Format (KIF)

  • First order predicate logic with set theory
  • Logically comprehensive
  • Model-theoretic semantics

Previous slide

Next slide

Back to first slide

View graphic version