The RTPLAST knowledge base

; Aus Kunz entnommene Kunststofftaxonomie  (c) by Ulrich Buhrmann August 1994
;                                              updated September 1994

; Die hier eingefuehrten Sorten sind direkt aus Kunz entnommen,
; deshalb sind sie in deutscher Sprache und im Plural definiert.
; Fuer eine Demo sollten rtplast und diese Taxonomie diesbezueglich
; vereinheitlicht werden.

; Die Unterteilung in Bloecke entspricht den Seiten in Kunz

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 3

(hn (subsumes plastic polykondensate))
(hn (subsumes plastic polymerisate))
(hn (subsumes plastic polyaddukte))
(hn (subsumes plastic thermoplastic))

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 5

(hn (subsumes thermoplastic pc))
(hn (subsumes thermoplastic pa))
(hn (subsumes thermoplastic lineare_polyester))
(hn (subsumes thermoplastic polyphenylene))
(hn (subsumes polykondensate pc))
(hn (subsumes polykondensate pa))
(hn (subsumes polykondensate lineare_polyester))
(hn (subsumes polykondensate polyphenylene))
(hn (subsumes lineare_polyester petb))
(hn (subsumes lineare_polyester pbtp))
(hn (subsumes polyphenylene ppo))

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 6

(hn (subsumes thermoplastic polyolefine))
(hn (subsumes thermoplastic vinylpolymere))
(hn (subsumes thermoplastic styrolpolymere))
(hn (subsumes thermoplastic polymethacrylester))
(hn (subsumes thermoplastic polyacetal))
(hn (subsumes thermoplastic flourkunststoffe))
(hn (subsumes polymerisate polyolefine))
(hn (subsumes polymerisate vinylpolymere))
(hn (subsumes polymerisate styrolpolymere))
(hn (subsumes polymerisate polymethacrylester))
(hn (subsumes polymerisate polyacetal))
(hn (subsumes polymerisate fluorkunststoffe))

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 7

(hn (subsumes polyolefine pe))
(hn (subsumes polyolefine pp))
(hn (subsumes polyolefine pib))
(hn (subsumes polyolefine pb))
(hn (subsumes polyolefine pmp))
(hn (subsumes pp hostalen))

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 9

(hn (subsumes styrolpolymere ps))
(hn (subsumes styrolpolymere sb))
(hn (subsumes styrolpolymere san))
(hn (subsumes styrolpolymere asa))
(hn (subsumes styrolpolymere abs-k))
(hn (subsumes abs-k novodur))

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 10

(hn (subsumes fluorkunststoffe ptfe))
(hn (subsumes fluorkunststoffe pctfe))
(hn (subsumes fluorkunststoffe pfep))
(hn (subsumes fluorkunststoffe pvf))
(hn (subsumes fluorkunststoffe pvdf))

;------------------------------------------------------------------------------
; Seite: Teil 4 Kapitel 5 Seite 11

(hn (subsumes thermoplastic pur))
(hn (subsumes thermoplastic chlorierter_polyaether))
(hn (subsumes polyaddukte pur))
(hn (subsumes polyaddukte chlorierter_polyaether))

;------------------------------------------------------------------------------
; Plastik und seine Eigenschaften (Ueberbleibsel aus ORF s. Buhrmann 94)

;(hn (subsumes plastic mechanical-property))
;(hn (subsumes plastic general-property))
;(hn (subsumes plastic property-by-method))
;(hn (subsumes plastic property-by-rule))
;(hn (subsumes general-property thermoplastic))
;(hn (subsumes mechanical-property thermoplastic))
;(hn (subsumes property-by-method thermoplastic))
;(hn (subsumes property-by-rule thermoplastic))

;------------------------------------------------------------------------------
; Thermoplastik und seine Untersorten

(hn (subsumes hostalen hostalen-ppk-1))
(hn (subsumes hostalen hostalen-ppn-1))
(hn (subsumes novodur novodur-rec-1))

;------------------------------------------------------------------------------
; Novodur-Instanzen

(hn (novodur-rec-1 novodur_r_5320))
(hn (novodur-rec-1 novodur_r_5322))

