Plastic - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10543-10547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6772-6772
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7583-7583
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7585-7585
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7586-7586
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33342-33342	room temperature state plastic and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10542-10542	Plastic is a subclass of hydrocarbon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10549-10549	Polypropylene is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10556-10556	Polystyrene is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5065-5065	Synthetic wicker is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46189-46189	Synthetic wicker is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46188-46188	Synthetic wicker is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46187-46187	Synthetic wicker is a subclass of plastic

antecedent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 582-588

If a process is an instance of 3D printing and an object is an instance of plastic and the object is a resource for the process and another object is an instrument for the process,
then the other object is an instance of plastic printer

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 3497-3515	If a collection is an instance of organization and plastics and rubber products manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of plastic or the entity is an instance of rubber and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1054-1061	If a corpuscular object is an instance of ski and the corpuscular object is made of a kind of substance, then a kind of substance is a subclass of metal or the kind of substance is a subclass of wood or the kind of substance is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5504-5518	If a physical is an instance of heat sealer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of container and the other entity is an instance of plastic and the entity is an instance of closing and the fourth entity is an instance of heating and the physical is an instrument for the entity and the other entity is an instrument for the entity and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity and the entity is a result of the fourth entity and the third entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3297-3307	If an object is an instance of windshield, then there exist another object, a third object and a fourth object such that the other object is an instance of glass and the third object is an instance of glass and the fourth object is an instance of plastic and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the fourth object is between the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1139-1141	If a corpuscular object is an instance of optical disc, then the corpuscular object is made of plastic

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