;; $Id: atlas.plm 2434 2011-06-07 16:08:02Z tom $

(IN-PACKAGE "STELLA")
(DEFMODULE "ATLAS"
    :USES ("PL-KERNEL-KB" "STELLA" "LOGIC") 
    :INCLUDES ()
    :CASE-SENSITIVE? TRUE)
(IN-MODULE "ATLAS")

(DEFFUNCTION name (?x (?n STRING)))
(DEFFUNCTION status ((?x MODULE) (?n STRING)))
(DEFFUNCTION version ((?x MODULE) (?n STRING)))

(DEFCONCEPT BrainRegion (/PART/GEOMETRIC-REGION))
(DEFFUNCTION abbreviation ((?x BrainRegion) (?n STRING)))
(DEFFUNCTION brain-region-for ((?n STRING) (?x BrainRegion))
  :inverse abbreviation)
(DEFRELATION url-name ((?x BrainRegion) (?base STRING) (?param STRING)))