(define-theory Morphology (Top-Level))

(in-theory 'Morphology)


(DEFINE-RELATION IS-MORPHOLOGY-OF (?A ?B))
(DEFINE-RELATION IS-SHAPE-OF (?A ?B))
(DEFINE-RELATION IS-SPATIAL-ABNORMALITY-OF (?A ?B))
(DEFINE-RELATION IS-TEXTURE-OF (?A ?B))
(DEFINE-RELATION MORPHOLOGY (?A ?B))
(DEFINE-RELATION SHAPE (?A ?B))
(DEFINE-RELATION SHAPE-PROPERTY (?A ?B) :DEF
 (MORPHOLOGICAL-PROPERTY ?A ?B))
(DEFINE-RELATION SPATIAL-ABNORMALITY (?A ?B))
(DEFINE-RELATION SPATIAL-ABNORMALITY-PROPERTY (?A ?B) :DEF
 (MORPHOLOGICAL-PROPERTY ?A ?B))
(DEFINE-RELATION TEXTURE (?A ?B))
(DEFINE-RELATION TEXTURE-PROPERTY (?A ?B) :DEF
 (MORPHOLOGICAL-PROPERTY ?A ?B))
(DEFINE-RELATION _HETEROMEROUS (?A ?B) :DEF
 (AND (EXISTS ?Y
       (AND (SUBSTANCE ?Y)
            (CONSTITUENT-MATERIAL-OF ?Y ?A)
            (EXISTS ?Z
             (AND (SUBSTANCE ?Z)
                  (CONSTITUENT-MATERIAL-OF ?Z ?A)
                  (CONCEPTUALLY-DIFFERENT ?Y ?Z)))))
      (MORPHOLOGICAL-PROPERTY ?A ?B)
      (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _HOMEOMEROUS (?A ?B) :DEF
 (AND (EXISTS ?Y
       (AND (SUBSTANCE ?Y)
            (CONSTITUENT-MATERIAL-OF ?Y ?A)
            (NOT (EXISTS ?Z
                  (AND (SUBSTANCE ?Z)
                       (CONSTITUENT-MATERIAL-OF ?Z ?A)
                       (CONCEPTUALLY-DIFFERENT ?Y ?Z))))))
      (MORPHOLOGICAL-PROPERTY ?A ?B)
      (MATERIAL-OBJECT ?A)))
(DEFINE-RELATION _LIST (?A ?B) :DEF (SHAPE-PROPERTY ?A ?B))