Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Plastic
Plastic(plastic)
ABS, Bakelite, Lucite, Mylar, Perspex, Plexiglas, acrylate_resin, acrylic, acrylic_resin, acrylonitrile-butadiene-styrene, amino_plastic, amino_resin, aminoplast, cellulosic, coumarone-indene_resin, coumarone_resin, fluorocarbon_plastic, phenolic_plastic, phenolic_urea, plastic, plexiglass, polyester, polyethylene, polymethyl_methacrylate, polythene, polyvinyl-formaldehyde, resinoid, saran, thermoplastic, thermoplastic_resin, vinyl

appearance as argument number 1
-------------------------


(documentation Plastic EnglishLanguage "Any of a large set of hydrocarbon materials, in the form of polymers, which are usually derived from Petroleum products. Plastics have a tremendous variety of material properties including a wide range of values for opacity, density, ductility etc. and are pervasive in modern Manufacture (-ing).") Mid-level-ontology.kif 10092-10096
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Plastic_food.jpg") pictureList.kif 6772-6772
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 4d/ Plastic_pipe_firestops_nortown_casitas.jpg") pictureList.kif 7583-7583
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Vinylchloride_polymerization.png") pictureList.kif 7585-7585
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Styrene_polymerization.png") pictureList.kif 7586-7586
(roomTempState Plastic Solid) Mid-level-ontology.kif 32761-32761 roomTempState plastic and solid
(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 10091-10091 Plastic is a subclass of hydrocarbon

appearance as argument number 2
-------------------------


(subclass Polypropylene Plastic) Mid-level-ontology.kif 10098-10098 Polypropylene is a subclass of plastic
(subclass Polystyrene Plastic) Mid-level-ontology.kif 10105-10105 Polystyrene is a subclass of plastic
(subclass SyntheticWicker Plastic) Mid-level-ontology.kif 4669-4669 Synthetic wicker is a subclass of plastic
(termFormat ChineseLanguage Plastic "塑料") domainEnglishFormat.kif 46189-46189 Synthetic wicker is a subclass of plastic
(termFormat ChineseTraditionalLanguage Plastic "塑料") domainEnglishFormat.kif 46188-46188 Synthetic wicker is a subclass of plastic
(termFormat EnglishLanguage Plastic "plastic") domainEnglishFormat.kif 46187-46187 Synthetic wicker is a subclass of plastic

antecedent
-------------------------


(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?X Plastic)
        (resource ?P ?X)
        (instrument ?P ?I))
    (instance ?I PlasticPrinter))
QoSontology.kif 580-586

consequent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PlasticsAndRubberProductsManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Plastic)
                        (instance ?THING Rubber))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3497-3515
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))
Sports.kif 1042-1049
(=>
    (instance ?HS HeatSealer)
    (hasPurpose ?HS
        (exists (?CLOSE ?PLAST ?CONT ?HEAT)
            (and
                (instance ?CONT Container)
                (instance ?PLAST Plastic)
                (instance ?CLOSE Closing)
                (instance ?HEAT Heating)
                (instrument ?CLOSE ?HS)
                (instrument ?CLOSE ?PLAST)
                (agent ?HEAT ?HS)
                (patient ?HEAT ?PLAST)
                (result ?HEAT ?CLOSE)
                (patient ?CLOSE ?CONT)))))
Economy.kif 5373-5387
(=>
    (instance ?LW LaminatedWindshield)
    (exists (?G1 ?G2 ?P)
        (and
            (instance ?G1 Glass)
            (instance ?G2 Glass)
            (instance ?P Plastic)
            (part ?G1 ?LW)
            (part ?G2 ?LW)
            (part ?P ?LW)
            (between ?G1 ?P ?G2))))
Cars.kif 3297-3307
(=>
    (instance ?OBJ OpticalDisc)
    (material Plastic ?OBJ))
Media.kif 1139-1141


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners