Ontology of plastics

(define-theory polymers (materials))

(in-theory 'polymers)

;;; Class Polymer
;;; subclass of Non-metal
(define-class polymer (?pol)
  ""
  :def (and (non-metal ?pol)))

;;; Class thermosets
;;; subclass of polymer
(define-class thermosets (?x)
    ""
  :def (and (polymer ?x))  )

;;; Class thermoplastics
;;; subclass of polymer
(define-class thermoplastics (?x)
    ""
  :def (and (polymer ?x))  )

;;; Class elastomers
;;; subclass of polymer
(define-class elastomers (?x)
    ""
  :def (and (polymer ?x))  )

;;; Class synthetic-materials
;;; subclass of polymer
(define-class synthetic-materials (?x)
    ""
  :def (and (polymer ?x))  )

;;; Class Modified-natural-materials
;;; subclass of polymer
(define-class modified-natural-materials (?x)
    ""
  :def (and (polymer ?x))  )

;;; Class polycondensation
;;; subclass of synthetic-materials
(define-class polycondensation (?x)
    ""
  :def (and (synthetic-materials ?x))  )

;;; Class polyaddition
;;; subclass of synthetic-materials
(define-class polyaddition (?x)
    ""
  :def (and (synthetic-materials ?x))  )

;;; Class polymerisation
;;; subclass of synthetic-materials
(define-class polymerisation (?x)    ""
  :def (and (synthetic-materials ?x))
  )

;;; Class PC
;;; subclass of polycondensation, thermoplastics
(define-class PC (?x)
    ""
    :def (and 
          (polycondensation ?x)
          (thermoplastics ?x)
          (in-interval (vector-component (material.e-module ?x)
                                         1
                                         e-module.basis)
                       (* 2200 megapascal)
                       (* 2400 megapascal))        )  )

;;; Instance VF
;;; inherits from thermosets, modified-natural-materials
(define-instance VF (thermosets modified-natural-materials)
  "Vulkanfiber"  )

;;; Instance CN
;;; inherits from thermoplastics, modified-natural-materials
(define-instance CN (thermoplastics modified-natural-materials)
  "Cellulosenitrat"  )

;;; Instance NR
;;; inherits from modified-natural-materials, elastomers
(define-instance NR (modified-natural-materials elastomers)
    "Isoprenkautschuk"  )

;;; Instance PI
;;; inherits from thermosets, polycondensation
(define-instance PI (thermosets polycondensation)
    "Polyimid"
    :axiom-def (= (vector-component (material.e-module pi)
                                    1
                                    e-module.basis)
                  (* 3800 megapascal)))

;;; Instance EP
;;; inherits from thermosets, polyaddition
(define-instance EP (thermosets polyaddition)
    "Epoxid"  )

;;; Instance PUR
;;; inherits from polyaddition, thermoplastics
(define-instance PUR (polyaddition thermoplastics)
    "Polyurethan"  )

;;; Instance PS
;;; inherits from thermoplastics, polymerisation
(define-instance PS (thermoplastics polymerisation)
  "Polystyrol"
  :axiom-def (= (vector-component (material.e-module ps)
                                  1
                                  e-module.basis)
                (* 3200 megapascal)))

;;; Instance ABR
;;; inherits from polymerisation, elastomer
(define-instance abr (polymerisation elastomers)
    "Acrylat-Butadien-Kautschuk"  )