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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9223-9227
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 31670-31670	roomTempState Plastic and Solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9222-9222	Plastic est une sous-classe de Hydrocarbon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9229-9229	Polypropylene est une sous-classe de Plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9236-9236	Polystyrene est une sous-classe de Plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4596-4596	SyntheticWicker est une sous-classe de Plastic
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46160-46160
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46159-46159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46158-46158

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 3497-3515	Collection est une instance de organisation PlasticsAndRubberProductsManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de Plastic entit� est une instance de Rubber entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1041-1048	Objet corpusculaire est une instance de SnowSki substance est fait de objet corpusculaire substance est une sous-classe de m�tal substance est une sous-classe de Wood substance est une sous-classe de Plastic
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	Physique est une instance de HeatSealer physique a pour but entit� entit�, entit� and entit� entit� est une instance de Container entit� est une instance de Plastic entit� est une instance de Closing entit� est une instance de r�chauffer physique est un instrument pour entit� entit� est un instrument pour entit� entit� est un agent de physique entit� est un patient de entit� entit� est le resultat de entit� entit� est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3221-3231	Objet est une instance de LaminatedWindshield objet objet and objet objet est une instance de Glass objet est une instance de Glass objet est une instance de Plastic objet est une partie de objet objet est une partie de objet objet est une partie de objet objet est entre objet et objet
No TPTP formula. May not be expressible in strict first order.	Media.kif 1139-1141	Objet corpusculaire est une instance de OpticalDisc Plastic est fait de objet corpusculaire

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