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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Plastic

 Sigma KEE - Plastic
Plastic

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 9223-9227
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Plastic_food.jpg") pictureList.kif 6773-6773
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 4d/ Plastic_pipe_firestops_nortown_casitas.jpg") pictureList.kif 7584-7584
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Vinylchloride_polymerization.png") pictureList.kif 7586-7586
(externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Styrene_polymerization.png") pictureList.kif 7587-7587
(roomTempState Plastic Solid) Mid-level-ontology.kif 31670-31670 roomTempState Plastic and Solid
(subclass Plastic Hydrocarbon) Mid-level-ontology.kif 9222-9222 Plastic は Hydrocarbon の subclass では %n

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


(subclass Polypropylene Plastic) Mid-level-ontology.kif 9229-9229 Polypropylene は Plastic の subclass では %n
(subclass Polystyrene Plastic) Mid-level-ontology.kif 9236-9236 Polystyrene は Plastic の subclass では %n
(subclass SyntheticWicker Plastic) Mid-level-ontology.kif 4596-4596 SyntheticWicker は Plastic の subclass では %n
(termFormat ChineseLanguage Plastic "塑料") domainEnglishFormat.kif 46160-46160
(termFormat ChineseTraditionalLanguage Plastic "塑料") domainEnglishFormat.kif 46159-46159
(termFormat EnglishLanguage Plastic "plastic") domainEnglishFormat.kif 46158-46158

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 1041-1048
(=>
    (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 5163-5177
(=>
    (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 3221-3231
(=>
    (instance ?OBJ OpticalDisc)
    (material Plastic ?OBJ))		 Media.kif 1139-1141


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