;;;;;;;;;;;;;;
;; INTEGERS ;;
;;;;;;;;;;;;;;


(defconcept-instance zero-concept-instance
    :domain-concept integer-domain-concept
    :symbol zero-value)
(setq zero-value 'zero)

(defconcept-instance one-concept-instance
    :domain-concept integer-domain-concept
    :symbol one-value)
(setq one-value 'one)

(defconcept-instance two-concept-instance
    :domain-concept integer-domain-concept
    :symbol two-value)
(setq two-value 'two)

(defconcept-instance three-concept-instance
    :domain-concept integer-domain-concept
    :symbol three-value)
(setq three-value 'three)

(defconcept-instance four-concept-instance
    :domain-concept integer-domain-concept
    :symbol four-value)
(setq four-value 'four)

(defconcept-instance five-concept-instance
    :domain-concept integer-domain-concept
    :symbol five-value)
(setq five-value 'five)

(defconcept-instance six-concept-instance
    :domain-concept integer-domain-concept
    :symbol six-value)
(setq six-value 'six)

(defconcept-instance seven-concept-instance
    :domain-concept integer-domain-concept
    :symbol seven-value)
(setq seven-value 'seven)

(defconcept-instance eight-concept-instance
    :domain-concept integer-domain-concept
    :symbol eight-value)
(setq eight-value 'eight)

(defconcept-instance nine-concept-instance
    :domain-concept integer-domain-concept
    :symbol nine-value)
(setq nine-value 'nine)

(defconcept-instance ten-concept-instance
    :domain-concept integer-domain-concept
    :symbol ten-value)
(setq ten-value 'ten)

(defconcept-instance eleven-concept-instance
    :domain-concept integer-domain-concept
    :symbol eleven-value)
(setq eleven-value 'eleven)

(defconcept-instance twelve-concept-instance
    :domain-concept integer-domain-concept
    :symbol twelve-value)
(setq twelve-value 'twelve)

(defconcept-instance thirteen-concept-instance
    :domain-concept integer-domain-concept
    :symbol thirteen-value)
(setq thirteen-value 'thirteen)

(defconcept-instance fourteen-concept-instance
    :domain-concept integer-domain-concept
    :symbol fourteen-value)
(setq fourteen-value 'fourteen)

(defconcept-instance fifteen-concept-instance
    :domain-concept integer-domain-concept
    :symbol fifteen-value)
(setq fifteen-value 'fifteen)

(defconcept-instance sixteen-concept-instance
    :domain-concept integer-domain-concept
    :symbol sixteen-value)
(setq sixteen-value 'sixteen)

(defconcept-instance seventeen-concept-instance
    :domain-concept integer-domain-concept
    :symbol seventeen-value)
(setq seventeen-value 'seventeen)

(defconcept-instance eighteen-concept-instance
    :domain-concept integer-domain-concept
    :symbol eighteen-value)
(setq eighteen-value 'eighteen)

(defconcept-instance nineteen-concept-instance
    :domain-concept integer-domain-concept
    :symbol nineteen-value)
(setq nineteen-value 'nineteen)

(defconcept-instance twenty-concept-instance
    :domain-concept integer-domain-concept
    :symbol twenty-value)
(setq twenty-value 'twenty)