| appearance as argument number 1 |
|
|
| (subclass Plastic Hydrocarbon) | Mid-level-ontology.kif 10565-10565 | Plastic is a subclass of hydrocarbon |
| (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 10566-10570 | Plastic is a subclass of hydrocarbon |
| (roomTempState Plastic Solid) | Mid-level-ontology.kif 34364-34364 | room temperature state plastic and solid |
| (subclass Plastic Artifact) | Society.kif 572-572 | Plastic is a subclass of artifact |
| (externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Plastic_food.jpg") | pictureList.kif 6772-6772 | Plastic is a subclass of artifact |
| (externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/4/ 4d/ Plastic_pipe_firestops_nortown_casitas.jpg") | pictureList.kif 7583-7583 | Plastic is a subclass of artifact |
| (externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/5/ 5b/ Vinylchloride_polymerization.png") | pictureList.kif 7585-7585 | Plastic is a subclass of artifact |
| (externalImage Plastic "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Styrene_polymerization.png") | pictureList.kif 7586-7586 | Plastic is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?P ThreeDPrinting) (instance ?X Plastic) (resource ?P ?X) (instrument ?P ?I)) (instance ?I PlasticPrinter)) |
QoSontology.kif 577-583 | If X is an instance of 3D printing, Y is an instance of plastic, Y is a resource for X, and Z is an instrument for X, then Z is an instance of plastic printer |
| consequent |
|
|
| (=> (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 3314-3324 | If X is an instance of windshield, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of glass (3) Z is an instance of glass (4) W is an instance of plastic (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) W is between Y (9) Z |
| (=> (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 5499-5513 | If X is an instance of heat sealer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of container (3) Z is an instance of plastic (4) Y is an instance of closing (5) V is an instance of heating (6) X is an instrument for Y (7) Z is an instrument for Y (8) X is an agent of V (9) Z is a patient of V (10) Y is a result of V (11) W is a patient of Y |
| (=> (instance ?OBJ OpticalDisc) (material Plastic ?OBJ)) |
Media.kif 1139-1141 | If X is an instance of optical disc, then X is made of plastic |
| (=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic))) |
Sports.kif 1054-1061 | If X is an instance of ski and X is made of Y, then At least one of the following holds: (1) Y is a subclass of metal (2) Y is a subclass of wood (3) Y is a subclass of plastic |
| (=> (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 3491-3509 | If X is an instance of organization and plastics and rubber products manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of plastic or W is an instance of rubber (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U |
|
|
|