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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plastic

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 8854-8858
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Plastic_food.jpg") pictureList.kif 6774-6774
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 4d/ Plastic_pipe_firestops_nortown_casitas.jpg") pictureList.kif 7585-7585
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Vinylchloride_polymerization.png") pictureList.kif 7587-7587
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Styrene_polymerization.png") pictureList.kif 7588-7588
(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 8853-8853 Plastic is a subclass of hydrocarbon

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


(subclass Polypropylene Plastic) Mid-level-ontology.kif 8860-8860 Polypropylene is a subclass of plastic
(subclass Polystyrene Plastic) Mid-level-ontology.kif 8867-8867 Polystyrene is a subclass of plastic
(termFormat ChineseLanguage Plastic "塑料") domainEnglishFormat.kif 46141-46141
(termFormat ChineseTraditionalLanguage Plastic "塑料") domainEnglishFormat.kif 46140-46140
(termFormat EnglishLanguage Plastic "plastic") domainEnglishFormat.kif 46139-46139

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
(=>
    (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 4582-4596
(=>
    (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 3236-3246
(=>
    (instance ?OBJ OpticalDisc)
    (material Plastic ?OBJ))
Media.kif 1139-1141
(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 967-975


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

Show without tree


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