Restriction

• KIF-Numbers included in Integer-Arithmetic

  • K-N axioms added to I-A
  • K-N a symbol source of I-A
  • K-N public symbols recognizable in I-A

• In I-A, make Number a subclass of Integer

  • Adds to I-A axiom (=> (Number ?x) (Integer ?x))

Previous slide

Next slide

Back to first slide

View graphic version