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 9196-9200
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6773-6773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7584-7584
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. pictureList.kif 7587-7587
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31638-31638 roomTempState plastic and solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9195-9195 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 9202-9202 Polypropylene is a subclass of plastic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9209-9209 Polystyrene is a subclass of plastic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4601-4601 Synthetic wicker is a subclass of plastic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46158-46158
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46157-46157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46156-46156

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3497-3515
No TPTP formula. May not be expressible in strict first order. Sports.kif 1040-1047
No TPTP formula. May not be expressible in strict first order. Economy.kif 5163-5177
No TPTP formula. May not be expressible in strict first order. Cars.kif 3236-3246
No TPTP formula. May not be expressible in strict first order. 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