;------------------------------------------------------------------------------
; Hostalen-Instanzen 

(hn (hostalen-ppk-1 hostalen_ppk_1060_f1))
(hn (hostalen-ppn-1 hostalen_ppn_1060))
(hn (hostalen-ppn-1 hostalen_ppn_1060_f))
(hn (hostalen-ppn-1 hostalen_ppn_1060_f1))
(hn (hostalen-ppn-1 hostalen_ppn_1060_f3))
(hn (hostalen-ppn-1 hostalen_ppn_2060))
(hn (hostalen-ppn-1 hostalen_ppn_4160))

;------------------------------------------------------------------------------
; Hierarchie der einen Kunststoff beschreibenden Attribute 

(hn (subsumes attribute simple-attribute))
(hn (subsumes attribute numerical-attribute))
(hn (subsumes numerical-attribute simple-numerical-attribute))
(hn (subsumes numerical-attribute numerical-attribute-n/qmm-prototype))
(hn (subsumes numerical-attribute-n/qmm-prototype numerical-attribute-n/qmm))
(hn (subsumes numerical-attribute numerical-attribute-kj/qm-prototype))
(hn (subsumes numerical-attribute-kj/qm-prototype numerical-attribute-kj/qm))
(hn (subsumes numerical-attribute numerical-attribute-with-conditions))
(hn (subsumes numerical-attribute-with-conditions melting_index-prototype))
(hn (subsumes melting_index-prototype melting_index))
(hn (subsumes
     numerical-attribute-with-conditions
     volume_per_unit_time-prototype ) )
(hn (subsumes volume_per_unit_time-prototype volume_per_unit_time))
(hn (subsumes attribute interpol-attribute))
(hn (subsumes interpol-attribute simple-interpol-attribute))
(hn (subsumes attribute rule-attribute))
(hn (subsumes rule-attribute simple-rule-attribute-1))
(hn (subsumes rule-attribute simple-rule-attribute-2))

;------------------------------------------------------------------------------
; Einfache Attributinstanzen

(hn (simple-attribute identifier))
(hn (simple-attribute cardinality))
(hn (simple-attribute sort))
(hn (simple-attribute method_for_test))
(hn (simple-attribute additives))
(hn (simple-attribute measurement))
(hn (simple-attribute exists-with-conditions))
(hn (simple-attribute recyclable))
(hn (simple-attribute recycled))

;------------------------------------------------------------------------------
; Einfache numerische Attributinstanzen

(hn (simple-numerical-attribute temperature))
(hn (simple-numerical-attribute density))
(hn (simple-numerical-attribute volume_per_unit_time_mvr_1_temperature))
(hn (simple-numerical-attribute volume_per_unit_time_mvr_1_stress))
(hn (simple-numerical-attribute volume_per_unit_time_mvr_2_temperature))
(hn (simple-numerical-attribute volume_per_unit_time_mvr_2_stress))
(hn (simple-numerical-attribute melting_index_mfi_1_temperature))
(hn (simple-numerical-attribute melting_index_mfi_1_stress))
(hn (simple-numerical-attribute melting_index_mfi_2_temperature))
(hn (simple-numerical-attribute melting_index_mfi_2_stress))
(hn (simple-numerical-attribute melting_index_mfi_3_temperature))
(hn (simple-numerical-attribute melting_index_mfi_3_stress))
(hn (simple-numerical-attribute vicat_a/50))
(hn (simple-numerical-attribute vicat_b/50))
(hn (simple-numerical-attribute yield_elangation))
(hn (simple-numerical-attribute dimensional_stability_hdt/a))
(hn (simple-numerical-attribute dimensional_stability_hdt/b))

;------------------------------------------------------------------------------
; Attributinstanzen der Einheit N/mm^2

(hn (numerical-attribute-n/qmm yield_stress))
(hn (numerical-attribute-n/qmm tension_module_of_elasticity))
(hn (numerical-attribute-n/qmm tension_module_of_criep_1_h))
(hn (numerical-attribute-n/qmm tension_module_of_criep_1000_h))
(hn (numerical-attribute-n/qmm ball_thrust_hardness))

;------------------------------------------------------------------------------
; Attributinstanzen der Einheit kJ/m^2

