;;; -*- Mode:Common-Lisp; Package:COMMUNICATION; Base:10 -*-
(in-package "USER")

(defpackage "CONVERSION"
    (:size 500)
  (:nicknames "CV" "CONV")
  (:use "COMMON-LISP" "LCL")
  (:export luo rut load-unit-ontology read-unit-theory
	   ontology-loaded theory-read
	   conversion-into-unit conversion-into-system
	   *stream-output* *theory*))


(defpackage "PHYSICAL-QUANTITY-KIF"
	    (:use "CONVERSION" "COMMON-LISP" "LUCID-COMMON-LISP")
            (:shadow + - / * expt =)
  	    (:nicknames "PQKIF" "PQ-KIF" "KQKIF" "KQ-KIF"))


(defpackage "COMMUNICATION"
	    (:use "COMMON-LISP" "LCL" "CONVERSION")
	    (:nicknames "COM"))