(hn (numerical-attribute-kj/qm tension_notched-bar_impact_strength))
(hn (numerical-attribute-kj/qm notched-bar_impact_strength))
(hn (numerical-attribute-kj/qm izod-impact_strength_23))
(hn (numerical-attribute-kj/qm izod-impact_strength_0))
(hn (numerical-attribute-kj/qm izod-impact_strength_-30))
(hn (numerical-attribute-kj/qm izod-notched-bar_impact_strength_23))
(hn (numerical-attribute-kj/qm izod-notched-bar_impact_strength_0))
(hn (numerical-attribute-kj/qm izod-notched-bar_impact_strength_-30))

;------------------------------------------------------------------------------
; Schmelzindex-Attributinstanzen

(hn (melting_index melting_index_mfi_1))
(hn (melting_index melting_index_mfi_2))
(hn (melting_index melting_index_mfi_3))

;------------------------------------------------------------------------------
; Fliessvolumen-Attributinstanzen 

(hn (volume_per_unit_time volume_per_unit_time_mvr_1))
(hn (volume_per_unit_time volume_per_unit_time_mvr_2))

;------------------------------------------------------------------------------
; Interpolations-Attributinstanz

(hn (simple-interpol-attribute stress-strain))

;----------------------------------------------------------------------
; Inference KB:


;---------------------------Features SORT HOSTALEN---------------------

(hn (producer $hostalen hoechst))
(hn (volume_per_unit_time_mvr_1_temperature $hostalen 190))
(hn (volume_per_unit_time_mvr_1_stress $hostalen 5))
(hn (volume_per_unit_time_mvr_2_temperature $hostalen 230))
(hn (volume_per_unit_time_mvr_2_stress $hostalen 2.16))
(hn (melting_index_mfi_1_temperature $hostalen 190))
(hn (melting_index_mfi_1_stress $hostalen 5))
(hn (melting_index_mfi_2_temperature $hostalen 230))
(hn (melting_index_mfi_2_stress $hostalen 2.16))
(hn (melting_index_mfi_3_temperature $hostalen 230))
(hn (melting_index_mfi_3_stress $hostalen 5))
(hn (recyclable $hostalen horizontal-recycling))

; ---------------------------Features hostalen_ppk_1060_f1--------------

(hn (density hostalen_ppk_1060_f1 0.902))
(hn (melting_index_mfi_1 hostalen_ppk_1060_f1 2))
(hn (melting_index_mfi_2 hostalen_ppk_1060_f1 0.9))
(hn (melting_index_mfi_3 hostalen_ppk_1060_f1 4))
(hn (volume_per_unit_time_mvr_1 hostalen_ppk_1060_f1 2.3))
(hn (volume_per_unit_time_mvr_2 hostalen_ppk_1060_f1 1.3))
(hn (yield_stress hostalen_ppk_1060_f1 32))
(hn (yield_elangation hostalen_ppk_1060_f1 11))
(hn (tension_module_of_elasticity hostalen_ppk_1060_f1 1300))
(hn (tension_module_of_criep_1_h hostalen_ppk_1060_f1 850))
(hn (tension_module_of_criep_1000_h hostalen_ppk_1060_f1 500))
(hn (ball_thrust_hardness hostalen_ppk_1060_f1 67))
(hn (tension_notched-bar_impact_strength hostalen_ppk_1060_f1 48))
(hn (notched-bar_impact_strength hostalen_ppk_1060_f1 8))
(hn (izod-impact_strength_23 hostalen_ppk_1060_f1 100))
(hn (izod-impact_strength_-30 hostalen_ppk_1060_f1 14))
(hn (izod-notched-bar_impact_strength_23 hostalen_ppk_1060_f1 3.5))
(hn (izod-notched-bar_impact_strength_-30 hostalen_ppk_1060_f1 1.5))
(hn (vicat_a/50 hostalen_ppk_1060_f1 152))
(hn (vicat_b/50 hostalen_ppk_1060_f1 88))
(hn (dimensional_stability_hdt/a hostalen_ppk_1060_f1 56))
(hn (dimensional_stability_hdt/b hostalen_ppk_1060_f1 94))
(hn (used-for hostalen_ppk_1060_f1 (spritzgiessen elektrogeraete)))
(hn (used-for hostalen_ppk_1060_f1 (spritzgiessen technische_teile)))
(hn (used-for hostalen_ppk_1060_f1 (spritzgiessen haushaltmaschinen)))
(hn (used-for hostalen_ppk_1060_f1 (spritzgiessen sanitaereinrichtungen)))
(hn (used-for hostalen_ppk_1060_f1 (spritzgiessen moebelbau)))
(hn (used-for hostalen_ppk_1060_f1 (spritzgiessen verpackungen)))
(hn (used-for hostalen_ppk_1060_f1 (pressen verpackungen)))
(hn (used-for hostalen_ppk_1060_f1 (pressen elektrogeraete)))
(hn (used-for hostalen_ppk_1060_f1 (pressen verpackungsbaender)))
(hn (used-for hostalen_ppk_1060_f1 (blasformen moebelbau)))
(hn (used-for hostalen_ppk_1060_f1 (blasformen verpackungsbaender)))
(hn (additives hostalen_ppk_1060_f1  flameproofing_agent))

;----------------Features SORT HOSTALEN-PPN-1--------------------

(hn (density  $hostalen-ppn-1 0.903))
(hn (melting_index_mfi_1 $hostalen-ppn-1 4))
(hn (melting_index_mfi_2  $hostalen-ppn-1 2))
(hn (melting_index_mfi_3  $hostalen-ppn-1 9))
(hn (volume_per_unit_time_mvr_1 $hostalen-ppn-1 4.5))
(hn (volume_per_unit_time_mvr_2 $hostalen-ppn-1 2.7))
(hn (yield_stress $hostalen-ppn-1 32))
(hn (yield_elangation  $hostalen-ppn-1 11))
(hn (tension_module_of_elasticity $hostalen-ppn-1 1300) )
(hn (tension_module_of_criep_1_h $hostalen-ppn-1 900))
(hn (tension_module_of_criep_1000_h $hostalen-ppn-1 480 ) )
(hn (ball_thrust_hardness $hostalen-ppn-1 68))
(hn (tension_notched-bar_impact_strength $hostalen-ppn-1 45 ) )
(hn (notched-bar_impact_strength $hostalen-ppn-1 7))
(hn (izod-impact_strength_23 $hostalen-ppn-1 90))
(hn (izod-impact_strength_0 $hostalen-ppn-1 35))
(hn (izod-impact_strength_-30 $hostalen-ppn-1 12))
(hn (izod-notched-bar_impact_strength_23 $hostalen-ppn-1 3.1 ) )
(hn (izod-notched-bar_impact_strength_0 $hostalen-ppn-1 1.6 ) )
(hn (izod-notched-bar_impact_strength_-30 $hostalen-ppn-1 1.4 ) )
(hn (vicat_a/50 $hostalen-ppn-1 152))
(hn (vicat_b/50 $hostalen-ppn-1 89))
(hn (dimensional_stability_hdt/a $hostalen-ppn-1 56))
(hn (dimensional_stability_hdt/b $hostalen-ppn-1 90))
;(hn (additives $hostalen-ppn-1 (tup)))
(hn (additives $hostalen-ppn-1 antistatic_additive)) ; 4 -> fiktiv
(hn (used-for $hostalen-ppn-1 (pressen verpackungen)))
(hn (used-for $hostalen-ppn-1 (pressen elektrogeraete)))
(hn (used-for $hostalen-ppn-1 (pressen verpackungsbaender)))


;----------------------Features hostalen_ppn_1060---------------------

(hn (stress-strain
     hostalen_ppn_1060
     (tup
      interpol
      (tup
       (tup 0.71 13.4)
       (tup 1.42 22.2)
       (tup 2.13 26.7)
       (tup 2.84 29.5)
       (tup 3.55 31.6)
       (tup 4.26 33.2)
       (tup 4.97 34.3)
       (tup 5.68 35.2)
       (tup 6.39 35.7)
       (tup 7.1 36.0) ) ) ) )

;-----------------------Features SORT NOVODUR---------------------------

(hn (producer $novodur bayer))
(hn (recyclable $novodur horizontal-recycling))

;---------------Features SORT NOVODUR-REC-1-------------------

(hn (izod-impact_strength_23 $novodur-rec-1 60))
(hn (izod-impact_strength_-30 $novodur-rec-1 40))
(hn (izod-notched-bar_impact_strength_23 $novodur-rec-1 12 ) )
(hn (izod-notched-bar_impact_strength_-30 $novodur-rec-1 6 ) )
(hn (ball_thrust_hardness $novodur-rec-1 90))
(hn (recycling-product $novodur-rec-1 true))

;----------------Features of novodur_r_5320-----------------------------

(hn (yield_stress novodur_r_5320 38))
(hn (yield_elangation novodur_r_5320 2.1))
(hn (tension_module_of_elasticity novodur_r_5320 2000))
(hn (dimensional_stability_hdt/a novodur_r_5320 90))
(hn (dimensional_stability_hdt/b novodur_r_5320 95))

;----------------Features of novodur_r_5322-----------------------------

(hn (yield_stress novodur_r_5322 40))
(hn (yield_elangation novodur_r_5322 2.3))
(hn (tension_module_of_elasticity novodur_r_5322 2200))
(hn (dimensional_stability_hdt/a novodur_r_5322 96))
(hn (dimensional_stability_hdt/b novodur_r_5322 100))
;-----------------------------------------------------------------------

(ft (horizontal-recycling _plastic-id)
    (additives (_plastic-id : $pp) flameproofing_agent)
    only_in_closed_circle )
(ft (horizontal-recycling _plastic-id)
    (additives (_plastic-id : $pp) _additives)
    (naf (is _additives flameproofing_agent))
    possible )
(ft (horizontal-recycling _plastic-id)
    (additives (_plastic-id : $abs-k) flameproofing_agent)
    only_in_closed_circle )
(ft (horizontal-recycling _plastic-id)
    (additives (_plastic-id : $abs-k) _additives)
    (naf (is _additives flameproofing_agent))
    possible )
(hn (cardinality identifier (= 1)))
(hn (sort identifier string))
(hn (sort cardinality predicate))
(hn (cardinality sort 1))
(hn (sort method_for_test tupel-of-strings))
(hn (sort additives tupel-of-strings))
(hn (sort measurement tupel-of-strings))
(hn (sort exists-with-conditions tupel-of-strings))
(hn (cardinality exists-with-conditions (>= 1)))
(hn (sort recyclable boolean))
(hn (sort recycling-product boolean))
(hn (cardinality $numerical-attribute (<= 1)))
(hn (sort $numerical-attribute real))
(hn (measurement temperature c))
(hn (method_for_test density (tup iso_1183 din_53735)))
(hn (measurement volume_per_unit_time_mvr_1_temperature c))
(hn (measurement volume_per_unit_time_mvr_1_stress kg))
(hn (measurement volume_per_unit_time_mvr_2_temperature c))
(hn (measurement volume_per_unit_time_mvr_2_stress kg))
(hn (measurement melting_index_mfi_1_temperature c))
(hn (measurement melting_index_mfi_1_stress kg))
(hn (measurement melting_index_mfi_2_temperature c))
(hn (measurement melting_index_mfi_2_stress kg))
(hn (measurement melting_index_mfi_3_temperature c))
(hn (measurement melting_index_mfi_3_stress kg))
(hn (method_for_test vicat_a/50 (tup din_306)))
(hn (measurement vicat_a/50 c))
(hn (method_for_test vicat_b/50 (tup din_306)))
(hn (measurement vicat_b/50 c))
(hn (method_for_test yield_elangation (tup iso_527 din_53455)))
(hn (measurement yield_elangation proz))
(hn (method_for_test dimensional_stability_hdt/a (tup iso_75 din_53461)))
(hn (measurement dimensional_stability_hdt/a c))
(hn (method_for_test dimensional_stability_hdt/b (tup iso_75 din_53461)))
(hn (measurement dimensional_stability_hdt/b c))
(hn (measurement
      $numerical-attribute-n/qmm-prototype
     (/ n (^ mm 2)) ) )
(hn (method_for_test yield_stress (tup iso_527 din_53455)))
(hn (method_for_test tension_module_of_elasticity (tup iso_527 din_53457)))
(hn (method_for_test tension_module_of_criep_1_h (tup iso_899 din_53444)))
(hn (method_for_test tension_module_of_criep_1000_h (tup iso_899 din_53444)))
(hn (method_for_test ball_thrust_hardness (tup din_53456)))
(hn (measurement
     $numerical-attribute-kj/qm-prototype
     (/ kj (^ m 2)) ) )
(hn (method_for_test
     tension_notched-bar_impact_strength
     (tup iso_8256 din_53448/1b) ) )
(hn (method_for_test notched-bar_impact_strength (tup din_53453)))
(hn (method_for_test izod-impact_strength_23 (tup iso_180/1c)))
(hn (method_for_test izod-impact_strength_0 (tup iso_180/1c)))
(hn (method_for_test izod-impact_strength_-30 (tup iso_180/1c)))
(hn (method_for_test izod-notched-bar_impact_strength_23 (tup iso_180/1a)))
(hn (method_for_test izod-notched-bar_impact_strength_0 (tup iso_180/1a)))
(hn (method_for_test izod-notched-bar_impact_strength_-30 (tup iso_180/1a)))
(hn (sort $melting_index-prototype real))
(hn (measurement $melting_index-prototype (/ g (* 10 min))))
(hn (method_for_test
     $melting_index-prototype
     (tup iso_1133 din_53735) ) )
(hn (exists-with-conditions
     melting_index_mfi_1
     (tup melting_index_mfi_1_temperature melting_index_mfi_1_stress) ) )
(hn (exists-with-conditions
     melting_index_mfi_2
     (tup melting_index_mfi_2_temperature melting_index_mfi_2_stress) ) )
(hn (exists-with-conditions
     melting_index_mfi_3
     (tup melting_index_mfi_3_temperature melting_index_mfi_3_stress) ) )
(hn (sort $volume_per_unit_time-prototype real))
(hn (measurement
     $volume_per_unit_time-prototype
     (/ (^ cm 3) (* 10 min)) ) )
(hn (method_for_test
     $volume_per_unit_time-prototype
     (tup iso_1133 din_53735) ) )
(hn (exists-with-conditions
     volume_per_unit_time_mvr_1
     (tup
      volume_per_unit_time_mvr_1_temperature
      volume_per_unit_time_mvr_1_stress ) ) )
(hn (exists-with-conditions
     volume_per_unit_time_mvr_2
     (tup
      volume_per_unit_time_mvr_2_temperature
      volume_per_unit_time_mvr_2_stress ) ) )
(hn (sort $interpol-attribute interpol-chart))
(hn (first stress-strain dehnung))
(hn (first-measurement stress-strain proz))
(hn (second stress-strain spannung))
(hn (second-measurement stress-strain mpa))
(hn (sort $rule-attribute) rule)
(hn (simple-rule-attribute
     (identifier recyclable)
     (number-of-parameter 1)
     (para identifier) ) )
(hn (simple-rule-attribute
     (identifier used-for)
     (number-of-parameter 2)
     (first-para identifier)
     (second-para processing) ) )
(ft (interpol _pairs _x)
    (sum _pairs _x _pairs 1) )
(ft (sum _pairs _x (tup) _no)
    0 )
(ft (sum _pairs _x _left-over-pairs _no)
    (is
     (tup (tup _first _second) | _left-over)
     _left-over-pairs )
    (+
     (* _second (mul _pairs _x _first _no 1))
     (sum _pairs _x _left-over (+ _no 1)) ) )
(ft (mul (tup) _x _xv _no _mulno)
    1 )
(ft (mul _pairs _x _xv _no _no)
    (is (tup id | _left-over) _pairs)
    (mul _left-over _x _xv _no (+ _no 1)) )
(ft (mul _pairs _x _xv _no _mulno)
    (is (tup (tup _first id) | _left-over) _pairs)
    (/= 0 (- _xv _first))
    (is _result (/ (- _x _first) (- _xv _first)))
    (*
     _result
     (mul _left-over _x _xv _no (+ _mulno 1)) ) )